ADL（参数依赖查找）是C++中在调用未限定函数时，依据实参类型自动搜索其关联命名空间的机制；只要至少一个实参为非内置类型（如类、枚举、模板特化），且定义于某命名空间，即触发ADL，并将各实参的关联命名空间取并集进行查找。
ADL（Argument-Dependent Lookup，参数依赖查找）是 C++ 中一种特殊的名称查找机制，它让编译器在调用未限定的函数（比如 f(a)）时，除了常规作用域外，还能自动搜索与实参类型相关的命名空间——这正是 std::swap、std::begin 等能被“自然调用”的底层原因。
哪些实参会触发 ADL
只要函数调用中的**至少一个实参类型是非内置类型**（即类类型、枚举类型、类模板特化、带 cv 限定的上述类型），且该类型定义在某个命名空间中（或为类成员），ADL 就会被启用。内置类型如 int、double 单独出现不会触发 ADL；但若和自定义类型混用（如 f(x, 42)，其中 x 是 MyClass），ADL 仍会启动。
- 类类型：如
MyVector（定义在namespace N { struct MyVector {}; }）→ 搜索N - 枚举类型：如
enum class Color { Red };（定义在NS）→ 搜索NS - 类模板特化：如
std::vector<int></int>→ 搜索std（因为vector定义在std） - 指针/引用/数组/函数类型：不直接贡献关联命名空间，但其所指/所含的类型会（例如
MyClass*的关联命名空间 =MyClass的关联命名空间）
关联命名空间（Associated namespaces）怎么确定
对每个实参类型，编译器按规则收集一组“关联命名空间”，后续就在这些命名空间中查找匹配的非成员函数。规则分三类：
-
类类型：其自身所在命名空间，以及所有外围命名空间（包括内联命名空间）。例如：
namespace A { inline namespace B { struct X {}; } }→ 关联命名空间为A和A::B - 枚举类型：其定义所在的命名空间（注意：C++11 起枚举也参与 ADL）
-
模板特化：模板定义所在命名空间（不是实参类型的命名空间）。例如
std::pair<int double></int>→ 查找std，因为template<class t class u> struct pair</class>在std中定义
多个实参的关联命名空间取并集。例如 f(a, b)，若 a 类型关联 NS1，b 类型关联 NS2，则同时搜索 NS1 和 NS2。
立即学习“C++免费学习笔记（深入）”；
ADL 查找时机与优先级
ADL 不是独立阶段，而是嵌入在常规的 unqualified name lookup（非限定名查找）中：当编译器在当前作用域、外层作用域、类作用域等都找不到函数声明后，才启动 ADL，在关联命名空间中继续查找。
- ADL 找到的函数与普通查找结果**合并参与重载决议**，不区分来源
- 如果 ADL 和普通查找都找到同名函数，它们一起参与重载解析；不存在“ADL 函数优先”或“屏蔽普通函数”的规则
- ADL 不查找类内部的成员函数（构造函数、普通成员函数），只查命名空间作用域的非成员函数
- ADL 不查找 using 声明引入的名称（除非该 using 本身位于关联命名空间中）
典型应用与易错点
ADL 是实现“可定制点（customization points）”的关键机制，最常见于：
-
交换惯用法：写
using std::swap; swap(a, b);—— 若a、b是用户类型，ADL 可找到用户在自己命名空间中定义的swap，比std::swap更匹配 -
容器适配：C++11 后
begin(c)、end(c)优先调用用户为自定义容器提供的非成员begin/end，而非依赖c.begin() -
操作符重载：
a + b中若operator+是非成员函数，且a或b是自定义类型，则靠 ADL 找到它
常见陷阱：
- 忘记在自定义类型所在命名空间中定义函数（如把
swap(MyType&, MyType&)放在全局或std中，ADL 找不到） - 误以为 ADL 会跨继承关系查找（不会；基类所在命名空间不自动成为派生类的关联命名空间）
- 函数模板参数推导失败导致 ADL 不生效（ADL 发生在名字查找阶段，不依赖模板推导；但如果函数模板无法实例化，最终重载失败）
不复杂但容易忽略。
