Для шаблонов я видел обе декларации:
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 (примечание: поскольку С++ 17 в этом случае разрешены оба ключевых слова).
Вы также должны использовать class при явном создании экземпляра шаблона:
template class Foo<int>;
Я уверен, что есть другие случаи, которые я пропустил, но в нижней строке: эти два ключевых слова не являются эквивалентными, и это некоторые распространенные случаи, когда вам нужно использовать один или другой.
Для присвоения имен шаблонам параметры typename и class эквивалентны. §14.1.2:
Нет семантической разницы между классом и typename в Шаблон-параметры.
typename однако возможен в другом контексте при использовании шаблонов - намекнуть на компилятор, что вы ссылаетесь на зависимый тип. §14.6.2:
Имя, используемое в объявлении шаблона или определение, и это зависит от шаблон-параметр предполагается не назовите тип, если соответствующее имя lookup находит имя типа или имя имеет ключевое слово typename.
Пример:
typename some_template<T>::some_type
Без typename компилятор вообще не может сказать, ссылаетесь ли вы на тип или нет.
Пока нет технической разницы, я видел, что два используются для обозначения немного разных вещей.
Для шаблона, который должен принимать любой тип как T, включая встроенные (например, массив)
template<typename T>
class Foo { ... }
Для шаблона, который будет работать только там, где T - настоящий класс.
template<class T>
class Foo { ... }
Но имейте в виду, что это просто стиль, который используют некоторые люди. Не предусмотрены стандартом или применяются компиляторами
Container сам является шаблоном с двумя параметрами типа.
Этот фрагмент фрагмента из С++ учебника. Хотя я уверен, что это неправильно.
Каждому параметру типа должен предшествовать класс keyword или 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, а не класс, чтобы назначить параметр типа шаблона. В конце концов, мы можем использовать встроенные (неклассические) типы в качестве аргумента типа шаблона. Более того, typename более четко указывает, что имя, которое следует за именем типа. Тем не менее, typename был добавлен в С++ после того, как шаблоны уже широко использовались; некоторые программисты продолжают использовать класс исключительно