typedef-name 作为基类：非法但被广泛容忍
[class.衍生] 的第一段谈到基类说明符，
如果找到的名称不是类名，则程序格式错误。
然而，简单测试表明 Comeau 和 g++ -ansi -pedantic 都接受 typedef -名称作为基础。 Boost 标头上的一个简单的 grep -r '[^:]: mpl' 表明流行的库通常依赖于这种行为。
有没有编译器实际上拒绝过基说明符中类的 typedef ？ GCC 甚至检查基类类型不是 const，从而改进了非标准功能。
有解决方法吗？我唯一能想到的就是用 C++11 别名模板替换 typedef。模板化别名声明声明了一个模板名称，然后它可能会成为一个类名称......我认为。这可能需要别名声明的虚拟参数。
也许应该调整标准以匹配编译器的一致行为。有博士吗？
The first paragraph of [class.derived] says of base class specifiers,
If the name found is not a class-name, the program is ill-formed.
However, a simple test shows that Comeau and g++ -ansi -pedantic both accept a typedef-name as a base. A simple grep -r '[^:]: mpl' over the Boost headers shows that popular library often relies on such behavior.
Has any compiler ever actually rejected a typedef of a class in a base specifier? GCC even checks that the base class type is not const, which refines the nonstandard functionality.
Is there a workaround? The only thing I can think of is to replace the typedef with a C++11 alias template. A templated alias-declaration declares a template-name which may then become a class-name… I think. This may require a dummy parameter to the alias-declaration.
Perhaps the Standard should be adjusted to match the unanimous behavior of the compilers. Is there a DR?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
我相信这是符合标准的。具体来说，§9.1/5：“命名类的 typedef-name (7.1.3) 是 class-name，[...]”。
I believe this is in accordance with the standard. Specifically, §9.1/5: "A typedef-name (7.1.3) that names a class is a class-name, [...]".