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)