C++名称查找严格分阶段：先非限定查找（按作用域层级搜索，不依赖参数类型），找到至少一个声明后才触发ADL（根据实参类型添加关联命名空间中的同名函数参与重载解析）；未找到则ADL不启动。
名称查找在 C++ 中不是“先找变量再找函数”这种直觉逻辑，而是严格按作用域层级和规则分阶段进行的。ADL（Argument-Dependent Lookup）和非限定查找（unqualified lookup）是两个独立但常被混用的阶段，它们触发条件、搜索范围、优先级都不同——搞错顺序或范围，就会遇到 error: 'xxx' was not declared in this scope 或意外调用到错误重载。
非限定查找（unqualified lookup）只看作用域嵌套，不看参数类型
当你写 f(a) 且没加作用域限定（比如没写 ns::f(a) 或 this->f(a)），编译器第一步就是做 unqualified lookup：从最内层作用域开始，逐层向外查找 f 的声明，直到找到至少一个声明为止。它完全不关心 a 是什么类型，也不去翻 a 的定义命名空间。
- 查找范围仅限于：局部作用域 → 函数外层块 → 类作用域（如果是成员函数）→ 命名空间作用域（包括内联命名空间）→ 全局作用域
- 一旦在某一层找到至少一个
f（哪怕参数不匹配），查找就停止，不再继续往外找；后续只在已找到的声明集中做重载解析（overload resolution） - 如果该作用域中只有
void f(int)，而你传了std::string，编译器不会去外面找void f(const std::string&)—— 它连看都不会看，因为 unqualified lookup 已经“成功结束”并锁定了那个int版本
ADL 只在 unqualified lookup 找到“至少一个声明”后才启动
ADL 不是独立查找，而是重载解析的补充机制：它只在 unqualified lookup 已经找到一组候选函数（哪怕只有一个）的前提下，额外把与实参类型相关的命名空间里所有同名函数也拉进来参与重载解析。它不改变查找起点，也不替代 unqualified lookup。
- 实参类型决定“关联命名空间”：比如
a是mylib::X类型，则mylib是关联命名空间；若a是内置类型（int、double），则无关联命名空间，ADL 不触发 - ADL 拉入的是“所有同名函数”，不管是否在当前作用域可见 —— 即使那个
f在mylib里是static或在匿名命名空间里，也不会被 ADL 找到（C++ 标准明确排除） - 注意：类模板实参也算。例如
std::vector<mylib::X>的关联命名空间包含std和mylib；但std::vector<int>只有std
常见踩坑点：ADL 不会救你于“未声明”之困
很多人以为“只要参数类型在某个 namespace 里，就能靠 ADL 找到函数”，这是典型误解。ADL 前提是 unqualified lookup 已经“开局成功”。如果连一个 f 都没找到，ADL 根本不运行。
立即学习“C++免费学习笔记（深入）”；
- 错误写法：
namespace mylib { struct X {}; void f(const X&) {} } int main() { mylib::X x; f(x); // ❌ error: 'f' was not declared in this scope }原因：main里没有f的声明，unqualified lookup 失败，ADL 被跳过 - 正确写法之一（显式引入）：
using mylib::f; // 让 unqualified lookup 在 global 找到 f f(x); // ✅ OK
- 正确写法之二（让函数在关联命名空间且可被 unqualified lookup 触达）：
namespace mylib { struct X {}; void f(const X&) {} } // 必须让 f 在某个 unqualified lookup 路径上可见 // 例如：在 global 做 using 声明，或把 f 定义在 global 并用 friend 声明（少见）
模板函数 + ADL：friend 声明是常见绕过手段
当你要为自定义类型提供 operator 这类必须支持 ADL 的操作符时，常借助 <code>friend 在类定义内“注入”函数声明，使其既在类作用域（供 unqualified lookup 初步捕获），又在类所在命名空间（供 ADL 补充）。
namespace mylib {
struct X {
friend std::ostream& operator<<(std::ostream& os, const X&) {
return os << "X";
}
};
}
int main() {
mylib::X x;
std::cout << x; // ✅ OK：unqualified lookup 在 X 作用域找到 friend 函数；
// ADL 再确认 mylib 是关联命名空间，加入候选集
}
这里的关键是：friend 函数虽然定义在类内，但它属于外围命名空间（mylib），且其声明对 unqualified lookup 可见 —— 这种“双重身份”是 ADL 正常工作的基础。漏掉 friend 或把它写成普通成员函数，ADL 就失效。
