Problème template

Version imprimable

Problème template

Bonjour à tous,
voila mon petit problème : J'ai une classe CList template, avec une classe CElement définie à l'intérieur.
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 template <class T> class CList { // ... class CElement { // ... }; // ... CElement* First(); // !!! La fonction qui pose problème !!! // ... };
Et ensuite, je définie First comme ça :
Code:

1 2 3 template <class T> CList<T>::CElement* CList<T>::First() // Ligne 100 { }
Erreur à la compilation :

Code:

CList.h:100: erreur: expected constructor, destructor, or type conversion before ‘*’ token

J'ai indiqué la ligne 100 dans le code, mais je vois pas comment faire autrement...

salut,

ne me demande surtout pas pourquoi mais en ajoutant typename devant la définition de ta fonction, ça passe sous visual.

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
27
28
29
30
31
32
33
34
template <class T> 
class CList { 
 
    // ... 
public:
    class CElement { 
		T value;
        // ... 
 
    }; 
 
private:
	CElement* first;
 
    // ... 
public:
    CElement* First(); // !!! La fonction qui pose problème !!! 
 
    // ... 
 
};
 
template <class T> 
typename CList<T>::CElement* CList<T>::First()   // Ligne 100 
{ 
	return first;
}
 
 
int main()
{
	CList<int> liste;
	liste.First();
}

03/12/2005, 20h02
Invité

Oui, je venais juste de trouver... Merci, je testerai ça :)
C'est bizarre quand même... Enfin peut-être que j'aurai mieux fait de ne pas imbriquer tout ça :P
03/12/2005, 20h02
Jean-Marc.Bourguet

Re: Problème template
Citation:
Envoyé par remram44

Et ensuite, je définie First comme ça :

Code:

1 2 3 template <class T> CList<T>::CElement* CList<T>::First() // Ligne 100 { }

Erreur à la compilation :

Code:

CList.h:100: erreur: expected constructor, destructor, or type conversion before ‘*’ token

J'ai indiqué la ligne 100 dans le code, mais je vois pas comment faire autrement...
Dans un template, les noms qui dépendent des paramètres templates
(ici CList<T>::CElement) et qui sont des types doivent être marqués comme tel par typename. Donc
Code:

1 2 3 template <class T> typename CList<T>::CElement* CList<T>::First() {}
03/12/2005, 20h15
Jean-Marc.Bourguet

Citation:

Envoyé par jmv

ne me demande surtout pas pourquoi mais en ajoutant typename devant la définition de ta fonction

Le problème est que le C (et par conséquent le C++) est impossible à parser si on ne sait pas quels identificateurs sont des types. Un des objectifs était d'être capable de vérifier la syntaxe des templates sans dépendre de l'instanciation. Or, il y a des identificateurs dont on se sait pas s'ils représentent des types sans connaître les instanciations, ce sont les noms dépendants, en gros ceux qui comportent le nom d'un paramètre template. Si un tel identificateur est un type, il faut le marquer avec typename. Le même problème a lieu pour les templates, et dans ce cas il faut les marquer avec template.

CList<T>::CElement est un tel nom dépendant. Ce qui est amusant, c'est qu'on ait besoin du typename même pendant la définition du template lui même. C'est parce que la détermination du type de retour ne se fait pas dans le contexte de la classe définie (auquel cas CElement suffirait), parce qu'on ne sait pas encore quel est cette classe. (On pourrait s'en sortir avec du backtracking mais bon, les règles sont comme ça).
03/12/2005, 20h22
JolyLoic
Pff, depuis que Jean-Marc est ici, je n'ai plus le temps de poster des réponses, il l'a déjà fait et très bien avant moi... :wink:

Je vais juste ici préciser le pourquoi de cette chose.

Quand on a du code style :
Code:

1 2 3 4 5 6 7 template <class T> class A{/*...*/}; template<class T> f() { A<T>::x; }
Le compilateur n'a aucun moyen de savoir si x est un type ou une donnée membre.
Code:

1 2 3 4 5 6 7 8 9 10 template <class T> class A { int x; }; template <class T> class A { typedef int x; };
On pourrait croire qu'il lui suffit de regarde la définition de A pour répondre à cette question, mais ce n'est pas vrai, car la spécialisation peut modifier la définition de A à postériori.
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 template <class T> class A { int x; }; template<class T> f() { A<T>::x; } template<> class A<MonType> { typedef int x; }; f<MonType>();
Donc comme il ne sait pas, le compilateur doit faire une supposition. Par défaut, il suppose qu'un tel nom (nommé nom dépendant) est une donnée membre. On peut lui dire le contraire grace au mot clef typename.
03/12/2005, 20h29
jmv

je me coucherais moins con ce soir :wink:, merci