Kun je uitleggen wat het trefwoord 'typename' in C++ is en hoe het wordt gebruikt bij sjablonen?

In C++ wordt het sleutelwoord typename gebruikt in sjablonen om aan te geven dat de volgende identificator de naam van een type is, en niet bijvoorbeeld een waarde of een lid.

Dit is belangrijk wanneer de compiler niet eenduidig kan bepalen wat de uitdrukking precies voorstelt, vooral bij het werken met afhankelijke namen — namen die afhankelijk zijn van sjabloonparameters.

Voorbeeld van het gebruik van typename:

template <typename T>
void func() {
    typename T::value_type x; // geeft aan dat value_type een type is
}

Zonder typename kan de compiler een fout geven, omdat hij niet zeker weet of T::value_type een type is.

typename wordt ook gebruikt bij het declareren van sjablonen:

template <typename T>
class MyClass {};

Hier zijn typename en class uitwisselbaar, maar typename is de voorkeur voor sjabloontypeparameters.

Kortom, typename helpt de compiler om de namen van types in sjablonen correct te interpreteren.