Perché i parametri del modello typename non sono riconosciuti implicitamente come tipi?

Question

Molto spesso nelle definizioni di classe C++, in particolare nelle biblioteche, di classe tratto ecc, si vede il codice simile al seguente frammento:

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

E solo con queste righe si può in seguito fare riferimento a Foo<A,B>::bar_type o Foo<C,D>:baz_type. Mi chiedo: perché lo standard del linguaggio non richiede che il compilatore definisca automaticamente i tipi usando i parametri del modello typename, ovvero consenti la rimozione delle due linee usando e riconosca Foo<A,B>::Bar come A e Foo<C,D>::Baz come D?

Questo non dovrebbe nemmeno violare il codice esistente, poiché all'interno di Foo, gli identificatori Bar e Baz sono già stati presi comunque.

Answer 1

I nomi dei parametri non fanno parte dell'entità dichiarata. Questo è vero per entrambe le funzioni e i modelli. Il seguente codice dichiara solo due entità separate:

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; 

nota in particolare che il seguente codice è perfettamente bene:

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

Tutti i tentativi di deriva struttura aggiuntiva da nomi di parametro deve fare i conti con questa situazione. Una delle richieste più popolari in quest'area sono denominate parametri di funzione; ad oggi non c'è stata una proposta soddisfacente per tale estensione.

In una certa misura, tutte queste proposte richiederebbero che i nomi dei parametri fossero parte dell'entità dichiarata. Per le funzioni, ad esempio, ciò solleva la questione se i nomi dei parametri debbano essere storpiati ed esposti al linker.