"modello <>" vs "modello" senza parentesi: qual è la differenza?

Question

Supponiamo che ho dichiarato:

template <typename T> void foo(T& t); 

Ora, qual è la differenza tra

template <> void foo<int>(int& t); 

e

template void foo<int>(int& t); 

semanticamente? E template-with-no-parentesi e template-with-empty-parentesi hanno altre semantiche in altri contesti?

---

_{relativi a: How do I force a particular instance of a C++ template to instantiate?}

Answer 1

template <> void foo<int>(int& t); dichiara un specializzazione del modello, con il corpo potenzialmente diverso.

template void foo<int>(int& t); causa una istanziazione esplicita del modello, ma non introduce una specializzazione. Implica semplicemente l'istanziazione del modello per un tipo specifico.

Answer 2

Con classe/struttura,

template <typename T> struct foo {}; 

seguito è una specializzazione:

template <> struct foo<int>{}; 

seguito è un esplicito stantiation:

template struct foo<int>;