部分模板专业化和 icc

Question

考虑以下代码：

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;
}

当我使用 icc 16.0.1 编译它时，我收到以下消息：

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();

使用 clang 3.7.1 和 gcc 5.3.0 编译（并打印“实例化特殊”）。这是 icc 中的错误，还是我的代码不正确？对我来说，第二个专业化似乎比第一个专业化更加专业化。除了锁定第一个模板参数之外，它与第一个相同。

编辑：我应该补充：如果这是 icc 中的错误，有没有好的解决方法？

Answer 1

是的，这是 ICC 中的一个错误。

---

两个部分特化都与您的实现相匹配，因此进入两个合成函数的部分模板排序规则：

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> );

部分排序规则涉及为每个模板参数合成新类型，并尝试对每个重载对其余的进行推导。首先，我们尝试从Foo<_U1, _U2, std::integral_constant<int, _U2::value>> 中推断出U。这失败了，因为_U1 与double 不匹配。所以第一个重载至少不像第二个那么专业。接下来，我们尝试对Foo<double, _U3, std::integral_constant<int, _U3::value>> 推导出T 和U。这通过T=double 和U=_U3 成功。所以第二个重载至少和第一个一样专精。

因此，第二个重载比第一个更专业。有一个独特的最专业的部分偏化，它应该被实例化（并且是由 gcc 和 clang）。 ICC 未能这样做是一个错误。