隐藏成员模板的模板参数

Question

来自temp.local ：

在出现在类模板定义之外的类模板成员的定义中，类模板成员的名称隐藏了任何封闭类模板的模板参数的名称（ 但不是模板参数的名称）成员，如果成员是类或函数模板 ）。 [例如：

 template<class T> struct A { struct B { /* ... */ }; typedef void C; void f(); template<class U> void g(U); }; template<class B> void A<B>::f() { B b; // A's B, not the template parameter } template<class B> template<class C> void A<B>::g(C) { B b; // A's B, not the template parameter C c; // the template parameter C, not A's C } 

- 结束例子]

问题是，我尝试过的每个编译器（g ++，vc，icc，clang）都将A<B>::g(C)中的A<B>::g(C)视为A的成员名称，并且不编译该示例。

这是一个常见的错误吗？

Answer 1

虽然您提供的链接似乎是草稿并明确声明它不是任何标准（ http://eel.is/c++draft/ ）的一部分，但草案中的这个特定条款似乎与ISO C ++相同14.6.1，第7段。

所以它确实似乎是一个常见的编译器bug或与其他子句冲突并丢失的子句。 我验证了该示例无法在MacOS Clang v802.0.42上编译。 既然你说所有的主要编译器都在这里发出错误，我会怀疑由于与其他一些条款的冲突，这个条款的实现是不合理的。

编辑：我还发现，标准社区内的讨论在这里与此相关的话题。 它在这里讨论的深度告诉我，这个规则是有争议的，甚至可能会改变。