Puoi spiegare cos'è la parola chiave 'typename' in C++ e come viene usata nei template?

In C++, la parola chiave typename viene utilizzata nei modelli (template) per indicare che l'identificatore successivo è il nome di un tipo, e non, ad esempio, un valore o un membro.

Questo è importante quando il compilatore non può determinare in modo univoco cosa rappresenti esattamente l'espressione, specialmente quando si lavora con nomi dipendenti — nomi che dipendono dai parametri del modello.

Esempio di utilizzo di typename:

template <typename T>
void func() {
    typename T::value_type x; // indichiamo che value_type è un tipo
}

Senza typename, il compilatore può generare un errore, poiché non è sicuro che T::value_type sia un tipo.

typename viene anche usato nella dichiarazione di modelli:

template <typename T>
class MyClass {};

Qui, typename e class sono intercambiabili, ma typename è preferito per i parametri di tipo dei modelli.

In sintesi, typename aiuta il compilatore a interpretare correttamente i nomi dei tipi nei modelli.