从模板函数调用模板类的模板成员函数

Question

这不会编译：

template<class X> struct A {
   template<int I> void f() {}
};

template<class T> void g()
{
   A<T> a;
   a.f<3>();  // Compilation fails here (Line 18)
}

int main(int argc, char *argv[])
{
   g<int>();  // Line 23
}

编译器（gcc）说：

hhh.cpp：在函数“void g()”中：

hhh.cpp:18：错误：“)”标记之前应有主表达式

hhh.cpp：在函数“void g() [with T = int]”中：

hhh.cpp:23：从这里实例化

hhh.cpp:18: 错误：成员的无效使用（您是否忘记了“&”？）

任何人都可以解释这是为什么吗？有办法让它发挥作用吗？

Answer 1

尝试以下代码：

template<class T> void g()
{
   A<T> a;
   a.template f<3>();  // add `template` keyword here
}

根据 C++'03 标准 14.2/4：

当成员模板特化的名称出现在后缀表达式中的.或->之后，或之后qualified-id 中的nested-name-specifier，并且后缀表达式或qualified-id显式依赖于模板参数（14.6.2），成员模板名称必须是以关键字 template 为前缀。否则，该名称将被假定为非模板名称。

根据草案 n2857 14.3/4，未来的 C++ 标准似乎仍然需要此关键字。一些编译器具有特殊模式，允许编译原始代码而不会出现错误（Comeau 以所谓的“宽松模式”进行编译）。