typenameテンプレートのパラメータが暗黙的に型として認識されないのはなぜですか？

Question

は、非常に多くの場合、特に図書館、形質クラスなどでのC++クラス定義では、次のスニペットのようなコードを参照してください。

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

をそして唯一のこれらの行を後でFoo<A,B>::bar_typeまたはFoo<C,D>:baz_typeを参照することができます。私は疑問に思っています：なぜ、言語標準では、typenameテンプレートパラメータを使用して型を自動的に定義する必要がありません、そして、としてAとFoo<C,D>::BazをDと認識しますか？

Fooでは識別子バーとBazが既に使用されているため、既存のコードを破損すべきではありません。

Answer 1

パラメータ名は、宣言されているエンティティの一部ではありません。これは、関数とテンプレートの両方に当てはまります。次のコードは完全に罰金であることを特に

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; 

注：

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

パラメータ名から付加的な構造を導き出すのすべての試みは、この状況に対処しなければならない次のコードは、2つのだけの別々の実体を宣言しています。この分野で最も一般的な要求の1つに関数パラメータという名前があります。今日まで、そのような拡張のための満足のいく提案はなかった。

このような提案は、ある程度、宣言されたエンティティのパラメータ名を作成する必要があります。たとえば、関数の場合、パラメータ名をマングルしてリンカーに公開する必要があるかどうかという疑問が生じます。