为什么＆＃34; a.template foo＆lt; 0＆gt;（）;＆＃34;即使＆＃34; a.foo＆lt; 0＆gt;（）;＆＃34;够了吗？

Question

struct A
{
    template<int>
    void foo()
    {}
};

int main()
{
    A a;
    a.foo<0>(); // ok
    a.template foo<0>(); // also ok
}

显然，a.foo<0>();比a.template foo<0>();更简洁，直观和富有表现力。

即使a.template foo<0>();足够，为什么C ++允许a.foo<0>();？

Answer 1

有时，在模板中，您需要编写a.template foo<0>()而不是a.foo<0>()。

@melpomene在评论中给出了这个很好的例子：

template<typename T>
void do_stuff() {
  T a;
  a.template foo<0>();
}
do_stuff<A>();

• 在C ++ 03 中，a.template foo<0>()不应在当前情况下使用。

编译代码时，

g++会输出以下警告：

  

警告：＆＃39>模板＆＃39;模板外的关键字[-Wc ++ 11-extensions]

• 在C ++ 11 中，通过允许在任何地方使用a.template foo<0>()语法简化了语法。