Discussion :

[mister3957]

Bonjour,

J'ai lu quelques trucs sur les templates, mais à chaque fois les exemples sont composés soit de "template<class>" soit de "template<typename>" et jamais ils exempliquent la différences :s

Est-ce que quelqu'un pourrai m'en dire plus?



Merci beaucoup,

A bientôt

[Charlemagne]

Y'a justement pas de différence: "class" et "typename" sont ici synonymes.

[Davidbrcz]

Dans ce cadre.
Après , tu aura quelque cas ou dans le corps même des template ( cad pas dans la liste des types) typename aura un sens en plus.

[NiamorH]

Les deux font la même chose ici.

Pour des raisons historiques (il n'existait que ça avant) le mot clef class peut être utilisé.

On s'est aperçu que ce mot clef ne reflétait pas la réalité puisque les types primitifs pouvait aussi être utilisés comme argument template. Donc on a introduit plus tard le mot clef typename qui s'y prête mieux.

Class a tout de même été conservé pour éviter que trop de code soit réécrit.

[Jean-Marc.Bourguet]

Les deux font la même chose ici.

Exact.

Pour des raisons historiques (il n'existait que ça avant) le mot clef class peut être utilisé.

On s'est aperçu que ce mot clef ne reflétait pas la réalité puisque les types primitifs pouvait aussi être utilisés comme argument template. Donc on a introduit plus tard le mot clef typename qui s'y prête mieux.

Non. On a eu besoin d'un mot cle a un autre endroit (l'autre utilisation de typename pour indiquer qu'un nom dependant est un identificateur de type) et on a permis de l'utiliser aussi a la place de class lors de la declaration de templates.

[Alp]

Pour terminer, lorsque tu travailles en équipe, utiliser class au lieu de typename peut aider à faire comprendre que les types passés en paramètres de ton modèle seront des types créés par des "utilisateurs", et non pas des types primitifs, alors que typename indique que cela peut être un type "quelconque".

[Jean-Marc.Bourguet]

Pour terminer, lorsque tu travailles en équipe, utiliser class au lieu de typename peut aider à faire comprendre que les types passés en paramètres de ton modèle seront des types créés par des "utilisateurs", et non pas des types primitifs, alors que typename indique que cela peut être un type "quelconque".

Certains ont cette convention, d'autres utilisent systematiquement class, d'autres systematiquement typename. De toute maniere, je ne vois pas tellement ce que ca apporte. Ce qu'il faut (et qui sera en C++0X), c'est un systeme de concepts.

[mister3957]

C'était juste une question de curiosité.

Merci beaucoup pour vos réponses

[Alp]

Certains ont cette convention, d'autres utilisent systematiquement class, d'autres systematiquement typename. De toute maniere, je ne vois pas tellement ce que ca apporte. Ce qu'il faut (et qui sera en C++0X), c'est un systeme de concepts.

Oui, c'est juste un indicateur qui n'est pas nécessaire à mon goût, car on peut déduire du contexte le fait que cela doive être un type créé par l'utilisateur ou non. Mais en effet, encore une fois, les concepts arriveront à point pour cela aussi.

[NiamorH]

Non. On a eu besoin d'un mot cle a un autre endroit (l'autre utilisation de typename pour indiquer qu'un nom dependant est un identificateur de type) et on a permis de l'utiliser aussi a la place de class lors de la declaration de templates.

Salut,

j'ai revérifié sur C++ Templates : The Complete Guide d'où j'ai tiré ma réponse depuis mes souvenirs, je vous réécris l'extrait tel quel :

For historical reasons, you can also use class instead of typename to define a type parameter. The keyword typename came relatively late in the evolution of the C++ language. Prior to that, the keyword class was the only way to introduce a type parameter, and this remains a valid way to do so.

blablabla

Semantically there is no difference in this context. So, even if you use class here, any type may be used for template arguments. However, because this use of class can be misleading (not only class types can be substituted for T), you should prefer the use of typename in this context. Note also that unlike class type declarations, the keyword struct cannot be used in place of typename when declaring type parameters.

Je vois une chose dans mon post qui semble effectivement faux, c'est que j'emploi donc et on a l'impression, lorsqu'on me lit, que typename a été créé uniquement pour cette occasion, ce qui effectivement ne semble pas être le cas. Si l'erreur pointée était celle là je m'en excuse, mais hormis ça le reste de mes propos est conforme à ce que je lis dans ce livre.

[Jean-Marc.Bourguet]

Je vois une chose dans mon post qui semble effectivement faux, c'est que j'emploi donc et on a l'impression, lorsqu'on me lit, que typename a été créé uniquement pour cette occasion,

C'est bien l'implication que je contestais.