Відмінність ключових слів "typename" та "class" у шаблонах?

Для шаблонів я побачив обидві декларації:

template < typename T >
template < class T >

Яка різниця?

І що саме означають ці ключові слова в наступному прикладі (взятому з німецької статті Вікіпедії про шаблони)?

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

typenameі classє взаємозамінними в основному випадку введення шаблону:

template<class T>
class Foo
{
};

і

template<typename T>
class Foo
{
};

рівнозначні.

Сказавши це, є конкретні випадки, коли є різниця між typenameіclass .

Перший - у випадку залежних типів. typenameвикористовується для оголошення при посиланні на вкладений тип, який залежить від іншого параметра шаблону, наприклад, typedefу цьому прикладі:

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

Другий, який ви насправді показуєте у своєму запитанні, хоча ви можете цього не усвідомлювати:

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

Вказуючи шаблон шаблону , classОБОВ'ЯЗКОВО використовувати ключове слово, як зазначено вище - воно в цьому випадку не взаємозамінне (зверніть увагу: оскільки C ++ 17 у цьому випадку дозволено обидва ключові слова) .typename

Ви також повинні використовувати classпри явній інстанції шаблону:

template class Foo<int>;

Я впевнений, що є й інші випадки, які я пропустив, але підсумок такий: ці два ключові слова не є еквівалентними, і це деякі поширені випадки, коли потрібно використовувати те чи інше.

Для іменування параметрів шаблону typenameі classвони еквівалентні. §14.1.2:

Немає смислової різниці між класом і назвою типу в шаблоні-параметрі.

typenameоднак це можливо в іншому контексті при використанні шаблонів - натякнути компілятору, що ви посилаєтесь на залежний тип. §14.6.2:

Ім'я, яке використовується в оголошенні або визначенні шаблону, і яке залежить від параметра-шаблону, передбачається не називати тип, якщо відповідний пошук імені не знайде ім'я типу або ім'я не кваліфікується за ключовим словом.

Приклад:

typename some_template<T>::some_type

Без typenameкомпілятора взагалі не можна сказати, ви посилаєтесь на тип чи ні.

Хоча технічної різниці немає, я бачив два, які використовуються для позначення дещо різних речей.

Для шаблону, який повинен приймати будь-який тип як T, включаючи вбудовані (наприклад, масив)

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

Для шаблону, який працюватиме лише там, де Т - справжній клас.

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

Але майте на увазі, що деякі люди користуються цим стилем. Не наказується стандартом і не застосовується компіляторами

1. Без різниці
2. Параметр типу шаблону Container- це сам шаблон з двома параметрами типу.

Цей фрагмент зроблений із книги книг-букварів c ++. Хоча я впевнений, що це неправильно.

Кожному параметру типу повинен передувати клас ключового слова або ім'я типу:

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

Ці ключові слова мають однакове значення і можуть бути взаємозамінні у списку параметрів шаблону. У списку параметрів шаблону можна використовувати обидва ключові слова:

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

Для позначення параметра типу шаблону може здатися більш інтуїтивним використання ключового слова, а не класу. Зрештою, ми можемо використовувати вбудовані (некласові) типи як аргумент типу шаблону. Більше того, ім'я типу більш чітко вказує на те, що наступне ім'я - це ім'я типу. Однак ім'я типу було додано до C ++ після того, як шаблони вже широко використовувались; деякі програмісти продовжують використовувати виключно клас