我对§3.4.4/3(C++14)示例中的第一条注释表示怀疑:
struct Node {
struct Node* Next; // OK: Refers to Node at global scope
struct Data* Data; // OK: Declares type Data
// at global scope and member Data
};
根据§3.3.2/7(见下文),可以得出结论,注释是正确的,因为全局命名空间是包含声明struct Node* Next;
的最小命名空间。
§3.3.2/7(我的重点)
类的第一个声明点详细的类型说明符如下:
对于形式的声明
类密钥属性说明符seqopt标识符;
标识符被声明为作用域中的类名包含声明,否则
对于形式的详细说明的类型说明符
类密钥标识符
如果在命名空间范围中定义的函数的decl说明符seq或参数声明子句中使用了详细说明的类型说明符,则标识符声明为包含声明的命名空间中的类名否则,标识符在包含声明。[注意:这些规则也适用于模板。--end注意][注意:其他形式的详细类型说明符不声明一个新名称,因此必须引用现有名称键入名称。见3.4.4和7.1.6.3--尾注]
然而,从§3.4.4/2(见下文)中,我得到的印象是,名称Node
的查找找到了注入的类名Node
,因此它不能在全局范围内引用Node
。
§3.4.4/2(我的重点)
如果详细说明的类型说明符没有嵌套的名称说明符细说明的类型说明符出现在带有以下表格:
类密钥属性说明符seqopt标识符;
根据3.4.1查找标识符,但忽略已声明的任何非类型名称。如果详细描述的类型说明符是由enum关键字引入的,并且此查找找不到以前声明的类型名称详细的类型说明符格式错误。如果详细说明的类型说明符是由类键引入的,并且此查找找不到以前声明的类型名称,或者如果详细的类型说明符出现在声明中,格式为:
类密钥属性说明符seqopt标识符;
详细的类型说明符是一个引入类名,如3.3.2所述。
[basic.scope.pdecl]/7的第一句话清楚地表明,该段落处理的是在详细类型说明符中首次声明的类;因此它不适用于struct Node* Next;
中的struct Node
,因为Node
不是在阐述的类型说明符中首先声明的。
相反,Node
的非限定名称查找确实找到了注入的类名(请参见[basic.lookup.uqual]/p1和7.1),而不是::Node
。不过,您需要编写一些相当做作的代码才能发挥作用。例如:
struct A {};
struct B : private A {};
struct C : public B {
struct A m_a; // error: A is the inaccessible injected-class-name, not ::A
struct ::A m_a2; // OK
};
请注意,GCC接受此代码,我认为这是一个错误。
3.3.2中的一段内容是关于声明类,而不是对象。
您的声明struct Node* Next
不可能与"类密钥标识符"匹配;后者实际上只匹配前者中一半的令牌。