ADL在满足全部四条件时才启动：未限定调用、常规查找失败、至少一个实参为类类型（非基础类型）、且编译器据此确定关联命名空间后，在其中查找匹配函数；std::cout << x能工作，正是因为cout是std::ostream类类型，触发ADL使编译器在std命名空间中找到operator<<重载。
ADL 什么时候真正开始工作
ADL 只在满足全部条件时才启动，缺一不可。它不是“默认开启”的查找通道，而是编译器在常规查找失败后、且参数类型“值得信赖”时才启用的备用路径。
触发 ADL 必须同时满足以下四点：
- 函数调用是未限定的（即写的是
func(x)，而不是ns::func(x)、this->func(x)或func<T>(x)） - 常规名称查找（unqualified lookup）在当前作用域及外层作用域中未找到可调用的函数声明（或只找到非函数/不匹配重载）
- 至少一个实参类型具有“非空关联集”——基础类型（如
int、double、char*）不会触发 ADL；只有类类型（含enum、class、struct、union、类模板特化）、指向类类型的指针/引用、函数类型含类类型成分等，才可能带出关联命名空间 - 该实参类型的定义所在命名空间（及其外层命名空间）、其基类所在命名空间、嵌套类所在的外围类等，会被加入“关联命名空间集合”，编译器仅在此集合中搜索函数
为什么 std::cout 能用，但 <code>endl(std::cout) 有时不行
关键区别在于：前者是运算符表达式，后者是显式函数调用，但二者是否触发 ADL 还取决于上下文和参数类型是否“带命名空间信息”。
std::cout 展开为对 <code>operator<< 的隐式调用，左操作数 std::cout 是 std::ostream 类型，定义在 std 命名空间，因此 ADL 自动将 std 加入查找集，顺利找到 std::operator<<(std::ostream&, const char*)。
立即学习“C++免费学习笔记（深入）”；
而 endl(std::cout) 看似类似，但它能成功，是因为 std::endl 是函数模板，其参数 std::cout 同样属于 std 命名空间，ADL 生效；但若你写成 (endl)(std::cout)，括号让 endl 成为纯标识符求值，不再构成函数调用表达式，ADL 不触发，此时若没 using std::endl 或未在作用域声明，就会报错 ‘endl’ was not declared in this scope。
常见错误现象：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
std::cout 编译失败：因为 <code>endl是对象（函数对象），不是函数调用，不触发 ADL；<<是运算符，左操作数驱动 ADL，但右操作数endl本身无类型关联-
swap(a, b);意外调用用户自定义版本：若a和b是MyLib::Widget类型，而MyLib中定义了swap(Widget&, Widget&)，ADL 会优先选它，而非std::swap
using std::swap; 和 ADL 是怎么配合的
这是泛型代码中避免 ADL 失控又保留定制能力的标准惯用法（称为 “two-phase swap”），核心是让 ADL 有“备选机会”，但不强制它赢。
写法通常是：
template<typename T>
void my_swap(T& a, T& b) {
using std::swap; // 引入 std::swap 到当前作用域
swap(a, b); // 此处调用：先普通查找（找到 std::swap），再 ADL（若 T 所在命名空间有 swap，则参与重载决议）
}
这样做的效果是：
- 若
T是内置类型或std类型，std::swap被普通查找直接命中，ADL 不参与（因已有可行候选） - 若
T是MyNS::X，且MyNS::swap(X&, X&)存在，则 ADL 将MyNS加入查找，两个候选（std::swap和MyNS::swap）一起参与重载决议，更特化的MyNS::swap通常胜出 - 若
MyNS没提供swap，则只有std::swap可用，不会编译失败
漏掉 using std::swap; 直接写 swap(a, b)，就完全依赖 ADL —— 若 T 所在命名空间没定义 swap，且全局/当前作用域也没声明，就会报 ‘swap’ was not declared in this scope。
容易被忽略的 ADL 边界情况
ADL 行为高度依赖类型结构，很多看似相似的写法，结果天差地别。最常踩坑的是“参数类型是否真能带出命名空间”。
例如：
-
std::vector<int> v;→swap(v, v)触发 ADL，因为std::vector定义在std，所以std::swap被找到（即使没using）；但std::vector<MyNS::X>不会让MyNS进入 ADL 关联集 —— 因为std::vector本身是std的，模板实参MyNS::X不影响容器类型的关联命名空间（除非你在调用时传的是MyNS::X实例本身） -
const MyClass& x = ...;→f(x)触发 ADL，因为引用类型仍保留原类型的关联集；MyClass*同理，指针类型会递归检查所指类型 -
enum class Color { Red };→f(Color::Red)触发 ADL，因为枚举定义在当前命名空间，该命名空间会被加入查找；但enum Color { Red };（无作用域枚举）行为相同，只是类型名不同
真正容易被忽略的点是：ADL 不看变量名、不看模板实参位置、不看函数返回类型，只看**每个实参表达式的类型定义源头**。哪怕类型经过多层 typedef 或 using 别名，最终查的仍是那个原始定义所在的命名空间。
