Můžete vysvětlit, co je klíčové slovo 'typename' v C++ a jak se používá u šablon?

V jazyce C++ se klíčové slovo typename používá v šablonách k označení, že následující identifikátor je název typu a nikoliv například hodnota nebo člen.

Je důležité, když kompilátor nedokáže jednoznačně určit, co přesně výraz představuje, zejména při práci s závislými jmény — jmény závislými na parametrech šablony.

Příklad použití typename:

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

Bez typename může kompilátor hlásit chybu, protože si není jistý, že T::value_type je typ.

typename se také používá při deklaraci šablon:

template <typename T>
class MyClass {};

Zde jsou typename a class zaměnitelné, ale typename je preferováno pro parametry typů šablon.

Stručně řečeno, typename pomáhá kompilátoru správně interpretovat názvy typů v šablonách.