Unterschied der Schlüsselwörter 'Typname' und 'Klasse' in Vorlagen?

Für Vorlagen habe ich beide Erklärungen gesehen:

template < typename T >
template < class T >

Was ist der Unterschied?

Und was genau bedeuten diese Schlüsselwörter im folgenden Beispiel (entnommen aus dem deutschen Wikipedia-Artikel über Vorlagen)?

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

typenameund classsind im Grundfall der Angabe einer Vorlage austauschbar:

template<class T>
class Foo
{
};

und

template<typename T>
class Foo
{
};

sind gleichwertig.

Allerdings gibt es spezielle Fälle, in denen es einen Unterschied zwischen typenameund gibt class.

Der erste ist bei abhängigen Typen. typenamewird verwendet, um zu deklarieren, wenn Sie auf einen verschachtelten Typ verweisen, der von einem anderen Vorlagenparameter abhängt, wie typedefin diesem Beispiel:

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

Der zweite, den Sie tatsächlich in Ihrer Frage zeigen, obwohl Sie ihn möglicherweise nicht erkennen:

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

Bei der Angabe einer Vorlagenvorlageclass MUSS das Schlüsselwort wie oben verwendet werden - es ist in diesem Fall nicht austauschbar (Hinweis: In C ++ 17 sind in diesem Fall beide Schlüsselwörter zulässig) .typename

Sie müssen auch Folgendes verwenden, classwenn Sie eine Vorlage explizit instanziieren:

template class Foo<int>;

Ich bin mir sicher, dass es andere Fälle gibt, die ich verpasst habe, aber das Fazit lautet: Diese beiden Schlüsselwörter sind nicht gleichwertig, und dies sind einige häufige Fälle, in denen Sie das eine oder das andere verwenden müssen.

Zum Benennen von Vorlagenparametern typenameund classsind äquivalent. §14.1.2:

Es gibt keinen semantischen Unterschied zwischen Klasse und Typname in einem Vorlagenparameter.

typenameIn einem anderen Kontext ist es jedoch möglich, Vorlagen zu verwenden, um den Compiler darauf hinzuweisen, dass Sie auf einen abhängigen Typ verweisen. §14.6.2:

Es wird angenommen, dass ein Name, der in einer Vorlagendeklaration oder -definition verwendet wird und von einem Vorlagenparameter abhängig ist, keinen Typ benennt, es sei denn, die entsprechende Namenssuche findet einen Typnamen oder der Name wird durch das Schlüsselwort Typname qualifiziert.

Beispiel:

typename some_template<T>::some_type

Ohne typenameden Compiler kann man im Allgemeinen nicht sagen, ob man sich auf einen Typ bezieht oder nicht.

Obwohl es keinen technischen Unterschied gibt, habe ich gesehen, dass die beiden verwendet wurden, um leicht unterschiedliche Dinge zu bezeichnen.

Für eine Vorlage, die einen beliebigen Typ als T akzeptieren sollte, einschließlich integrierter Elemente (z. B. eines Arrays).

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

Für eine Vorlage, die nur funktioniert, wenn T eine echte Klasse ist.

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

Aber denken Sie daran, dass dies nur ein Stil ist, den manche Leute benutzen. Nicht vom Standard vorgeschrieben oder von Compilern durchgesetzt

1. Kein Unterschied
2. Der Vorlagentypparameter Containerist selbst eine Vorlage mit zwei Typparametern.

Dieses Snippet stammt aus dem C ++ - Primer-Buch. Obwohl ich sicher bin, dass das falsch ist.

Vor jedem Typparameter muss die Schlüsselwortklasse oder der Typname stehen:

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

Diese Schlüsselwörter haben dieselbe Bedeutung und können innerhalb einer Vorlagenparameterliste austauschbar verwendet werden. Eine Vorlagenparameterliste kann beide Schlüsselwörter verwenden:

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

Es mag intuitiver erscheinen, das Schlüsselwort Typname anstelle der Klasse zu verwenden, um einen Vorlagentypparameter zu bestimmen. Schließlich können wir integrierte (Nichtklassen-) Typen als Vorlagentypargument verwenden. Darüber hinaus zeigt der Typname deutlicher an, dass der folgende Name ein Typname ist. Der Typname wurde jedoch zu C ++ hinzugefügt, nachdem Vorlagen bereits weit verbreitet waren. Einige Programmierer verwenden weiterhin ausschließlich Klassen