Guru of the Week n° 35 : le mot-clé typename

« Qu'est-ce qu'un nom (de type) ? »
Voici un exercice qui démontre pourquoi et comment utiliser typename, en utilisant un idiome courant dans la bibliothèque standard.

Guru Of the Week n° 35 : le mot-clé typename

:fleche: Connaissiez-vous cette utilisation de typename ?

Retrouver l'ensemble des Guru of the Week sur la page d'index.

Pour ceux qui, comme moi, n'ont pas de culture et qui souhaitent tout de même comprendre la "plaisanterie", voici une citation de Shakespeare (Roméo et Juliette) :

Citation:

---

Envoyé par Juliet

What's in a name? That which we call a rose
By any other name would smell as sweet.

---

... dont traduction qui semble faire référence est :

Citation:

---

Envoyé par Juliette

Qu'y a-t-il dans un nom ? Ce que nous appelons rose
Par n'importe quel autre nom sentirait aussi bon.

---

Pour les non anglophones : "smell sweet" = "sentir bon", et "smell awfull" = "sentir mauvais". Avec ça, un peu d'entrainement ou un compilateur si on est trop fatigué, on est armé pour comprendre ;)

Merci pour l'article sinon !

La première situation dans laquelle j'ai été contraint d'utiliser ce mot clé était typiquement pour une fonction agissant sur un conteneur dont le type est un paramètre template :

Code:

---

1 2 3 4 5 6 7

template<class container> void une_fonction(C& c) { typename container::iterator iter; for (iter = c.begin(); iter != c.end(); ++iter) { // ... } }

---

Attention : la traduction d'idiom, tel qu'utilisé, est idiotisme, pas idiome.

Le terme étant ambigu, je suggère expression syntaxique.

Je rappelle également la sympathique syntaxe ::template... :)

le plus vicieux étant le template de template où il faut obligatoirement utiliser le mot clé 'class'.

Le C++, temple du vice.

Pointeurs & templates = Sodome et Gomorrhe

Citation:

---

Envoyé par Lightness1024

le plus vicieux étant le template de template où il faut obligatoirement utiliser le mot clé 'class'.

---

D'un côté c'est logique puisqu'un type primitif ne peut pas être template : on a nécessairement affaire à une classe (ou une structure, mais dans le fond c'est la même chose).

Citation:

---

Envoyé par Lightness1024

le plus vicieux étant le template de template où il faut obligatoirement utiliser le mot clé 'class'.

---

Tu parles de ça ?

Code:

---

1 2 3 4 5

template <typename T, template <typename ELEM> class CONT = std::deque > // ok   template <typename T, template <typename ELEM> typename CONT = std::deque> // erreur

---

Perso, ça me semble pas ambiguë, on a affaire avec une déclaration d'une classique classe template :

Code:

---

template <typename ELEM> class CONT

---

Citation:

---

Envoyé par gbdivers

Tu parles de ça ?....

---

oui tout a fait. bien vu pour l'interpretation. en effet vu sous cet angle c'est carrément plus compréhensible. apres pourquoi struct est interdit ici est plus louche du coup.