Differenza delle parole chiave "typename" e "class" nei template?

Per i modelli ho visto entrambe le dichiarazioni:

template < typename T >
template < class T >

Qual è la differenza?

E cosa significano esattamente quelle parole chiave nel seguente esempio (tratto dall'articolo di Wikipedia in tedesco sui modelli)?

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

typenamee classsono intercambiabili nel caso di base per specificare un modello:

template<class T>
class Foo
{
};

e

template<typename T>
class Foo
{
};

sono equivalenti.

Detto questo, ci sono casi specifici in cui esiste una differenza tra typenameeclass .

Il primo è nel caso di tipi dipendenti. typenameviene utilizzato per dichiarare quando si fa riferimento a un tipo nidificato che dipende da un altro parametro del modello, come ad esempio typedefin questo esempio:

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

Il secondo che mostri effettivamente nella tua domanda, anche se potresti non rendertene conto:

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

Quando si specifica un modello di modello , la classparola chiave DEVE essere utilizzata come sopra - in questo caso non è intercambiabile (nota: poichétypename in questo caso C ++ 17 sono consentite entrambe le parole chiave) .

È inoltre necessario utilizzare classquando si crea un'istanza esplicita di un modello:

template class Foo<int>;

Sono sicuro che ci sono altri casi che mi sono perso, ma la linea di fondo è: queste due parole chiave non sono equivalenti e questi sono alcuni casi comuni in cui è necessario utilizzare l'uno o l'altro.

Per la denominazione dei parametri del modello typenamee classsono equivalenti. §14.1.2:

Non esiste alcuna differenza semantica tra classe e typename in un parametro template.

typenametuttavia è possibile in un altro contesto quando si usano i template - per suggerire al compilatore che ci si riferisce a un tipo dipendente. §14.6.2:

Si presume che un nome utilizzato in una dichiarazione o definizione di modello che dipende da un parametro modello non assegni un tipo a meno che la ricerca del nome applicabile non trovi un nome di tipo o il nome non sia qualificato dalla parola chiave typename.

Esempio:

typename some_template<T>::some_type

Senza typenameil compilatore non si può dire in generale se ci si riferisce a un tipo o no.

Sebbene non vi sia alcuna differenza tecnica, ho visto i due usati per indicare cose leggermente diverse.

Per un modello che dovrebbe accettare qualsiasi tipo come T, inclusi gli incorporati (come un array)

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

Per un modello che funzionerà solo dove T è una vera classe.

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

Ma tieni presente che questa è puramente una cosa di stile che alcune persone usano. Non richiesto dalla norma o applicato dai compilatori

1. Nessuna differenza
2. Il parametro del tipo di modello Containerè esso stesso un modello con due parametri di tipo.

Questo frammento è tratto dal libro di primer c ++. Anche se sono sicuro che sia sbagliato.

Ogni parametro di tipo deve essere preceduto dalla classe di parole chiave o dal nome di battitura:

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

Queste parole chiave hanno lo stesso significato e possono essere utilizzate in modo intercambiabile all'interno di un elenco di parametri del modello. Un elenco di parametri del modello può utilizzare entrambe le parole chiave:

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

Può sembrare più intuitivo utilizzare la parola chiave typename piuttosto che class per designare un parametro di tipo template. Dopotutto, possiamo usare i tipi predefiniti (non di classe) come argomento del tipo di modello. Inoltre, typename indica più chiaramente che il nome che segue è un nome di tipo. Tuttavia, typename è stato aggiunto a C ++ dopo che i template erano già ampiamente utilizzati; alcuni programmatori continuano a usare esclusivamente la classe