comment templatiser une methode virtuelle?

Version imprimable

10/03/2009, 22h00
Hypnocrate

comment templatiser une methode virtuelle?

Bonjour;
Mon compilateur me balance une erreur lorsque je templatise une methode virtuelle. J'ai lu quelque part que c'etait impossible? Est-ce vrai? Si oui, pourquoi?
Est-ce qu'il existe un moyen détourné d'avoir une methode virtuelle templatisé?
Merci d'avance.
10/03/2009, 22h24
Jean-Marc.Bourguet

Citation:

Envoyé par Hypnocrate

Mon compilateur me balance une erreur lorsque je templatise une methode virtuelle. J'ai lu quelque part que c'etait impossible? Est-ce vrai?

Oui.

Citation:

Si oui, pourquoi?

Ca interragit plutot mal ensemble en C++ (il y a d'autres languages ayant une définition différente où ça passe mieux, principalement parce que le modèle des templates est différents -- pas de spécialisation explicite en particulier).

Citation:

Est-ce qu'il existe un moyen détourné d'avoir une methode virtuelle templatisé?

C'est assez difficile de savoir quelle sémantique tu veux donner à ça -- comme déjà écrit le mélange passe assez mal en C++. Tu peux obtenir certains effets (en gros ce qui est disponible dans les langages qui on un modèle template différent et permettent l'équivalent de virtuelles templates) en utilisant des techniques comme avoir une classe de base et une classe template qui en dérive, ta fonction virtuelle prenant une référence vers la classe de base, un membre template non virtuel batissant un objet de la classe template que tu veux.
10/03/2009, 22h45
Hypnocrate

Merci pour ta réponse Jean-Marc.
J'ai un peu de mal à suivre ta technique, est-ce que tu pourrais donner un petit exemple?
Merci d'avance.
10/03/2009, 23h05
loufoque

Cela n'est pas possible car cela nécessiterait de générer du code à l'édition de liens. Déjà que les compilateurs ont du mal avec export template...
Enfin techniquement rien ne l'empêche dans l'absolu, et ça permettrait des choses extrêmement puissantes.
11/03/2009, 13h31
reptils

Citation:

Envoyé par Jean-Marc.Bourguet

... des techniques comme avoir une classe de base et une classe template qui en dérive, ta fonction virtuelle prenant une référence vers la classe de base, un membre template non virtuel batissant un objet de la classe template que tu veux.

ça marche bien en effet !

Voici un exemple.

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
#include <iostream>
#include <ostream>
 
class Parent {
public:
    virtual std::ostream& print(std::ostream& os) const = 0;
};
 
std::ostream& operator<<(std::ostream& os, Parent const& p)
{
    return p.print(os);
}
 
template <typename T>
class Child: public Parent
{
public:
    Child(T const& v) : myValue(v) {}
    std::ostream& print(std::ostream& os) const {
        return os << myValue;
    }
private:
    T myValue;
};
 
class Base
{
public:
    template <typename T>
      void display(std::ostream& os, T const& v) {
        Child<T> c(v);
        doDisplay(os, c);
    }
protected:
    virtual void doDisplay(std::ostream& os, Parent const& p)
    {
        os << "Base::display(" << p << ")\n";
    }
};
 
class Derived: public Base
{
protected:
    virtual void doDisplay(std::ostream& os, Parent const& p)
    {
        os << "Derived::display(" << p << ")\n";
    }
};
 
int main()
{
    Base b;
    b.display(std::cout, 3);
    b.display(std::cout, 4.2);
    Derived d;
    d.display(std::cout, 42L);
    d.display(std::cout, 'x');
    d.display(std::cout, 3.141592);
}

13/03/2009, 16h28
Hypnocrate

Merci.