Template et fonctions virtuelles

Version imprimable

14/10/2016, 16h49
eyelin

Template et fonctions virtuelles
Bonjour,

Je voulais vous faire part d'un petit casse-tête auquel je me retrouve confronté et, plutôt que d'en faire des cauchemars, je sollicite vos compétences pour savoir s'il existe une solution simple. Voici le contexte :

Soit une classe mère :
Code:

1 2 3 4 template <typename T> class TOTO { public: virtual bool myFunc (const T&) {return false;} };
Soit une classe fille :
Code:

1 2 3 template <typename T> class TUTU : public T { // On s'en fout };
Soit une classe fille de TUTU<TOTO<int>> :
Code:

1 2 3 4 class TITI : public TUTU<TOTO<int>> { public: bool myFunc (const int&) {return true;} };
Tout compile bien, sauf qu'à l'exécution, quand j'appelle TITI:myFunc, çà exécute TOTO:myFunc. Je ne peux passer myFunc en virtuelle pure dans TOTO car dans ce cas (logique!) erreur de compilation il y a vu que le compilo s'attend à voir définie cette méthode dans TUTU. Ce qui me laisse perplexe quand même (je pense que c'est à cause de la "templatisation"), c'est que la surcharge ne puisse pas "bypasser" un niveau d'héritage.
Merci d'avance pour votre aide!! ;-)
14/10/2016, 17h06
jo_link_noir

Pas de problème chez moi et ça compile toujours avec override.

J'ai testé avec g++ 6.1.0 et ton code fonctionne :

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
// Version de g++ : 6.1.0
// Commande : g++ -std=c++14 -O2 -Wall -pedantic -pthread main.cpp && ./a.out
 
#include <iostream>
 
template <typename T> class TOTO {
public:
  virtual bool myFunc (const T&) {return false;} 
};
 
template <typename T> class TUTU : public T {
   // On s'en fout
};
 
class TITI : public TUTU<TOTO<int>> {
public:
  bool myFunc (const int&) {return true;}
};
 
int main(int argc, char **argv)
{
    TITI titi;
    TOTO<int>& toto = titi;
    std::cout << "toto.myFunc(1) : " << (toto.myFunc(1) ? "true" : "false"); // affiche true
    return 0;
}

Ça marche aussi si on rend virtuelle pure la fonction TOTO<T>::myFunc.

15/10/2016, 00h02
eyelin
Bonsoir à tous,

Je confirme vous avez raison, mon code fonctionne parfaitement! Comme la vérité est toujours ailleurs.... C'est dans le // On s'en fout que le problème se trouvait...

Pour compléter la classe TUTU, voici le dérapage non contrôlé :
Code:

1 2 3 4 5 6 7 8 template <class T> class TUTU : public T { public: void addElement(TUTU<T>& p_elem) { m_list.push_back(p_elem); } private: std::vector<TUTU<T>> m_list; };
Je pense que je n'ai pas besoin d'aller plus loin dans le détail... Et je vais de ce pas recopier 100 fois : "par copie, tu ne pêcheras plus!" ... :roll:
Merci en tous cas de m'avoir permis de me débloquer! :)
Je laisse un peu chercher mais si la solution intéresse je peux la publier bien sûr!