Parámetros de plantilla predeterminados: ¿por qué el compilador se queja de no especificar el argumento de la plantilla?

Question

tengo este código:

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

Si hago foo() como una función de plantilla con la misma plantilla 'firma', el compilador no se queja de no especificar los argumentos de plantilla:

struct A {}; 

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

B b; //OK 
b.foo() 

Entonces, ¿por qué debo especificar un argumento para una clase de plantilla con un parámetro predeterminado, pero no para una función de plantilla? ¿Me falta algo de sutileza?

El motivo se debe a la falla en la deducción del argumento de la plantilla. Pero quiero saber por qué.

Answer 1

La sintaxis correcta es la siguiente (demo):

B<> b; 

El valor predeterminado argumento A se asume para la plantilla de clase B. La parte <> le dice al compilador que B es una plantilla de clase y le pide que tome el parámetro predeterminado como el argumento de la plantilla.

Answer 2

Porque hay que decir que es una plantilla B:

B<> b; 

Aun cuando no se desea especificar cualquiera de los argumentos.

Answer 3

La sintaxis correcta, como se menciona ya está Nawaz:

B<> b; 

La razón es que es B la plantilla y B<> es la instanciación de la plantilla con el argumento predeterminado A. Pero necesita el <> para diferenciar cuando quiere una instanciación.