デフォルトのテンプレートパラメータ：なぜコンパイラはテンプレート引数を指定しないと不平を言うのですか？

Question

私はこのコードを持っている：

struct A{}; 

template<class T = A> 
struct B { 
    void foo() {} 
}; 

B b; //Error: missing template arguments before 'b' 
    //Error: expected ';' before 'b' 
    //More errors 
b.foo() 

私は同じテンプレート「シグネチャ」とテンプレート関数としてfoo()を行った場合、コンパイラはテンプレート引数を指定しない文句はありません：

struct A {}; 

struct B { 
    template<class T = A> 
    void foo() {} 
}; 

B b; //OK 
b.foo() 

では、テンプレート関数の引数ではなく、デフォルトのパラメータでテンプレートクラスの引数を指定する必要があるのはなぜですか？私は行方不明の微妙な点がありますか？

理由は、テンプレート引数の減算に失敗したためです。しかし、私は理由を知りたい。デフォルト引数AがクラステンプレートBのために仮定され

B<> b; 

：

Answer 1

正しい構文は、この（demo）です。 <>部分は、Bがクラステンプレートであることをコンパイラに伝え、デフォルトパラメータをテンプレート引数として使用するように指示します。

Answer 2

あなたはBがテンプレートであることを言わなければならないので：あなたがいずれかの引数を指定しないとしても

B<> b; 

。ナワズは、すでに言及して

Answer 3

正しい構文は、次のとおりです。

B<> b; 

理由はBはテンプレートがあるとB<>は、デフォルトの引数Aとテンプレートのインスタンス化であるということです。しかし、具体化するときに区別するためには<>が必要です。