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
}

见活的例子。并且此代码必须报告模棱两可的部分专业化，但它不是（对于 gcc）。Clang报告“模棱两可”。

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

更新

在这种情况下，clang 不适用于枚举，例如。

Answer 2

对非类型模板参数 14.5.5 [temp.class.spec] 第 8 段部分特化类模板的限制列出了以下限制：

部分特化的非类型实参表达式不应涉及部分特化的模板形参，除非实参表达式是简单标识符。

使用 a 的参数表达式size_t涉及到int(size_t是无符号的) 的转换，因此不是一个简单的标识符。