"mẫu <>" so với "mẫu" không có dấu ngoặc - sự khác biệt là gì?

Question

Giả sử tôi đã tuyên bố:

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

Bây giờ, sự khác biệt giữa

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

và

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

ngữ nghĩa là gì? Và các khuôn mẫu với các dấu ngoặc đơn và các khuôn mẫu có các khung rỗng có các ngữ nghĩa khác trong các ngữ cảnh khác không?

---

_{để liên quan: How do I force a particular instance of a C++ template to instantiate?}

Answer 1

template <> void foo<int>(int& t); tuyên bố một chuyên của mẫu, với cơ thể có khả năng khác nhau.

template void foo<int>(int& t); gây ra instantiation instant của mẫu, nhưng không giới thiệu chuyên môn. Nó chỉ ép buộc sự khởi tạo của mẫu cho một kiểu cụ thể.

Answer 2

Với lớp/struct,

template <typename T> struct foo {}; 

Sau đây là chuyên môn hóa:

template <> struct foo<int>{}; 

Sau đây là một rõ ràng trong stantiation:

template struct foo<int>;