ADL 是隐式查找规则：当 func(obj) 中 func 不在当前作用域时，编译器自动在 obj 类型及其命名空间中查找；仅对非成员函数生效，且参数须为类/枚举类型或其引用/指针。
ADL 会悄悄帮你找到不在当前作用域的函数
ADL 不是显式调用机制，而是一种隐式查找规则：当你写 func(obj) 且 func 在当前作用域找不到时，编译器会自动去 obj 的类型（及其所在命名空间）里找同名函数。这解释了为什么没 using namespace std; 也能用 std::swap 写成 swap(a, b)——只要 a 或 b 是 std 里的类型（比如 std::vector），ADL 就会把 std::swap 拉进来。
常见错误现象：error: 'foo' was not declared in this scope，但你明明在 namespace N { void foo(MyType); } 里定义了——问题往往出在调用时传入的对象类型没和 foo 定义在同一个命名空间，或者类型是内置类型（int、double），ADL 根本不会查全局或自定义命名空间。
- 只对**非成员函数**生效；类内
member_func()不走 ADL - 参数必须是**类类型、枚举类型或其引用/指针**；纯内置类型（
int、char*）不触发 ADL 查找 - 多个参数时，ADL 合并所有参数类型的关联命名空间，再搜索函数；任一参数是
std::string，就会查std命名空间
operator> 依赖 ADL 才能正常工作
你写 std::cout 能成功，不是因为 my_obj 类型里定义了成员函数，而是因为你写了 namespace N { std::ostream& operator，然后传入 my_obj 触发 ADL，编译器才找到它。如果把该操作符定义在全局命名空间且没加 using，而 MyType 又在 namespace N 里，那它就找不到。
使用场景：重载流操作符、比较操作符（==、）、自定义字面量操作符等——这些几乎都靠 ADL 实现“自然调用”。否则就得写成 N::operator，没人这么干。
立即学习“C++免费学习笔记（深入）”；
- 务必让操作符函数和类定义在**同一命名空间**，否则 ADL 失效
- 不要在
std命名空间里加自定义重载（违反标准，未定义行为） - 如果类有多个嵌套层级（如
N::detail::MyType），ADL 只查N和N::detail，不查外层无关命名空间
ADL 导致的二义性：两个命名空间都有同名函数
当两个不同命名空间都为同一组参数提供了 func，而 ADL 把它们全拉进来，又没有一个明显更优的重载时，编译器直接报错：error: call to 'func' is ambiguous。典型例子是同时引入 boost::rational 和自定义 MyRational，两者都定义了 operator+，且参数类型相似。
性能影响不大，但编译期开销增加：ADL 需要收集所有关联命名空间、展开所有候选函数、做重载决议——类型越复杂、命名空间嵌套越深，SFINAE 失败路径越多，编译越慢。
- 避免在多个命名空间里为同一组类型提供功能重复的自由函数
- 用
static_cast或作用域解析（::func/N::func）强制指定，绕过 ADL - 函数模板特化不算新函数，不会新增 ADL 候选；但全特化版本如果定义在不同命名空间，可能引发歧义
如何禁用或规避 ADL
有时你就是不想让 ADL 插手，比如想确保调用的是某个特定版本的 swap，而不是被 std::swap 或第三方库的 swap 干扰。最直接办法是加括号限制作用域：(swap)(a, b) ——加了括号后，swap 不再是“未限定名”，ADL 就不启动。
另一个常见做法是用作用域解析：std::swap(a, b) 显式调用，完全跳过 ADL；或者把函数放在匿名命名空间里，让它对 ADL “不可见”。
-
(func)(args...)是最轻量、最通用的禁用方式，不影响重载决议逻辑 - 用
using std::swap; swap(a, b);是标准推荐的“启用 ADL + 保底 fallback”写法，但前提是swap确实是你期望的语义 - 宏定义或模板别名（如
template）内部仍会触发 ADL，除非也加括号void my_swap(T& a, T& b) { swap(a, b); }
ADL 的边界很细：它只看参数类型声明的位置，不看定义位置；只看类/枚举本身，不看其基类或成员类型。这点容易被忽略，导致你以为它该找到某个函数，结果什么也没发生。
