Domyślne parametry szablonu: Dlaczego kompilator narzeka na brak określenia argumentu szablonu?

Question

mam ten kod:

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

Jeśli zrobię foo() jako funkcję szablonu z tego samego szablonu „podpis”, kompilator nie narzekają, nie podając argumentów szablonu:

struct A {}; 

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

B b; //OK 
b.foo() 

Dlaczego więc muszę określić argument dla klasy szablonu z parametrem domyślnym, ale nie dla funkcji szablonu? Czy brakuje mi jakiejś subtelności?

Przyczyna jest spowodowana niewystarczającym odrzuceniem argumentu szablonu. Ale chcę wiedzieć dlaczego.

Answer 1

Poprawna składnia jest to (demo):

B<> b; 

Domyślnym argumentem A zakłada się dla klasy szablonu B. Część <> mówi kompilatorowi, że B jest szablonem klasy i prosi go o przyjęcie parametru domyślnego jako argumentu szablonu.

Answer 2

Bo trzeba powiedzieć, że B jest szablonem:

B<> b; 

Nawet wtedy, gdy nie chcesz, aby określić dowolny z argumentów.

Answer 3

Poprawna składnia, jak Nawaz wspomina już jest:

B<> b; 

Powodem jest to, że B jest szablon i B<> jest konkretyzacji szablonu z domyślnym argumentem A. Ale potrzebujesz <>, aby rozróżnić, kiedy chcesz utworzyć instancję.