ADL 是根据实参类型定义所在命名空间查找函数，而非类型名中出现的命名空间；仅未限定调用且含用户定义类型实参时触发，查找范围限于该类型定义的命名空间及其外围命名空间。
ADL 是什么：它不是“根据参数命名空间查找”，而是“根据实参类型定义所在命名空间查找”
很多人误以为 ADL 会看 std::string 这个类型名里带 std:: 就去查 std 命名空间——其实不是。ADL 查找的是该类型**定义所在的命名空间**，不是“出现在哪个命名空间”。比如你写 MyNamespace::MyClass 类型的变量，哪怕你用 using namespace MyNamespace; 引入了，ADL 也只查 MyNamespace，不查全局或当前作用域。
触发 ADL 的条件：必须是“未限定函数调用”且至少一个实参是类类型（含枚举、指针/引用到类类型）
只有像 swap(a, b) 这种不带作用域前缀的调用才触发 ADL；std::swap(a, b) 或 ::swap(a, b) 完全绕过 ADL。而且必须有至少一个实参类型是用户定义类型（UDT），基础类型如 int、double 不触发 ADL。
-
std::vector→ 触发 ADL，因为v1, v2; swap(v1, v2); v1类型是std::vector，其定义在std命名空间 -
int x = 1, y = 2; swap(x, y);→ 不触发 ADL（C++20 起标准库甚至可能不提供基础类型的swap重载） -
MyClass a, b; swap(a, b);→ 若MyClass在NS中定义，则 ADL 查NS和NS的外围命名空间（不含std）
ADL 查找范围：实参类型的定义命名空间 + 其所有外围命名空间（不含 std，除非类型本身定义在 std）
ADL 不会盲目搜索所有命名空间。它只收集每个实参类型的“关联命名空间”集合：
- 若类型是
NS::X，则加入NS - 若类型是
NS::Inner::Y，则加入NS::Inner和NS（但不包括全局命名空间，除非NS是 inline 命名空间或嵌套链顶端为全局） - 若类型是内置类型（如
int*），其关联命名空间为空 —— 所以swap(p, q)（p,q是int*）不触发 ADL -
std::string是在std中定义的，所以 ADL 会查std；但你自己写的MyString在util中定义，ADL 只查util，不会自动拉进std
常见陷阱：ADL 和 using-declaration 混用导致意外匹配
最典型的问题是：你在自己的命名空间里写了 swap，又用了 using std::swap;，然后调用 swap(a, b) —— 此时 ADL 可能同时找到你写的和 std::swap，引发重载歧义。
立即学习“C++免费学习笔记（深入）”；
namespace util {
struct Widget { /* ... */ };
void swap(Widget& a, Widget& b) { /* ... */ }
}
void test() {
util::Widget w1, w2;
using std::swap; // ← 这行让 std::swap 进入当前作用域
swap(w1, w2); // ← 错误：ADL 找到 util::swap，普通查找找到 std::swap，二义性！
}
正确写法是去掉 using std::swap;，直接依赖 ADL；或者显式调用 std::swap(w1, w2) 或 util::swap(w1, w2)。另一个坑是模板函数未声明在关联命名空间内——比如把 operator 写在全局而非 std，对 std::string 就不会被 ADL 找到。
ADL 的边界比直觉窄：它不看变量名、不看 using、不看 typedef 别名的目标命名空间，只看类型定义位置。写泛型代码（比如容器的 swap、流操作符）时，必须把配套函数放在和类型同一命名空间下，否则用户调用会静默失败或退化到低效版本。
