Sự mơ hồ về chuyên môn một phần của mẫu

Question

Tôi không thể thấy tại sao câu lệnh trong chính là mơ hồ.

template<class T, class U, int I> struct X 
{ void f() { cout << "Primary template" << endl; } }; 


template<class T, int I> struct X<T, T*, I> 
{void f() { cout << "Partial specialization 1" << endl;}}; 

template<class T, class U, int I> struct X<T*, U, I> 
{void f() { cout << "Partial specialization 2" << endl;}}; 

template<class T> struct X<int, T*, 10> 
{void f() { cout << "Partial specialization 3" << endl;}}; 

template<class T, class U, int I> struct X<T, U*, I> 
{void f() { cout << "Partial specialization 4" << endl;}}; 

int main() 
{ 
    X<int, int*, 10> f; 
} 

Không phải là X<int, T*, 10> mẫu chuyên biệt nhất? Đây là ví dụ từ http://publib.boulder.ibm.com/infocenter/lnxpcomp/v8v101/index.jsp?topic=%2Fcom.ibm.xlcpp8l.doc%2Flanguage%2Fref%2Fpartial_specialization.htm

Answer 1

Chuyên môn mẫu chuyên môn hơn so với danh sách đối số khác khớp với danh sách đầu tiên khớp với dấu hai, nhưng không phải theo cách khác.

Khi nhìn vào X<int, T*, 10> và X<T, T*, I>:

• X<int, float*, 10> phù hợp với người đầu tiên nhưng không phải là thứ hai.
• X<float, float*, 10> khớp với số thứ hai nhưng không khớp với giá trị thứ hai.

Do đó không chuyên biệt hơn loại kia và bản mẫu hóa khớp với cả hai chuyên môn sẽ không biên dịch.