c++ - C++类成员名查找规则中注1是什么意思？

Question

来自http://eel.is/c++draft/class.member.lookup#1：

在范围内搜索来自程序点PX的名称是对from的单个搜索，除非是类或类模板的范围，在这种情况下，以下步骤定义搜索结果。NXNPXT

[注1：只有当N是转换函数ID或单次搜索什么也没找到时，结果才会有所不同。——尾注]

我很难理解 Note。似乎来自类范围的“单一搜索”会在命名空间范围内找到前面的声明，因为命名空间范围包含类范围。但是，正如我们所知，如果名称也被声明为非依赖基类的成员，则基类成员优先于命名空间成员。注 1似乎与此相矛盾，因为它基本上是在说“如果N不是转换函数 ID，那么您可以只进行正常的单次搜索，并且只有当您找不到任何内容时，才使用本节中的过程”。但是单次搜索会通过找到命名空间范围声明而成功，并且类成员查找会产生不同的结果。

我的理解错误在哪里？

标签： c++language-lawyerc++23

Answer 1

回答

一次搜索只考虑一个范围——而不是封闭的命名空间，甚至是基类。这是一个考虑所有封闭范围的非限定搜索。单次搜索和（普通）搜索是这些高级过程的子程序。

语境

应该说，由于最近有很多这样的问题，这些术语的存在是为了减少“程序员级别”结构（如（非）限定名称查找）定义中的歧义和不精确性（例如，CWG 第 191 期）。我发明它们并不是为了增加典型程序员应该记住的词汇量。（换句话说，标准不是教程。）

当然，在这方面，这个特定的问题并没有什么特别之处，但我必须希望这会因此倾向于找到需要看到它的人。