Class interne dans une classe template

Version imprimable

Voir 40 message(s) de cette discussion en une page

14/06/2006, 17h47
MatRem

Class interne dans une classe template
Bonjour,

j'ai un petit problème avec la gestion d'une classe interne dans une classe template.

Prenons l'exemple suivant (simplifié au maximum):
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 template<typename T> class A{ public: class B{ }; }; template<typename T> class C{ private: //ici je veux une variable du type A::B utilisant la classe T A<T>::B b; };
La ligne rouge provoque une erreur de compilation...
Comment doit on se servir des classes internes appartenant à une classe template?

merci
14/06/2006, 17h56
Matthieu Brucher

Peut-être avec un typename devant ?
14/06/2006, 18h03
NewbiZ

Code:

typename A<T>::B b;

EDIT: précédé :)
14/06/2006, 18h06
Jean-Marc.Bourguet

Citation:

Envoyé par Miles

Peut-être avec un typename devant ?

Je pense en effet que c'est le probleme.
14/06/2006, 19h02
MatRem

D'accord, merci.

Par contre à quoi sert le typename exactement? puisque si on n'utilise pas les templates, il n'est pas néxessaire.
Surtout que je ne connais que sont utilisation pour déclarer un paramètre template, hors là je définit une instance de classe.
14/06/2006, 19h13
Alp

Car si tu ne mets pas typename, le compilo ne sait pas si A<T>::B est un objet(une variable, de manière plus générale), ou bien un nom de type.
Alors qu'avec typename, il est sur que c'est le nom d'un type.
14/06/2006, 19h26
Laurent Gomila

Tout ça est dans la FAQ, comme d'hab :
http://c.developpez.com/faq/cpp/?pag...LATES_typename
14/06/2006, 19h26
MatRem

Comment se fait il qu'il ne sache pas que B est une classe puisqu'il est déclaré dans les règle de l'art.

:? excusez moi, j'aurais pu consulter la FAC à ce sujet... je vais le faire d'ailleurs ;)
14/06/2006, 19h43
Jean-Marc.Bourguet

Citation:

Envoyé par MatRem

Comment se fait il qu'il ne sache pas que B est une classe puisqu'il est déclaré dans les règle de l'art.

:? excusez moi, j'aurais pu consulter la FAC à ce sujet... je vais le faire d'ailleurs ;)

Parce que A pourrait être spécialisé pour le type T.

En lisant la FAC, j'ai pas vraiment compris pourquoi on doit l'utiliser. D'ailleurs certains compilateur peuvent s'en passer, c'est bizarre non?

Citation:

Parce que A pourrait être spécialisé pour le type T.

tu veux dire par exemple?:
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 template<typename T> class A{ public: class B{ }; }; template<> class A<int>{ public: class B{ }; }; template<typename T> class C{ private: typename A<T>::B b; };
Effectivement il y a maintenant deux classes B, mais ce sont toujours des classes.
Mais je ne vois pas en quoi le fait d'ajouter typename, permet de choisir la bonne classe B.
D'ailleurs comment le compilateur choisi la classe B à utiliser (suivant le type entre crochet?).

Citation:

Car si tu ne mets pas typename, le compilo ne sait pas si A<T>::B est un objet(une variable, de manière plus générale), ou bien un nom de type.

Je vois pas d'exemple ou ce serait le cas...
on n'a pas le droit de faire ça:
Code:

1 2 3 4 5 6 7 template<typename T> class A{ public: class B{ }; int B; };
ni ça:
Code:

1 2 3 4 5 6 7 8 9 10 11 12 template<typename T> class A{ public: class B{ }; }; template<> class A<int>{ public: int B; };
si?

Et si c'est le cas comment choisi-t on entre les deux...

Excusez moi mais je doit pas saisir quelquchose :aie:

14/06/2006, 20h05
Matthieu Brucher

Et si pour la spécialisation int, B est un entier ?
14/06/2006, 20h08
Laurent Gomila
Si, on peut faire ça, et c'est justement pour cela qu'il faut le mot-clé typename.
Code:

1 2 3 4 5 6 7 8 9 10 11 12 template<typename T> class A{ public: class B{ }; }; template<> class A<int>{ public: int B; };
Citation:

Et si c'est le cas comment choisi-t on entre les deux...

Toujours la version la plus spécialisée.

Oui, j'ai pas été clair dans mon message, pardon. Merci d'avoir explicité mes propos Miles :lol:
En effet imagine :

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
template <class T> struct A
{
class B { };
};
 
template <> struct A<int>
{
static int b;
};
 
// ...
 
template <class T>
class C
{
A<T>::B foo;
/*
A<T>::B ? Qu'est-ce? si T vaut int ... c'est une variable statique, sinon c'est un type... Que faire? Hé bien émettre une erreur/un warning/rien dire selon les compilos.
*/
};

14/06/2006, 20h14
MatRem

Citation:

Toujours la version la plus spécialisée.

C'est à dire ...
par ce que si A est spécialisé pour int, char, et string, les trois spécialisations sont au même niveau.

Et donc quand on fait ça:

Code:

typename A<T>::B b;

laquelle est choisie?

D'ailleurs on peut faire ça pour choisir ?:

Code:

typename A<int>::B b;

Là y'aurait plus d'ambigüté.

Je vais finir par comprendre à quoi il sert ce mot clef :mouarf:
14/06/2006, 20h15
Jean-Marc.Bourguet
Citation:

Envoyé par MatRem

En lisant la FAC, j'ai pas vraiment compris pourquoi on doit l'utiliser. D'ailleurs certains compilateur peuvent s'en passer, c'est bizarre non?

Ils ne sont pas conformes sur ce point. En fait c'est un point où la norme ne correspond pas à ce que faisaient les compilateurs antérieurs à la norme.

Citation:

D'ailleurs comment le compilateur choisi la classe B à utiliser (suivant le type entre crochet?).

Il prend la plus spécialisée.
Citation:
on n'a pas le droit de faire ça:

Code:

1 2 3 4 5 6 7 8 9 10 11 12 template<typename T> class A{ public: class B{ }; }; template<> class A<int>{ public: int B; };

si?
Si.

Citation:

Excusez moi mais je doit pas saisir quelquchose :aie:

Les templates ne sont pas la partie la plus facile. Tout ce que tu peux vouloir savoir la-dessus, il y a le bouquin de Josutis et vanDerVoorde (C++ Template, The definitive guide ou qqch du genre)
14/06/2006, 20h16
MatRem

<Alp>: je comprends bien l'abiguté mais je ne comprends pas en quoi typename la résoud.
14/06/2006, 20h18
Jean-Marc.Bourguet

Citation:

Envoyé par MatRem

C'est à dire ...
par ce que si A est spécialisé pour int, char, et string, les trois spécialisations sont au même niveau.

Il faut pouvoir déduire un type et on prend la spécialisation qui convient le mieux au type.

Citation:

Et donc quand on fait ça:

Code:

typename A<T>::B b;

laquelle est choisie?

Tu ne peux pas faire ça sauf si T est un type.

Citation:

D'ailleurs on peut faire ça pour choisir ?:

Code:

typename A<int>::B b;

Là y'aurait plus d'ambigüté.

Gagné, c'est ce qu'il faut faire.
14/06/2006, 20h21
Jean-Marc.Bourguet

Citation:

Envoyé par MatRem

<Alp>: je comprends bien l'abiguté mais je ne comprends pas en quoi typename la résoud.

A l'intérieur de la définition d'un template, il y a des noms qui dépendent d'un ou plusieurs paramètre template. C'est le cas ici avec

Code:

A<T>::B

Le C++ dit que ces noms ne désignent des types que si on les précède de typename; de même ils ne désignent des templates que si on les précède de template. Les autres cas peuvent être déduit de la syntaxe.
14/06/2006, 20h22
Alp

Le mot typename résoud l'ambiguïté concernant le fait que A<T>::B soit un type OU non.
Ensuite la résolution de quel type(enfin quelle spécialisation) choisir lorsque l'on utilisera le type A<T>::B ... C'est un autre problème. S'il trouve plusieurs spécialisation du même niveau et qu'aucune ne convient mieux que les autres, je crois que tu as droit à une erreur. Mais j'ai jamais été dans ce cas jusqu'à maintenant... A vérifier pour l'erreur, je ne suis pas du tout sur... peut-être qu'il prend la première qu'il trouve ... ? :P
14/06/2006, 20h26
MatRem
Citation:

Gagné, c'est ce qu'il faut faire.

Donc dans ce cas le typename ne sert à rien puisqu'il n'y plus ambiguté !?

Citation:

Tu ne peux pas faire ça sauf si T est un type.

Ou un paramètre template...
Parceque si à la suite de ma classe A template générale et de mes trois spécialisations j'ai ça:
Code:

1 2 3 4 5 template<typename T> class C{ private: typename A<T>::B b; };
ça fonctionnera bien?

D'ailleurs là la classe B sera choisie à l'instanciation d'une classe C, c'est bien ça?

Donc ma question du jour "A quoi sert le mom clef typename dans ce cas puisque le compilateur sait forcément quoi choisir", me chagrine toujours :oops:

Voir 40 message(s) de cette discussion en une page