ADL(参数依赖查找/Koenig查找)详解与陷阱
请解释C++中ADL（Argument-Dependent Lookup，也称Koenig查找）的查找规则，ADL在操作符重载中的关键作用，以及隐藏陷阱（如命名冲突、意外匹配），并提供规避方式。
回答
我还是少年
ADL规则：当调用函数时（非限定名称），编译器除了在通常作用域查找外，还会在参数类型的关联命名空间中查找。
关联命名空间：
- 参数的类类型及其外围namespace。
- 参数模板参数的namespace。
- 参数的基类及其namespace。
关键作用——操作符重载：
namespace N {
struct A {};
A operator+(const A&, const A&);
}
N::A a1, a2;
a1 + a2; // ADL找到N::operator+，无需N::前缀
没有ADL，自定义类型的operator<<将无法正常工作：
std::cout << myObj; // ADL找到operator<<(std::ostream&, MyType)
陷阱：
- 意外匹配：
std::swap和自定义swap的冲突（经典STL swap惯用法用using std::swap; swap(a, b);）。 - 全局函数拦截：若在某namespace中定义了同名的通用函数，可能意外被ADL找到。
- 迭代器/算法：
begin(v)依赖ADL找到std::begin（通过）。 - 好友函数：inline好友函数只能通过ADL找到。
规避方式：
- 用限定名称调用（
std::swap(a, b)）。 - 使用
(f)(args)括号抑制ADL。 - 在调用点用
using声明。