phần Template chuyên môn hóa và icc

Question

Xét đoạn mã sau:

template <class T, class U, class V> 
struct Foo { }; 

template <class T, class U> 
struct Foo<T, U, std::integral_constant<int, U::value>> { 
    static void print() 
    { 
    std::cerr << "instantiated"; 
    } 
}; 

template <class U> 
struct Foo<double, U, std::integral_constant<int, U::value>> { 
    static void print() 
    { 
    std::cerr << "instantiated special"; 
    } 
}; 

struct Bar { 
    static const int value = 0; 
}; 

int main(int argc, char ** argv) 
{ 
    using Baz = Foo<double, Bar, std::integral_constant<int, 0>>; 
    Baz::print(); 

    return 0; 
} 

Khi tôi biên dịch này với icc 16.0.1, tôi nhận được thông báo sau:

main.cpp(38): error: more than one partial specialization matches the template argument list of class "Foo<double, Bar, std::integral_constant<int, 0>>" 
      "Foo<T, U, std::integral_constant<int, U::value>>" 
      "Foo<double, U, std::integral_constant<int, U::value>>" 
    Baz::print(); 

Với vang 3.7.1 và gcc 5.3.0 này biên dịch (và "instantiated đặc biệt" được in). Đây có phải là lỗi trong icc hay mã của tôi không chính xác? Đối với tôi, có vẻ rõ ràng rằng chuyên môn hóa thứ hai nghiêm túc hơn chuyên môn thứ nhất; nó giống với đầu tiên khác với thực tế là nó khóa thông số mẫu đầu tiên.

Chỉnh sửa: Tôi nên thêm: nếu đây là lỗi trong icc, có cách giải quyết tốt không?

Answer 1

Có, đây là lỗi trong ICC.

---

Cả hai chuyên ngành một phần phù hợp với thực hiện của bạn, vì vậy đi vào các quy tắc mẫu đặt phần trên hai chức năng tổng hợp:

template <class T, class U> void f(Foo<T, U, std::integral_constant<int, U::value>); 
template <class U>   void f(Foo<double, U, std::integral_constant<int, U::value>); 

Các quy tắc đặt hàng một phần liên quan đến việc tổng hợp loại mới cho mỗi mẫu đối số và cố gắng làm khấu trừ với mỗi quá tải với phần còn lại. Trước tiên, chúng tôi cố gắng suy ra U chống lại Foo<_U1, _U2, std::integral_constant<int, _U2::value>>. Điều này không thành công, vì _U1 không khớp với double. Vì vậy, quá tải đầu tiên không phải là ít nhất là chuyên ngành hơn so với thứ hai. Tiếp theo, chúng tôi cố gắng suy ra T và U chống lại Foo<double, _U3, std::integral_constant<int, _U3::value>>. Điều này thành công với T=double và U=_U3. Vì vậy, quá tải thứ hai ít nhất là chuyên môn đầu tiên.

Do đó, quá tải thứ hai chuyên biệt hơn lần đầu tiên. Có một phần riêng biệt nhất từng phần một phần, là một trong đó nên được instantiated (và là do gcc và clang). ICC không làm như vậy là một lỗi.