Default-Template-Parameter: Warum beschwert sich der Compiler, Template-Argument nicht anzugeben?

Question

Ich habe diesen Code:

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() 

Wenn ich foo() als Template-Funktion mit der gleichen Vorlage 'Signatur' zu machen, der Compiler beschwert sich nicht über die Vorlage nicht Argumente spezifizieren:

struct A {}; 

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

B b; //OK 
b.foo() 

Also, warum muss ich ein Argument für eine Template-Klasse mit einem Standard-Parameter angeben, aber nicht für eine Template-Funktion? Gibt es etwas Subtilität, die ich vermisse?

Der Grund ist wegen der Vorlage Argumentabzugsfehler sicher. Aber ich möchte wissen warum.

Answer 1

Die korrekte Syntax ist dies (demo):

B<> b; 

Das Standardargument AB für die Klassenvorlage angenommen wird. Der <> Teil teilt dem Compiler mit, dass B eine Klassenvorlage ist und fordert ihn auf, den Standardparameter als Vorlageargument zu übernehmen.

Answer 2

Weil man muss sagen, dass B eine Vorlage:

B<> b; 

Auch wenn Sie nicht wollen, eines der Argumente spezifizieren.

Answer 3

Die korrekte Syntax, wie Nawaz bereits erwähnt ist:

B<> b; 

Der Grund dafür ist, dass B die Vorlage und B<> ist die Instanziierung der Vorlage mit dem Standardargument A. Aber Sie müssen die <> unterscheiden, wenn Sie eine Instanziierung möchten.