ADL，参数相关查找，也称作为Koenig查找（以Andrew Koenig的名字命名），
是指在编译器对无限定域的函数调用进行名字查找时，所应用的一种查找规则。
f(x, y, z); // unqualified
N::f(x, y, z); // qualified
上面的函数调用，第一个f就是无限定域的函数调用，第二个则限定了在名字空间N里面，也是说使用了完全限定名。
我们首先来看一个函数所在的域的分类：
1：类域（函数作为某个类的成员函数（静态或非静态））
2：名字空间域
3：全局域
而Koenig查找，它的规则就是当编译器对无限定域的函数调用进行名字查找时，除了当前名字空间域以外，
也会把函数参数类型所处的名字空间加入查找的范围。
请看下面完整的例程：
// details /ad1.cpp
// cfree 3.5 下编译运行通过
#include <iostream>
namespace X{
template <typename T> void f(T);
}
namespace N{
using namespace X;
enum E {e1};
void f(E){
std::cout << "N::f(N::E) called/n";
}
}
void f(int){
std::cout << " ::f(int) called/n";
}
//using namespace N;
int main()
{
::f(N::e1); // 受限函数，不使用ADL
f(N::e1); // 普通查找到f();ADL将找到 N::f();,将会调用后者
}
注意这里的f()不是成员函数，可以通过下例区别
// details /ad2.cpp
#include <iostream>
namespace X{
template <typename T> void f(T);
}
class N {
public :
enum E {e1};
void f(E){
std::cout << "N::f(N::E) called/n";
}
};
//using :: N;
void f(int){
std::cout << " ::f(int) called/n";
}
int main()
{
::f(N::e1); // 受限函数，不使用ADL
f(N::e1); // 普通查找到f();
}
你看区别出来了吧，这里两个f()进行普通查找。
|
