#include <iostream>
int main() {
    std::cout << "Hello, World!" << std::endl;
    return 0;
}

#include <iostream>

namespace mylib {
    struct Point { int x, y; };
    
    std::ostream& operator<<(std::ostream& os, const Point& p) {
        return os << "(" << p.x << ", " << p.y << ")";
    }
}

int main() {
    mylib::Point p{1, 2};
    std::cout << p << std::endl; // 正确调用 mylib::operator<<
    return 0;
}

namespace math {
    struct Vec { int val; };
    
    void swap(Vec& a, Vec& b) {
        int tmp = a.val;
        a.val = b.val;
        b.val = tmp;
    }
}

int main() {
    math::Vec a{1}, b{2};
    swap(a, b); // ADL 找到 math::swap
    return 0;
}
</font>

尽管没有 using std::swap; 或 math::swap，但由于两个参数都是 math::Vec 类型，编译器会在 math 命名空间中查找 swap 并成功调用。

注意事项与陷阱

ADL 虽然方便，但也可能引发一些意料之外的行为：

• 如果多个命名空间中有同名函数，且实参来自多个命名空间，可能导致歧义调用
• 有时会意外调用到你不期望的函数，尤其是模板代码中
• ADL 不适用于类成员函数调用（如 obj.func()）
• 仅适用于非限定函数调用，如 f(x)；如果是 ns::f(x)，则不会触发 ADL

在泛型编程中，常利用 ADL 实现“自定义点”（customization point）。例如：

template <typename T>
void do_swap(T& a, T& b) {
    using std::swap;
    swap(a, b); // 可能调用 std::swap，也可能调用 T 所在命名空间的 swap
}

这种写法称为“using-declaration + unqualified call”，是标准推荐的做法：先引入 std::swap，然后调用未限定的 swap。这样既能使用用户提供的特化版本（通过 ADL 找到），也能退回到默认的 std::swap。

基本上就这些。ADL 是 C++ 中一个强大但容易被忽视的特性，理解它有助于读懂标准库代码，也能写出更灵活的泛型程序。不复杂但容易忽略。