Dlaczego typy szablonów typename nie są domyślnie rozpoznawane jako typy?

Question

Bardzo często w C++ klasy definicji, zwłaszcza w bibliotekach klasy cecha itp zobaczyć kod podobny do poniższego fragmentu:

template <typename Bar, typename Baz> 
class Foo { 
    using bar_type = Bar; 
    using baz_type = Baz; 
    // ... etc. 
} 

I tylko z tych linii można później odnieść do Foo<A,B>::bar_type lub Foo<C,D>:baz_type. Zastanawiam się: dlaczego standard językowy nie wymaga, aby kompilator automatycznie definiował typy przy użyciu parametrów szablonów typename, to znaczy pozwalał na usunięcie dwóch linii przy użyciu i rozpoznawanie Foo<A,B>::Bar jako A i Foo<C,D>::Baz jako D?

To nie powinno nawet złamać istniejącego kodu, ponieważ w Foo, bar identyfikatorów i Baz są już i tak zabrane.

Answer 1

Nazwy parametrów nie są częścią zadeklarowanej jednostki. Dotyczy to zarówno funkcji, jak i szablonów. Poniższy kod deklaruje tylko dwa oddzielne podmioty:

extern void f(int, char, bool); 
extern void f(int a, char b, bool c); 
extern void f(int x, char b, bool z); 

template <typename> struct X; 
template <typename A> struct X; 
template <typename T> struct X; 

zwrócić szczególną uwagę, że poniższy kod jest perfekcyjnie:

template <typename T> struct X { void f(); }; // X<T>::f not yet defined 
template <typename U> void X<U>::f() {}   // now it's defined 

wszelkie próby uzyskiwania dodatkowej struktury z nazwy parametrów muszą radzić sobie z tą sytuacją. Jednym z najbardziej popularnych żądań w tym obszarze są nazwane parametry funkcji; do tej pory nie było zadowalającej propozycji takiego przedłużenia.

Do pewnego stopnia wszystkie takie propozycje wymagałyby, aby nazwy parametrów były częścią zadeklarowanej jednostki. W przypadku funkcji, na przykład, pojawi się pytanie, czy nazwy parametrów musiałyby być zmanipulowane i wystawione na działanie łącznika.