Discussion :

[gbdivers]

« 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

Connaissiez-vous cette utilisation de typename ?

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

[Kalith]

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

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 :

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 :

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

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) {
        // ...
    }
}

[oodini]

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

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

[oodini]

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

[Lightness1024]

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

[oodini]

Le C++, temple du vice.

Pointeurs & templates = Sodome et Gomorrhe

[Kalith]

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

[gbdivers]

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

Tu parles de ça ?

Code :

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

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 :

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

template <typename ELEM> class CONT

[Lightness1024]

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.