Discussion :

[3DArchi]

Encore une question tordue (stupide?):
Code 1:

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
23
24
25
26
27
28
29
30
31
32
33
template<class TElement>
class A
{
public:
   A(){}
   virtual ~A(){}

   virtual void MaMethode(void)=0;
};

template<class TElement>
class B :virtual public A<TElement>
{
public:
   B(){}
   virtual ~B(){}

   virtual void MonAutreMethode(void)
   {
      MaMethode();
   }
};

class D
{};

class C :public B<D>, virtual public A<D>
{
public:
   C(){}
   virtual ~C(){}
   virtual void MaMethode(){}
};

Code 2:

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
23
24
25
26
27
28
29
30
31
32
33
template<class TElement>
class A
{
public:
   A(){}
   virtual ~A(){}

   virtual void MaMethode(void)=0;
};

template<class TElement>
class B :virtual public A<TElement>
{
public:
   B(){}
   virtual ~B(){}

   virtual void MonAutreMethode(void)
   {
      this->MaMethode();
   }
};

class D
{};

class C :public B<D>, virtual public A<D>
{
public:
   C(){}
   virtual ~C(){}
   virtual void MaMethode(){}
};

Visual compile très bien les deux codes.
gcc ne compile pas le code 1:

Code :

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

1
2
 In member function `virtual void B<TElement>::MonAutreMethode()':
 error: there are no arguments to `MaMethode' that depend on a template parameter, so a declaration of `MaMethode' must be available

Par intuition, ce comportement ne me choque pas trop: difficulté à résoudre l'instanciation de A::MaMethode sans le paramètre template. (mais, comme c'est du ressenti intuitif, le vocabulaire est certainement inapproprié).

Là où je n'arrive plus à comprendre, c'est pourquoi alors réussit-il à compiler code 2? J'ai toujours pensé que {MaMethode();} et {this->MaMethode();} étaient deux façons d'écrire la même chose. Apparemment, non. Quelle est la différence?

[Klaim]

Il me semble qu'il y a un cas où ça ne fais pas exactement la même chose.

Si je me souviens bien, utiliser this-> garantie que c'est bien la méthode de classe du type courant qui sera utilisé. Par contre sans ça, ya un cas ou ça peut appeler autre chose il me semble... argh je me souviens jamais du truc complet...

[Montag]

Salut,

In the definition of a class template or a member of a class template, if a base class of the class template depends on a template-parameter, the base class scope is not examined during unqualified name lookup either at the point of definition of the class template or member or during an instantiation of the class template or member.

Le nom MaMethod n'est pas dépendant et donc quand il est rencontré par le compilateur celui-ci regarde si le nom a déjà été déclaré précédemment. Comme ce n'est pas le cas il génère une erreur. Pour résoudre ce problème il suffit de rendre le nom dépendant. L'utilisation de this->MaMethod est une façon de réaliser cela.

Donc c'est g++ qui a raison (si je ne m'abuse on a donc: g++ - Visual : 2 - 0).

[3DArchi]

Pour résoudre ce problème il suffit de rendre le nom dépendant. L'utilisation de this->MaMethod est une façon de réaliser cela.

Tu peux détailler,stp? Je comprends pas.

Donc c'est g++ qui a raison (si je ne m'abuse on a donc: g++ - Visual : 2 - 0).

Je le soupçonnait...

[Montag]

Tu peux détailler?

Je pourrais mais étant feignant je préfère te diriger vers ce thread et te conseiller la lecture du post de James Kanze. Son explication est très bonne (en tout cas bien meilleure que celle que j'aurais pu te donner). Si tu souhaites approfondir le sujet je ne peux que te conseiller la lecture de "C++ Templates: the Complete Guide" de Vandevoore et Josuttis, c'est vraiment un excellent livre.

[3DArchi]

Bon, me reste plus qu'à lire le thread deux ou trois fois pour être bien sûr de le comprendre.
Merci pour la réponse.