Unterschied zwischen den Schlüsselwörtern 'typename' und 'class' in Vorlagen?

Question

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 in dem folgenden Beispiel (aus dem deutschen Wikipedia-Artikel über Vorlagen)?

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

Answer 1

typename et class sind im Grundfall der Angabe einer Vorlage austauschbar:

template<class T>
class Foo
{
};

y

template<typename T>
class Foo
{
};

gleichwertig sind.

Es gibt jedoch bestimmte Fälle, in denen ein Unterschied besteht zwischen typename et class .

Der erste Fall betrifft die abhängigen Typen. typename wird verwendet, um zu deklarieren, wenn Sie auf einen verschachtelten Typ verweisen, der von einem anderen Vorlagenparameter abhängt, wie z. B. der typedef in diesem Beispiel:

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

Das zweite zeigen Sie in Ihrer Frage, auch wenn Sie es vielleicht nicht merken:

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

Bei der Angabe einer Vorlage Vorlage die class Schlüsselwort MUSS wie oben verwendet werden - es ist no austauschbar mit typename in diesem Fall (Hinweis: seit C++17 sind in diesem Fall beide Schlüsselwörter erlaubt) .

Sie müssen auch Folgendes verwenden class bei der expliziten Instanziierung einer Vorlage:

template class Foo<int>;

Ich bin sicher, dass es noch andere Fälle gibt, die ich übersehen habe, aber die Quintessenz ist: 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.

Answer 2

Zur Benennung von Vorlagenparametern, typename et class gleichwertig sind. §14.1.2:

Es gibt keinen semantischen Unterschied zwischen class und typename in einem Vorlage-Parameter.

typename ist jedoch in einem anderen Zusammenhang bei der Verwendung von Schablonen möglich - als Hinweis für den Compiler, dass Sie sich auf einen abhängigen Typ beziehen. §14.6.2:

Ein Name, der in einer Schablonenerklärung verwendet wird oder einer Definition verwendet wird und der abhängig ist von einem Template-Parameter abhängt, wird angenommen, dass er keinen nicht als Name eines Typs, es sei denn, die entsprechende Namens Lookup einen Typnamen findet oder der Name ist durch das Schlüsselwort typename qualifiziert.

Beispiel:

typename some_template<T>::some_type

Ohne typename der Compiler kann im Allgemeinen nicht erkennen, ob Sie sich auf einen Typ beziehen oder nicht.

Answer 3

Obwohl es keinen technischen Unterschied gibt, habe ich gesehen, dass die beiden Begriffe für leicht unterschiedliche Dinge verwendet werden.

Für eine Vorlage, die einen beliebigen Typ als T akzeptieren soll, einschließlich eingebauter Typen (wie z. B. ein Array)

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

Bei einer Vorlage funktioniert das nur, wenn T eine echte Klasse ist.

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

Aber bedenken Sie, dass dies nur eine Frage des Stils ist, den manche Leute verwenden. Es wird nicht vom Standard vorgeschrieben oder von den Compilern erzwungen.

Answer 4

1. Kein Unterschied
2. Parameter für den Vorlagentyp Container ist selbst eine Vorlage mit zwei Typparametern.

Answer 5

Es gibt keinen Unterschied zwischen der Verwendung von <typename T> OU <class T> ; d.h. es ist eine Konvention, die von C++-Programmierern verwendet wird. Ich selbst bevorzuge <typename T> da sie die Verwendung klarer beschreibt, d. h. die Definition einer Vorlage mit einem bestimmten Typ.

Hinweis: Es gibt eine Ausnahme, bei der Sie Folgendes verwenden müssen class (und nicht typename ) bei der Deklaration eines Vorlagenparameters:

template <template <typename> class    T> class C { }; // valid!

template <template <typename> typename T> class C { }; // invalid!

In den meisten Fällen werden Sie keine verschachtelte Vorlagendefinition definieren, so dass beide Definitionen funktionieren - achten Sie nur auf eine konsistente Verwendung.