Argument-Dependent Lookup (aka ADL, or “Koenig Lookup”)

ADL是指在编译器对无限定域的函数调用进行名字查找时，所应用的一种查找规则

f(x, y, z); // unqualified无限定域

N::f(x, y, z); // qualified限定域N

You don’t have to qualify the namespace for functions if one or more argument types are defined in the namespace of the function. A simple code example:

namespace MyNamespace
{
    class MyClass {};
    void doSomething(MyClass) {};
}

MyNamespace::MyClass obj; // global object


int main()
{
    doSomething(obj); // Works Fine - MyNamespace::doSomething() is called.
}

上例，对doSomething函数的调用，并没有指定域MyNamespace。但却能正常工作。

ADL规则，将使得对doSomething函数的查找时，将参数obj的域包括在内。

优点：

方面程序编写：

std::cout << "Test" << endl;//全局域并没有operator<<，但是根据ADL，cout的域std将进入搜索域，then find std::operator<<(std::ostream&, const char*);

如果没有ADL，std::operator<<(std::operator<<(std::cout, "Hello World!"), "\n");

缺点：

考虑下面两种调用swap方式：

第一种：

std::swap(obj1, obj2);

第二种:

using namespace std::swap;

swap(obj1, obj2);

如果有一个namespace A，并且A::obj1、A::obj2和A::swap()同时存在，第二种方式将会调用A::swap()，这可能并不是你想要的。鉴于可能产生歧义，代码不要依赖这种特性