本地班级的会员模板

Question

给出以下代码：

 void f()
 {
     class A
     {
         template <typename T>
         void g() {}
     };
 }

g ++ 4.4（以及g++-4.6 -std=gnu++0x）抱怨：“本地类中成员模板的声明无效”。

显然本地类不允许有模板成员。这种限制的目的是什么？它会在C ++ 0x中删除吗？

注意：如果我将本地类本身设为模板，而不是给它一个模板成员：

 void f()
 {
     template <typename T>         
     class A
     {
         void g() {}
     };
 }

我得到“错误：模板声明不能出现在块范围内”。

Answer 1

此限制的目的是什么？只是一个猜测，但是：

• 您只能在封闭函数中使用模板类/模板成员函数。因此，您已经知道函数中所有使用的类型，因此可以直接指定使用的类型（对于几种类型，当然，模板变体会保存一些类型）。
• 虽然看起来可能不是这样，但它适用于所有编译器创建者和bug的空间，所以它必须值得付出努力。

有趣的事实：尝试在函数中使用本地类作为函数中声明的（c ++ 0x）-lambda函数的返回类型：MSVC 2010：内部编译器错误^^。