Mẫu nghi ngờ trong C++

Question

#include <iostream> 
using namespace std; 
template<typename T> void test() 
{ 
    cout << "Called from template T"; 
} 
template<int I> void test() 
{ 
    cout << "Called from int"; 
} 
int main() 
{ 
    test<int()>();  
} 

Trong đoạn trên test<int()>() gọi là phiên bản đầu tiên và cho sản lượng

Called from template T

Tại sao không phải là phiên bản thứ hai được gọi là?

Answer 1

Theo ISO C++ 03 (Section 14.3/2)

Trong một mẫu đối số, một sự nhập nhằng giữa một type-id và một biểu thức được giải quyết cho một type-id. int() là type-id để phiên bản đầu tiên được gọi.

Answer 2

Hãy thử:

test<(int())>(); 

Answer 3

Nó không hoàn toàn rõ ràng với tôi những gì bạn đang cố gắng để đạt được với điều này. Nhưng nếu bạn muốn sử dụng một mẫu chuyên môn khác nhau khi bạn nhanh chóng các mẫu với một int chứ không phải bất kỳ loại khác thì đây là cú pháp bạn cần -

#include <iostream> 

    using namespace std; 

    template<typename T> void test() 
    { 
     cout << "Called from template T"; 
    } 

    template<> void test<int>() 
    { 
     cout << "Called from int"; 
    } 


    int main() 
    { 
      test<int>(); 

    } 

Answer 4

Tôi nghĩ rằng bạn muốn mẫu thứ hai được gọi bất cứ khi nào T là int. John has shown you cách thực hiện điều đó và Benoit has shown you những gì bạn cần làm để thực sự gọi hàm thứ hai.

Vấn đề của bạn là bằng cách cố gắng chuyêntest<>() cho một loại cụ thể (int) bằng cách sử dụng cú pháp hoàn toàn sai, bạn đã vô tình nhấn một hình thức cú pháp hợp lệ. (Loại may mắn.) Mẫu chức năng thứ hai đó đang sử dụng thông số mẫu không kiểu không kiểu. Đối với các loại bên cạnh, bạn có thể sử dụng những thứ khác làm thông số mẫu. Trong số các hàm khác (hàm, mẫu), bạn cũng có thể sử dụng hằng số tích phân, như int. Nếu bạn đã cố thực hiện điều này với, ví dụ: double, mã sẽ không thể biên dịch được.
Mẫu test<>() thứ hai của bạn là quá tải của mẫu đầu tiên có thể được sử dụng với số nguyên không đổi. Đó là lý do tại sao test<0>() của Benoit sẽ biên dịch.

Đối với một chuyên môn đầy đủ (không có phần chuyên môn hóa cho chức năng mẫu, có chỉ là quá tải; lớp mẫu, tuy nhiên, không có chuyên môn hóa một phần), bạn phải luôn luôn cung cấp một danh sách tham số mẫu trống (template<>) và đặt các loại chuyên biệt đằng sau mã định danh test<int>.