Разница ключевых слов "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ключевое слово должно использоваться , как описано выше , - это не взаимозаменяемы typenameв этом случае (примечание: так как C ++ 17 как ключевые слова разрешены в данном случае) .

Вы также должны использовать classпри явном создании шаблона:

template class Foo<int>;

Я уверен, что есть другие случаи, которые я пропустил, но суть в том, что эти два ключевых слова не эквивалентны, и это некоторые распространенные случаи, когда вам нужно использовать одно или другое.

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

В параметре шаблона нет семантической разницы между классом и именем типа.

typenameоднако это возможно в другом контексте при использовании шаблонов - намекнуть компилятору, что вы ссылаетесь на зависимый тип. §14.6.2:

Предполагается, что имя, используемое в объявлении или определении шаблона и которое зависит от параметра-шаблона, не будет называть тип, если только применимый поиск имени не найдет имя типа или имя не будет квалифицировано ключевым словом typename.

Пример:

typename some_template<T>::some_type

Без typenameкомпилятора не могу вообще сказать, имеете ли вы в виду тип или нет.

Хотя технических различий нет, я видел, как эти два понятия обозначают несколько разные вещи.

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

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

Для шаблона, который будет работать только там, где T - реальный класс.

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

Но имейте в виду, что это просто стиль, который используют некоторые люди. Не предписано стандартом или не применяется компиляторами

1. Нет разницы
2. Параметр типа шаблона Containerсам по себе является шаблоном с двумя параметрами типа.

Этот фрагмент фрагмента взят из учебника по С ++. Хотя я уверен, что это неправильно.

Каждому параметру типа должен предшествовать ключевое слово class или typename:

// 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&);

Может показаться более интуитивно понятным использовать ключевое слово typename, а не class для обозначения параметра типа шаблона. В конце концов, мы можем использовать встроенные (не классовые) типы в качестве аргумента типа шаблона. Более того, typename более четко указывает на то, что следующее имя является именем типа. Однако typename было добавлено в C ++ после того, как шаблоны уже широко используются; некоторые программисты продолжают использовать класс исключительно