Différence des mots clés «nom de type» et «classe» dans les modèles?

Pour les modèles, j'ai vu les deux déclarations:

template < typename T >
template < class T >

Quelle est la différence?

Et que signifient exactement ces mots clés dans l'exemple suivant (extrait de l'article Wikipédia allemand sur les modèles)?

template < template < typename, typename > class Container, typename Type >
class Example
{
     Container< Type, std::allocator < Type > > baz;
};

typenameet classsont interchangeables dans le cas de base de la spécification d'un modèle:

template<class T>
class Foo
{
};

et

template<typename T>
class Foo
{
};

sont équivalents.

Cela dit, il existe des cas spécifiques où il y a une différence entre typenameetclass .

Le premier concerne les types dépendants. typenameest utilisé pour déclarer lorsque vous faites référence à un type imbriqué qui dépend d'un autre paramètre de modèle, tel que typedefdans cet exemple:

template<typename param_t>
class Foo
{
    typedef typename param_t::baz sub_t;
};

La deuxième que vous montrez réellement dans votre question, même si vous ne vous en rendez peut-être pas compte:

template < template < typename, typename > class Container, typename Type >

Lors de la spécification d'un modèle de modèle , le classmot clé DOIT être utilisé comme ci-dessus - il n'est pas interchangeable avec typenamedans ce cas (remarque: depuis C ++ 17, les deux mots clés sont autorisés dans ce cas) .

Vous devez également utiliser classlors de l'instanciation explicite d'un modèle:

template class Foo<int>;

Je suis sûr qu'il y a d'autres cas que j'ai ratés, mais le résultat est: ces deux mots clés ne sont pas équivalents, et ce sont des cas courants où vous devez utiliser l'un ou l'autre.

Pour nommer les paramètres du modèle, typenameetclass sont équivalents. §14.1.2:

Il n'y a pas de différence sémantique entre la classe et le nom de type dans un paramètre de modèle.

typenamecependant, il est possible dans un autre contexte lorsque vous utilisez des modèles - d'indiquer au compilateur que vous faites référence à un type dépendant. §14.6.2:

Un nom utilisé dans une déclaration ou une définition de modèle et qui dépend d'un paramètre de modèle est supposé ne pas nommer un type, sauf si la recherche de nom applicable trouve un nom de type ou que le nom est qualifié par le mot-clé nom-type.

Exemple:

typename some_template<T>::some_type

Sans typenamele compilateur, vous ne pouvez pas dire en général si vous faites référence à un type ou non.

Bien qu'il n'y ait pas de différence technique, j'ai vu que les deux désignaient des choses légèrement différentes.

Pour un modèle qui devrait accepter tout type comme T, y compris les éléments intégrés (tels qu'un tableau)

template<typename T>
class Foo { ... }

Pour un modèle qui ne fonctionnera que lorsque T est une vraie classe.

template<class T>
class Foo { ... }

Mais gardez à l'esprit que certaines personnes utilisent uniquement le style. Non mandaté par la norme ou imposé par les compilateurs

1. Aucune différence
2. Le paramètre de type de modèle Containerest lui-même un modèle avec deux paramètres de type.

Cet extrait est extrait du livre de base c ++. Même si je suis sûr que c'est faux.

Chaque paramètre de type doit être précédé de la classe de mots-clés ou du nom de type:

// error: must precede U with either typename or class
template <typename T, U> T calc(const T&, const U&);

Ces mots clés ont la même signification et peuvent être utilisés de manière interchangeable dans une liste de paramètres de modèle. Une liste de paramètres de modèle peut utiliser les deux mots clés:

// ok: no distinction between typename and class in a template parameter list
template <typename T, class U> calc (const T&, const U&);

Il peut sembler plus intuitif d'utiliser le mot-clé typename plutôt que class pour désigner un paramètre de type de modèle. Après tout, nous pouvons utiliser des types intégrés (non-classe) comme argument de type de modèle. De plus, le nom de type indique plus clairement que le nom qui suit est un nom de type. Cependant, le nom de type a été ajouté à C ++ après que les modèles étaient déjà largement utilisés; certains programmeurs continuent d'utiliser exclusivement la classe