Różnica słów kluczowych „nazwa typu” i „klasa” w szablonach?

W przypadku szablonów widziałem obie deklaracje:

template < typename T >
template < class T >

Co za różnica?

A co dokładnie oznaczają te słowa kluczowe w poniższym przykładzie (zaczerpniętym z niemieckiego artykułu w Wikipedii na temat szablonów)?

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

typenamei classsą wymienne w podstawowym przypadku określania szablonu:

template<class T>
class Foo
{
};

i

template<typename T>
class Foo
{
};

są równoważne.

To powiedziawszy, istnieją szczególne przypadki, w których istnieje różnica między typenameiclass .

Pierwszy dotyczy typów zależnych. typenamesłuży do deklarowania, gdy odwołujesz się do typu zagnieżdżonego, który zależy od innego parametru szablonu, takiego jak typedefw tym przykładzie:

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

Drugi, który faktycznie pokazujesz w swoim pytaniu, choć możesz nie zdawać sobie z tego sprawy:

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

Określając szablon szablon The classkluczowe muszą być używane jak wyżej - to nie zamiennie ze typenamew tym przypadku (uwaga: od C ++ 17 oba słowa kluczowe są dozwolone w tym przypadku) .

Musisz także użyć classpodczas jawnego tworzenia szablonu:

template class Foo<int>;

Jestem pewien, że są inne przypadki, które przegapiłem, ale sedno jest następujące: te dwa słowa kluczowe nie są równoważne i są to niektóre typowe przypadki, w których musisz użyć jednego lub drugiego.

Do nazewnictwa parametrów szablonu typenamei classsą one równoważne. §14.1.2:

W parametrze szablonu nie ma semantycznej różnicy między klasą a nazwą typu.

typenamejest to jednak możliwe w innym kontekście podczas korzystania z szablonów - aby wskazać kompilatorowi, że masz na myśli typ zależny. 14.6.2:

Zakłada się, że nazwa używana w deklaracji lub definicji szablonu, która jest zależna od parametru szablonu, nie nadaje nazwy typowi, chyba że odpowiednie wyszukiwanie nazwy znajdzie nazwę typu lub nazwa kwalifikowana jest przez słowo kluczowe typename.

Przykład:

typename some_template<T>::some_type

Bez typenamekompilatora nie można ogólnie stwierdzić, czy masz na myśli typ, czy nie.

Chociaż nie ma żadnej różnicy technicznej, widziałem, że oba oznaczały nieco inne rzeczy.

Dla szablonu, który powinien akceptować dowolny typ jako T, w tym wbudowane (takie jak tablica)

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

Dla szablonu, który będzie działał tylko tam, gdzie T jest prawdziwą klasą.

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

Pamiętaj jednak, że niektórzy ludzie używają tego stylu. Nie jest to wymagane przez standard lub wymuszone przez kompilatory

1. Bez różnicy
2. Parametr typu szablonu Containersam w sobie jest szablonem z dwoma parametrami typu.

Ten fragment kodu pochodzi z książki z podstawami języka C ++. Chociaż jestem pewien, że to źle.

Każdy parametr typu musi być poprzedzony klasą słowa kluczowego lub nazwą typu:

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

Te słowa kluczowe mają to samo znaczenie i mogą być używane zamiennie w liście parametrów szablonu. Lista parametrów szablonu może zawierać oba słowa kluczowe:

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

Bardziej intuicyjne może być użycie słowa kluczowego nazwa_typu zamiast klasy do określenia parametru typu szablonu. W końcu możemy używać wbudowanych (nieklasowych) typów jako argumentów typu szablonu. Ponadto nazwa typu wyraźniej wskazuje, że następująca nazwa jest nazwą typu. Jednak nazwa typu została dodana do C ++ po tym, jak szablony były już w powszechnym użyciu; niektórzy programiści nadal używają wyłącznie klasy