c++ - 将模板与作用域在函数内的匿名类一起使用

Question

假设我有以下片段:

template <class T> void f(T arg) { arg(); }

void g()
{
   struct { void operator()(void) { } } foo;

   f(foo);
}

Visual C++ 接受这一点。但是，当我尝试 GCC 时，我得到:

$ g++ --version # just in case this matters
g++ (Debian 4.4.5-8) 4.4.5
...
$ g++ foo.cc
foo.cc: In function 'void g()':
foo.cc:7: error: no matching function for call to 'f(g()::<anonymous struct>&)'

当 foo 的范围是全局的并且它的类型有一个名字时，这是可行的。但是当类型是匿名的 或 在 g() 中声明时它不会。

为什么 GCC 拒绝这个？它是有效的 C++ 吗？

Answer 1

14.3.1 第 2 段:

局部类型、没有链接的类型、未命名类型或类型 从任何这些类型的化合物不得用作 模板类型参数的模板参数。

换句话说，无效。尽管在我看来这很方便，但这也许就是 VC 允许它的原因。