Discussion :

[r0d]

Bonjour,

je cherche un moyen de contourner l'impossibilité d'hériter d'un fonction membre template, quelqu'un a une idée?

Un peu de détails. Je voudrais faire ça:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
struct Father
{
   template <typename T>
   virtual void bar( const T & param ) = 0;
};
 
struct Son: public Father
{
   template <typename T>
   void bar( const T & param ) { param.DoSomething(); }
};

Evidemment ça ne compile pas parce qu'une fonction membre template ne peut pas être virtuelle (encore moins virtuelle pure donc).

Connaissez-vous des astuces pour contourner cette limitation?

[Flob90]

Bonjour,

Pour imaginer une solution de contournement, il faudrait que tu dises ce que tu veux faire avec ces deux (ou plus classe) ? Dans quel contexte te sert cet héritage, pourquoi y-a-t'il un besoin de template dans ce contexte ?

[r0d]

En fait, c'est plus un problème théorique, général.
Je suis tombé sur ce problème concrètement dans un programme que sur lequel je travaille, et j'ai trouvé une solution simple (j'ai juste pas déclaré les fonctions dans la classe de base) et qui convient pour les besoins précis de cette appli. Mais je réfléchissais à une solution plus générique.
Déjà, je ne comprend pas le pourquoi de cette limitation. Qu'est-ce qui empêche le compilateur de mettre une fonction template dans la vtable?

[Flob90]

Il faut bien voir qu'une fonction template n'a aucune réalité une fois la compilation passée, ce sont ces instanciations qui en ont une. D'où la problématique, je mets quoi comme instanciation dans la table ? La compilation se fait unité par unité puis ensuite l'ensemble est lié. Chaque unité pourrait déterminer ce qu'il a besoin de mettre dans la table, mais rien ne garantirait à l'éditeur de lien que le contenu de la table serait identique entre chaque unité.

[r0d]

Je ne comprends pas. Une fonction template n'a, qu'elle soit virtuelle ou non, de réalité qu'à l'instanciation. Je ne comprend donc pas ce que ça change qu'elle soit virtuelle

[Flob90]

On va faire simple, disons que j'ai cette classe :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
 
struct A
{
  template<class>
  virtual void foo(){}
};

Maintenant j'ai deux fichiers :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
 
//B.cpp
void bar(A& a)
{ a.foo<char>(); }
 
//C.cpp
void goo()
{ 
  A a;
  a.foo<int>();
  bar(a);
}

Après compilation, j'ai un truc (juste dans l'idée) du genre :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
//B.obj
foo_char(a)
{ a.table[0](a); }
 
bar(a)
{ foo_char(a); }
 
//C.obj
foo_int(a)
{ a.table[0](a); }
 
goo()
{
  a; a.table[0] = foo_int;
  foo_int(a);
  bar(a);
}

L'éditeur de liens met tout ensemble, pas de problème, sauf qu'on se retrouve à appeler deux fois foo<int>à la place de foo<int> puis foo<char> dans goo(). Et le compilateur ne peut pas faire autrement, il n'y a qu'une instance dans chaque fichier, donc il considère une table a un seul élément.