[Template] Différentes syntaxes

Bonjour,

J'ai un manuel C++ dans lequel il est indiqué que la déclaration des classes templates se code ainsi :

Code:

---

1 2 3 4 5 6

template < class T > class A { // définition de la classe A paramétrée par T };

---

et de même pour mes fonctions template :

Code:

---

1 2 3

template < class T > // définition de la fonction paramétrée par T

---

Or dans d'autres sources (la FAQ entre autres) j'ai pu voir que le mot clef class était remplacé par 'typename'. Quelle est donc la différence ?

Ecrire :

Code:

---

1 2 3 4 5 6

template < class T > class A { // définition de la classe A paramétrée par T };

---

est-il équivalent à écrire :

Code:

---

1 2 3 4 5 6

template < typename T > class A { // définition de la classe A paramétrée par T };

---

merci ;)

Salut,

Tu peux employer les deux termes indifféremment dans la plupart des cas.
La seule situation dans laquelle on n'a pas le choix, c'est lorsque qu'une classe ou une fonction a un paramètre template template. Dans ce cas seul l'emploi du mot clé class est autorisé.

Par exemple, cette définition de la classe A est correcte:

Code:

---

1 2 3 4

template<typename T, template<typename> class C> class A { };

---

alors que celle-ci ne l'est pas:

Code:

---

1 2 3 4

template<typename T, template<typename> typename C> class A { };

---

En plus de ce qu'a dit Montag, je rajouterais que utiliser typename ou class peut influencer lors de la lecture de ton code que ce soit par toi-même plus tard ou par d'autres personnes... Je m'explique.
class dénote plutôt ... une class, donc ça a plus tendance à signifier que tu attends des classes/structures comme paramètres.
typename dénote quand à lui plus ou moins n'importe quel type, notamment les types fondamentaux (int, char & compagnie).

C'est clair.

Je vous remercie ;)

Historiquement, le mot clef typename n'existait pas et le mot clef class était "recyclé", dans une déclaration de template, pour déclarer un paramètre. Une économie mal venue laissant suggérer que le type exact utilisé pour le paramètre devait être celui d'une classe et non d'un type primitif. En plus de ça, les premières versions du C++ sur les templates n'acceptaient pas la déclaration de type utilisant un template (p. ex. Type::InnerType où Type est un template). Le comité a voulu faire d'une pierre deux coups en introduisant typename pour faire comprendre aux gens qu'un type template n'est pas forcément une classe et permettre les notations telles Type::innerType, mais uniquement via ce nouveau mot clef. De fait, l'ancienne notation ne sert plus à rien, si ce n'est pour préserver la compatibilité.

Citation:

---

Envoyé par Montag

Salut,

Tu peux employer les deux termes indifféremment dans la plupart des cas.
La seule situation dans laquelle on n'a pas le choix, c'est lorsque qu'une classe ou une fonction a un paramètre template template. Dans ce cas seul l'emploi du mot clé class est autorisé.

Par exemple, cette définition de la classe A est correcte:

Code:

---

1 2 3 4

template<typename T, template<typename> class C> class A { };

---

alors que celle-ci ne l'est pas:

Code:

---

1 2 3 4

template<typename T, template<typename> typename C> class A { };

---

---

Sauf que dans ce dernier cas, le deuxième typename n'introduit pas le type du template et il s'agit de la même erreur de syntaxe que dans l'extrait :

Code:

---

1 2 3 4

template<typename T> typename B // <-- Erreur de syntaxe { };

---

Un autre effet pervers d'avoir voulu réutiliser un même mot clef avec 2 sens différents.