C++26标准限定名查找规则疑惑：命名空间为何可执行查找？

你混淆了标准里两句话的适用场景，核心是要分开看嵌套名说明符的目标作用域和限定名出现的上下文作用域：

第一句是核心查找规则 #

类、命名空间或枚举中的限定名查找会在其关联的作用域中进行搜索，除非下文另有规定。

这句话是最基础的默认规则：只要你写的限定名是用类、命名空间或枚举作为嵌套名说明符（比如Ns::func、MyClass::value），查找的核心逻辑就是直接去这个嵌套名说明符指定的关联作用域（Ns的命名空间、MyClass的类作用域）里搜索，优先级最高。

第二句是关于“出现位置上下文”的例外规则 #

除非另有说明，限定名会在其出现位置的查找上下文中进行限定名查找，除非查找上下文是依赖的且不是当前实例化，或者不是类或类模板。

这句话针对的是额外查找逻辑：当限定名的规则需要考虑出现位置的上下文时，默认会在它出现的上下文里做限定查找，但有两个例外场景不需要这么做：

1. 上下文是依赖的且不是当前实例化（模板相关的特殊情况）
2. 上下文不是类或类模板（比如全局函数、命名空间内部的普通代码）

这里的关键是：第二句描述的是是否要在出现位置的上下文里做额外查找，而非替代第一句的核心规则。当你用命名空间作为嵌套名说明符时，第一句已经明确要求去该命名空间里查找，第二句的例外只是说“不需要再在出现位置的非类/非模板上下文里做额外的限定查找”——这和“在命名空间里执行查找”完全不冲突。

实际代码示例 #

namespace N {
    int x = 10;
}

void foo() {
    // 限定名是N::x
    // 按第一句规则：直接去N的命名空间查找，找到x
    // 按第二句规则：foo是全局函数，上下文不是类/类模板，无需在全局上下文做额外限定查找
    // 最终结果就是正确找到N::x，符合实际行为
    int a = N::x;
}

你之前的误解是把第二句的“除非查找上下文不是类或类模板”当成了“禁止在命名空间里查找”，但实际上它只是取消了“在出现位置的非类/非模板上下文里做额外查找”的要求，完全不影响第一句规定的“去嵌套名说明符指定的命名空间里查找”的核心逻辑。

内容的提问来源于stack exchange，提问作者lzv