我哪里错了?对名称Node的查找查找结构Node的注入类名
Where am I wrong here? The lookup for the name Node finds the injected-class-name for the struct Node
我对§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
不可能与"类密钥标识符"匹配;后者实际上只匹配前者中一半的令牌。
- 正在查找文档以获得PS4平台的C++中的设备信息
- 在C++中查找文件
- 模板元程序查找相似的连续类型名称
- node-gyp 在 macOS 上未正确链接库
- 在UNIX系统中使用DIR查找文件的字节大小
- 查找最接近的大于当前数字的数字的索引
- 有没有一种方法可以创建一个带有哈希表的数据库,该哈希表具有恒定时间查找功能
- 查找后更改类变量
- 使用正则表达式regex_search在字符串中查找字符串
- 使用gcc从静态链接的文件中查找可选符号
- 在C++中查找范围的长度
- 算法问题:查找从堆栈中弹出的所有序列
- 在Windows中查找扬声器输出的当前音量级别
- 如何在C++中使用X509证书模在令牌中查找私钥
- 使用.find函数在c++中查找字符和另一个字符之间的大小
- 在 Windows 上,是否可以让 dll 在不使用 PATH 环境变量的情况下在另一个文件夹中查找依赖项?
- 在 for 循环中查找问题时遇到困难
- 如何在文件中查找字节序列
- 试图创建一个多线程程序来查找0-100000000之间的总素数
- 我哪里错了?对名称Node的查找查找结构Node的注入类名