ADL仅查找实参类型定义所在的命名空间，如std::vector实参触发ADL时只查std，MyType在ns1中定义则只查ns1，与函数调用位置无关。
ADL 查找函数时会搜哪些命名空间
ADL 不会全局扫所有命名空间，只看函数调用中**实参类型定义所在的命名空间**。比如 std::vector<int></int> 的实参触发 ADL，编译器只查 std；而你自定义的 MyType 在 ns1 里定义，就只查 ns1，哪怕调用写在 ns2 里也一样。
常见错误现象：operator 对自定义类型不生效，明明写了 <code>friend std::ostream& operator，但放在类定义内部——这时函数实际在全局作用域（或类所在命名空间），而 <code>MyType 在 ns1，ADL 就找不到它。
- 必须把自由函数（非成员）定义在
MyType所在的同一个命名空间下 - 如果
MyType是模板别名或 typedef，ADL 看的是它展开后的原始类型所在命名空间 - 内置类型（如
int、double）不触发任何命名空间查找，ADL 仅对用户定义类型起效
为什么 std::swap(x, y) 要写成 using std::swap; swap(x, y);
这是 ADL 最典型也最容易翻车的用法。直接写 std::swap(x, y) 强制限定，就绕过了 ADL，没法调用用户为 x、y 类型特化的 swap；但只写 swap(x, y) 又可能根本找不到函数（未引入声明）。
所以标准做法是先 using std::swap; 把 std::swap 带进当前作用域，再无限定调用。这样编译器会：先查普通作用域（有 std::swap），再查 x 和 y 类型的关联命名空间（找到用户特化版），按重载规则选最优。
立即学习“C++免费学习笔记（深入）”；
- 如果用户没提供特化，
std::swap是兜底选项 - 如果两个实参类型不同（比如
swap(a, b)中a属于ns1、b属于ns2），ADL 同时搜索ns1和ns2，但不会合并找“公共”函数 - 函数模板实例化不算“定义”，ADL 不关心模板在哪实例化，只看实参类型的定义位置
ADL 与 using-declaration 混用时的坑
using 声明（如 using ns::func;）只是把名字注入当前作用域，不影响 ADL 查找路径。但它可能干扰重载解析结果——比如你在全局写了 using ns1::foo;，又在 ns2 定义了另一个 foo，而实参类型在 ns2，ADL 会找到 ns2::foo，但普通查找也可能看到 ns1::foo，最终选哪个取决于参数匹配度，不是谁“更近”。
容易踩的坑：using namespace std; + ADL 组合，会让 std 进入普通查找，和 ADL 查到的函数一起参与重载，有时导致意外的二义性或调用错版本。
- 不要在头文件里写
using namespace std;，尤其涉及模板或 ADL 使用的接口 -
using声明本身不扩展 ADL 的搜索范围，它只是让名字可见 - 类内友元声明（
friend void f(MyType);）若未在类外定义，则该函数只在类所在命名空间中可见，且仅能被 ADL 找到——不能靠普通查找
怎么判断某个调用是否走了 ADL
最直接的办法：删掉所有可能被 ADL 找到的候选函数，看是否报错 no matching function for call to 'xxx'；或者把函数移到无关命名空间，看调用是否失效。Clang 提供 -Xclang -ast-dump 可查看重载解析过程，但太重；更轻量的是加个编译期断言：
template<typename T>
void test_adl() {
static_assert(noexcept(swap(std::declval<T>(), std::declval<T>())),
"swap not found via ADL");
}
注意：ADL 在模板实例化时才发生，不是在模板定义时。所以 template<typename T> void f() { swap(T{}, T{}); } 中，swap 的查找延迟到 f<MyType>() 实例化那一刻。
- 函数调用必须是“未限定”的（即不带作用域前缀，如
ns::func或::func）才会触发 ADL - 成员函数调用（
x.func()）不走 ADL，只有自由函数调用（func(x)、func(x, y)）才走 - ADL 不查找类内部的成员函数，哪怕名字匹配也不考虑
ADL 的边界其实很窄：它只依赖实参类型的定义位置，不看变量声明位置、不看调用位置、不看模板参数推导路径。一旦实参类型嵌套多层（比如 std::unique_ptr<MyType>），ADL 只认最内层的 MyType 所在命名空间，外层容器类型（std::unique_ptr）带来的 std 不会额外加入搜索。
