Diferença das palavras-chave 'typename' e 'class' nos modelos?

Para modelos, vi as duas declarações:

template < typename T >
template < class T >

Qual é a diferença?

E o que exatamente essas palavras-chave significam no exemplo a seguir (extraído do artigo alemão da Wikipedia sobre modelos)?

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

typenamee classsão intercambiáveis ​​no caso básico de especificar um modelo:

template<class T>
class Foo
{
};

e

template<typename T>
class Foo
{
};

são equivalentes.

Dito isto, há casos específicos em que há uma diferença entre typenamee class.

O primeiro é no caso de tipos dependentes. typenameé usado para declarar quando você está referenciando um tipo aninhado que depende de outro parâmetro de modelo, como typedefneste exemplo:

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

O segundo que você realmente mostra na sua pergunta, embora você possa não perceber:

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

Ao especificar um modelo modelo , a classpalavra-chave deve ser usada como acima - é não intercambiáveis com typenameneste caso (nota: uma vez C ++ 17 palavras-chave são permitidos neste caso) .

Você também deve usar classao instanciar explicitamente um modelo:

template class Foo<int>;

Tenho certeza de que há outros casos que perdi, mas o ponto principal é: essas duas palavras-chave não são equivalentes e são alguns casos comuns em que você precisa usar uma ou outra.

Para nomear parâmetros do modelo typenamee classsão equivalentes. §14.1.2:

Não há diferença semântica entre classe e typename em um parâmetro de modelo.

typenameno entanto, é possível em outro contexto ao usar modelos - para sugerir ao compilador que você está se referindo a um tipo dependente. §14.6.2:

Um nome usado em uma declaração ou definição de modelo e dependente de um parâmetro de modelo é assumido para não nomear um tipo, a menos que a pesquisa de nome aplicável encontre um nome de tipo ou o nome seja qualificado pela palavra-chave typename.

Exemplo:

typename some_template<T>::some_type

Sem typenameo compilador, não se pode dizer em geral se você está se referindo a um tipo ou não.

Embora não haja diferença técnica, vi os dois usados ​​para denotar coisas ligeiramente diferentes.

Para um modelo que deve aceitar qualquer tipo como T, incluindo embutidos (como uma matriz)

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

Para um modelo que funcionará apenas onde T é uma classe real.

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

Mas lembre-se de que isso é puramente algo que algumas pessoas usam. Não é obrigatório pelo padrão ou imposto pelos compiladores

1. Sem diferença
2. O parâmetro de tipo de modelo Containeré ele próprio um modelo com dois parâmetros de tipo.

Este fragmento é do livro de iniciação c ++. Embora eu tenha certeza que isso está errado.

Cada parâmetro de tipo deve ser precedido pela classe de palavra-chave ou nome do tipo:

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

Essas palavras-chave têm o mesmo significado e podem ser usadas alternadamente dentro de uma lista de parâmetros do modelo. Uma lista de parâmetros do modelo pode usar as duas palavras-chave:

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

Pode parecer mais intuitivo usar a palavra-chave typename em vez de classe para designar um parâmetro de tipo de modelo. Afinal, podemos usar tipos internos (não classe) como um argumento de tipo de modelo. Além disso, o typename indica mais claramente que o nome a seguir é um nome de tipo. No entanto, o typename foi adicionado ao C ++ depois que os modelos já estavam em uso generalizado; alguns programadores continuam a usar a classe exclusivamente