Môžete vysvetliť, čo je kľúčové slovo 'typename' v C++ a ako sa používa pri šablónach?

V jazyku C++ sa kľúčové slovo typename používa v šablónach na označenie, že nasledujúci identifikátor je názov typu a nie napríklad hodnota alebo člen.

Je dôležité, keď kompilátor nedokáže jednoznačne určiť, čo presne výraz predstavuje, najmä pri práci s závislými menami — menami, ktoré závisia od parametrov šablóny.

Príklad použitia typename:

template <typename T>
void func() {
    typename T::value_type x; // oznamujeme, že value_type je typ
}

Bez typename môže kompilátor hlásiť chybu, pretože si nie je istý, že T::value_type je typ.

typename sa tiež používa pri deklarácii šablón:

template <typename T>
class MyClass {};

Tu sú typename a class zameniteľné, ale typename je preferované pre parametre typov šablón.

Stručne povedané, typename pomáha kompilátoru správne interpretovať názvy typov v šablónach.