c++ - 具有类型转换的模板特化

Question

我发现了这段假代码(下面是人为的例子):

template <int I, typename T>
struct foo
{
    static int bar()
    {
        return 1;
    }
};

template <std::size_t Index, typename T>
struct foo<Index, T*>
{
    static int bar()
    {
        return 2;
    }
};

请注意，特化使用不同的类型(错误地)。令人惊讶的是，它在 GCC 4.8.1 和 Clang 3.4 中编译时没有任何错误(或警告)。但更奇怪的是 GCC 行 foo<0, int*>::bar()结果 1 , 但 Clang 给出 2 .到底是怎么回事？它仍然被标准视为特化吗？

Answer 1

Gcc 是错误的，因为你根本不能调用这个特化。只需删除主模板定义:

template <int I, typename T>
struct foo;

template <std::size_t Index>
struct foo<Index, int*> {
  static int bar() {
    return 2;
  }
};

int main() {
  std::cout << foo<std::size_t(0), int*>::bar() << std::endl; // nope, not work
  std::cout << foo<0, int*>::bar() << std::endl; // nope, not work
}

观看直播example .和this代码必须报告模棱两可的部分特化，但它不是(对于 gcc)。铿锵 report “模棱两可”。

PS 我认为，这部分没有被标准覆盖。

更新

在这种情况下，clang 不适用于 枚举，example .