C 查找因名称
C++ lookup for dependent names
本文关键字:查找 更新时间:2023-10-16
在当前的C 标准(2019年3月)中,有这两个段落(重点是我的):
[temp.res] p.2:
模板声明或定义中使用的名称,并且假定取决于模板参数的名称不为不是命名类型>关键字TypeName。[...]
[temp.res] p.9:
在寻找模板定义中使用的名称的声明时,通常使用通常的查找规则([basic..lookup.unqual],[basic.lookup.argdep])用于非依赖性名称。依赖于模板参数的名称的查找被推迟,直到已知实际模板参数([temp.dep])。[...]
第一段意味着取决于模板参数的名称将通过"适用的名称查找"查找。
但是,第二段指出,依赖于模板参数的名称的查找被推迟到模板参数为止。
。第一段的示例包括类似于以下情况的情况:
template <typename T>
class A
{
void f()
{
T* p;
}
};
在方法f
中,我相信 T
是"依赖模板参数的名称",因此应将其查找推迟到已知T
之前,因此没有"适用的名称查找",应假定名称不命名一个名称类型。
如果第二个引用的段落似乎没有执行查找,则第一个引用的段落是什么意思是"除非适用的名称查找找到类型名称",否则该段落是什么意思?我想念什么吗?
谢谢。
推迟的查找是用于依赖的名称:例如,在诸如T::foo
或Bar<T>::foo
之类的上下文中的foo
或T() @ 0
等上下文中的operator@
。显然,T
和Bar
必须自己查找,只是要知道涉及模板参数(模板参数可以隐藏)并解析模板参数列表。由于(类型)模板参数为a typedef-name ,并且Bar
的任何专业化都是一种类型,因此"名称查找找到类型名称"。
相关文章:
- 正在查找文档以获得PS4平台的C++中的设备信息
- 在C++中查找文件
- 模板元程序查找相似的连续类型名称
- 在UNIX系统中使用DIR查找文件的字节大小
- 查找最接近的大于当前数字的数字的索引
- 有没有一种方法可以创建一个带有哈希表的数据库,该哈希表具有恒定时间查找功能
- 查找后更改类变量
- 使用正则表达式regex_search在字符串中查找字符串
- 使用gcc从静态链接的文件中查找可选符号
- 在C++中查找范围的长度
- 算法问题:查找从堆栈中弹出的所有序列
- 在Windows中查找扬声器输出的当前音量级别
- 如何在C++中使用X509证书模在令牌中查找私钥
- 使用.find函数在c++中查找字符和另一个字符之间的大小
- 在 Windows 上,是否可以让 dll 在不使用 PATH 环境变量的情况下在另一个文件夹中查找依赖项?
- 在 for 循环中查找问题时遇到困难
- 如何在文件中查找字节序列
- 试图创建一个多线程程序来查找0-100000000之间的总素数
- 使用堆查找第K个最大元素的时间复杂性
- 一个函数,用于查找字符串1包含字符串2 c++的次数