Discussion :

[Invité]

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

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
template <class T>
class CList {
 
    // ...
 
    class CElement {
 
        // ...
 
    };
 
    // ...
 
    CElement* First(); // !!! La fonction qui pose problème !!!
 
    // ...
 
};

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

Code :

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

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

Erreur à la compilation :

Code :

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

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...

[jmv]

salut,

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

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
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();
}

[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

[Jean-Marc.Bourguet]

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

Code :

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

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

Erreur à la compilation :

Code :

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

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 :

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

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

[Jean-Marc.Bourguet]

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).

[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...

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

Quand on a du code style :

Code :

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

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 :

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

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 :

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
 
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.

[jmv]

je me coucherais moins con ce soir , merci