为什么这个小C&#x​​2B;+程序无法使用 G++ 编译？

Question

以下代码无法使用 G++ 4.5 或 4.6（快照）进行编译。它将使用 Digital Mars Compiler 8.42n 进行编译。

template <int I>
struct Foo {
  template <int J>
  void bar(int x) {}
};

template <int I>
void test()
{
  Foo<I> a;
  a.bar<8>(9);
};

int main(int argc, char *argv[]) {
  test<0>();
  return 0;
}

错误消息是：

bugbody.cpp: In function 'void test() [with int I = 0]':
bugbody.cpp:16:11:   instantiated from here
bugbody.cpp:11:3: error: invalid operands of types '<unresolved overloaded function type>' and 'int' to binary 'operator<'

该程序是否有效 C++？

Answer 1

由于a.bar中的bar是一个依赖名称，编译器不知道它是一个模板。您需要指定这一点，否则编译器会将后续 <…> 解释为二进制比较运算符：

a.template bar<8>(9);

编译器行为正确。

这种行为的原因在于专业化。想象一下，您已将 Foo 类专门化为某个值：

template <>
struct Foo<0> {
    int bar;
};

现在您的原始代码可以编译，但它意味着完全不同的东西。在第一个解析过程中，编译器尚不知道您在此处使用的是 Foo 的哪种特化，因此它需要消除 a.bar 的两种可能用法之间的歧义;因此关键字 template 向编译器表明后续的 <...> 是模板参数。