Argument Dependent Lookup(ADL)是C++中一个有用的特性。它允许在函数上下文中查找类型相关的函数或操作符。当出现名称空间限定符时,ADL可以在定义该名称空间的任何命名空间的上下文中查找符号。当使用ADL时,C++编译器将在以下位置查找函数或操作符函数的定义:
以下示例显示了ADL的用法:
#include
namespace A {
struct X {};
void f(X) { std::cout << "A::f(A::X)" << std::endl; }
}
namespace B {
void f(A::X) { std::cout << "B::f(A::X)" << std::endl; }
}
int main() {
A::X x;
f(x);
}
在上面的示例中,f函数被调用,并将A::X类型的对象作为参数传递。由于调用f之前的代码中存在A名称空间,因此C++编译器会调用在A中找到的最符合条件的f函数在此示例中的输出为“A::f(A::X)”。