“Шаблон <>” проти “шаблон” без дужок - яка різниця?

Припустимо, я заявив:

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

Тепер, в чому різниця між

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

і

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

семантично? І чи мають шаблон-без-дужок та шаблон-з-порожніми дужками іншу семантику в інших контекстах?

_{Пов’язане з: Як змусити конкретний екземпляр шаблону C ++ створити екземпляр?}

template <> void foo<int>(int& t);оголошує спеціалізацію шаблону з потенційно іншим корпусом.

template void foo<int>(int& t);викликає явний екземпляр шаблону, але не вводить спеціалізацію. Він просто змушує створювати екземпляр шаблону для певного типу.

З класом / структурою,

template <typename T> struct foo {};

Далі йде спеціалізація:

template <> struct foo<int>{};

Нижче наведено явний екземпляр:

template struct foo<int>;