Discussion :

[lulafitt]

Bonjour,

Voila j'ai un petit problème, enfin plutôt qqchose que je ne comprends pas ..
Exemple simple :

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
19
20
21
22
 
template<typename T>
class TClass
{
public:
  T mean() { return (T)666; }
};
 
class Test : public TClass<float>
{
public:
  float mean(uint i) { return 555.0; }  
};
 
int
main()
{  
  Test t;
  std::cout << t.mean() << std::endl;
 
  return EXIT_SUCCESS;
}

Voila le problème : quand on surcharge une méthode d'un classe template, on ne peux plus avoir accès a la méthode de base... Si on commente la surcharge de méthode dans la classe Test cela marche...

POURQUOI ? je ne comprends pas ...

Quelle est la solution, a part ajouter

Code :

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

1
2
 
float mean() { return TClass<float>::mean(); }

dans la classe Test ???

Cordialement

[cob59]

Ce ne serait pas simplement un problème de masquage de fonction ?

[lulafitt]

Euuuh ... oui en effet, cela marche ....

Le compilateur permet de surcharger des méthodes dans une même classe alors pourquoi ce système n'est pas étendu sur les classes dérivées ?

[cob59]

J'ai eu beau chercher, je n'ai jamais trouvé la raison technique qui justifiait le masquage de fonction. Si quelqu'un sait, je suis preneur.

[Jean-Marc.Bourguet]

J'ai eu beau chercher, je n'ai jamais trouvé la raison technique qui justifiait le masquage de fonction. Si quelqu'un sait, je suis preneur.

C'est juste une consequence de la regle generale, on arrete de chercher dans les portees englobantes quand on a trouve des definitions dans une portee. Ca marche pour les blocs, pour les namespaces et pour les classes (la classe mere etant consideree comme une portee englobant la classe fille).

C'est ce qui permet a

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
 
{ 
   int i;
   {
      int i;
   }
}
 
namespace n1 {
   int i;
   namespace n2 {
      int i;
   }
}
 
struct M { int i; };
struct F: M {int i; };

de fonctionner. Il n'y a simplement pas de regle particuliere pour les fonctions incitant a aller chercher des surcharges supplementaires plus loin. Ca a ete propose, mais ca ouvre apparemment(*) autant de cas problematiques que ca facilite les choses (B.S. en parle dans D&E C++, en citant des cas vecus avec g++ qui a implemente un temps une regle alternative), et l'ajout de using pour importer les noms (au moins pour les namespaces et les classes) a offert une solution viable, meme si il faut faire quelque chose manuellement, aux cas ou on veut reellement la surcharge.

(*) Il me semble que je veux la surcharge systematiquement, je ne sais pas si c'est parce que je ne remarque pas les cas ou ca poserait probleme ou si c'est une question de style; c'est certain que le style a change depuis la fin des annees 80.

[3DArchi]

Salut,
Les fonctions virtuelles en C++ : XVI. Fonction virtuelle et masquage de fonction et XVII. Fonctions virtuelles et fonctions génériques (template)