名字查找分为非限定查找和限定查找：非限定查找从当前作用域逐层向外回溯，遵循就近原则和遮蔽规则，不跨命名空间自动搜索，但ADL会为函数调用额外添加参数类型所在命名空间。
在 C++ 中，名字查找（name lookup）决定一个标识符（比如函数名、变量名、类型名）具体指代哪个声明。它分为两类：非限定查找（unqualified lookup）和限定查找（qualified lookup），二者触发场景、搜索路径和规则完全不同。
非限定查找（Unqualified Lookup）
当代码中直接使用一个未加作用域限定的标识符（如 foo()、x），编译器就执行非限定查找。它的核心是“就近原则”+“嵌套作用域向上回溯”，但受重载、ADL 和模板实例化等机制影响，实际行为比表面复杂。
- 从当前作用域开始，逐层向外查找：先查局部作用域（如函数体内），再查外围块作用域、类作用域、命名空间作用域，直到全局作用域。一旦找到至少一个声明，就停止向外搜索（即“遮蔽”规则：内层声明会屏蔽外层同名声明）。
-
不跨命名空间边界自动查找：即使两个命名空间通过
using声明关联，非限定查找本身不会跳到另一个命名空间去搜，除非有显式引入（如using N::f;）或 ADL 参与。 -
ADL（Argument-Dependent Lookup）是特例：对函数调用（仅限函数名，不含成员函数），若参数类型定义在某个命名空间中，编译器会额外将该命名空间加入查找集。例如：
std::cout 中，若x是自定义类型MyType且operator 在MyNamespace中定义，则MyNamespace会被 ADL 加入查找范围。 - 模板中的非限定查找分两阶段：依赖于模板参数的名字（如函数调用中的实参类型影响 ADL）推迟到实例化时查找；不依赖的（如基类中的成员名）在定义时就查找（此时可能出错，也可能被后来声明遮蔽）。
限定查找（Qualified Lookup）
当标识符带作用域解析运算符 ::（如 N::foo、T::value、::global_var），编译器执行限定查找。它明确指定起点，路径固定，不依赖上下文作用域，也不触发 ADL。
-
起点由限定符左侧决定：若为命名空间名（
N::x），从该命名空间开始查；若为类/结构体名（MyClass::y），从该类的作用域查（含基类，按继承顺序）；若为全局作用域（::z），只查全局作用域，不进入任何命名空间。 -
类作用域查找包含继承链：查找
Derived::f时，先查Derived自身，再按继承顺序查直接基类、间接基类。虚继承不影响查找顺序，但会影响最终找到的唯一声明（C++ 标准要求无歧义）。 -
不进行重载解析，只找声明：限定查找的目标是“找到名字对应的声明”，而非“选出最佳重载”。例如
ns::func查到的是一个函数声明集合（可能多个重载），后续调用时才做重载决议。 -
依赖名称需用
typename或template消歧义：在模板中，若限定名出现在依赖上下文中（如T::type），编译器默认认为它不是类型，需写typename T::type；若调用依赖模板名（如T::template foo），需加() template关键字提示。
常见陷阱与关键区别
理解二者差异能避免很多编译错误和意外行为：
立即学习“C++免费学习笔记（深入）”；
-
func();和::func();看似一样，实则不同：前者走非限定查找（可能触发 ADL，可能被局部变量遮蔽），后者强制只查全局作用域（跳过所有局部和命名空间作用域）。 - 类内定义的友元函数：声明在类内，但不属于类作用域，非限定查找找不到它；必须靠 ADL（如果参数含该类类型）或显式限定（如
NS::friend_func）才能调用。 - using 声明引入的名字，在非限定查找中可见，但限定查找仍只认原始定义位置。例如
using NS::f;后可写f()，但不能写NS2::f()（除非NS2里真有f）。 - 模板参数推导失败常源于非限定查找没找到合适函数（尤其缺 ADL 支持），而限定查找却能成功——说明问题不在函数是否存在，而在查找路径是否被正确激活。
调试技巧：如何确认名字查到了哪里
遇到“未定义标识符”或“调用歧义”时，可借助工具和策略定位：
- 用 Clang 的
-Xclang -fdump-decls或 GCC 的-fdump-tree-original查看名字绑定结果（较底层，适合深入分析）。 - 在可疑作用域插入
static_assert+decltype测试：如static_assert(std::is_same_v可验证非限定查找是否绑定了预期函数类型。, ""); - 临时删减作用域内容：注释掉局部变量、using 声明或附近命名空间，观察错误是否消失，反向缩小遮蔽源。
- 对限定调用，用 IDE 的“转到定义”功能通常准确；对非限定调用，IDE 可能误判（尤其涉及 ADL），以编译器报错信息为准。
