Parametri del modello predefinito: perché il compilatore si lamenta di non specificare l'argomento del modello?

Question

Ho questo codice:

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

Se faccio foo() in funzione modello con lo stesso modello di 'firma', il compilatore non lamentarsi di non specificare gli argomenti di modello:

struct A {}; 

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

B b; //OK 
b.foo() 

Quindi, perché devo specificare un argomento per una classe template con un parametro predefinito, ma non per una funzione template? C'è qualche sottigliezza che mi manca?

Il motivo è a causa di errore di deduzione argomento modello di sicuro. Ma voglio sapere perché.

Answer 1

La sintassi corretta è questa (demo):

B<> b; 

L'argomento default A si presume per il modello di classe B. La parte <> dice al compilatore che B è un modello di classe e chiede di prendere il parametro predefinito come argomento del modello.

Answer 2

Perché devi dire che B è un modello:

B<> b; 

Anche quando non si desidera specificare uno qualsiasi degli argomenti.

Answer 3

La sintassi corretta, come Nawaz accenna già è:

B<> b; 

La ragione è che B è il modello e B<> è l'esemplificazione del modello con l'argomento di default A. Ma è necessario che lo <> si distingua quando si desidera un'istanza.