[C++再学习系列] ADL(Koenig)查找

ADL(Koenig) 查找

ADL ，参数相关查找，也称作为 Koenig 查找（以 Andrew Koenig 的名字命名），是指在编译器对无限定域的函数调用进行名字查找时，所应用的一种查找规则。

首先来看一个函数所在的域的分类：

1 ：类域（函数作为某个类的成员函数（静态或非静态））

2 ：名字空间域

3 ：全局域

而 Koenig 查找，它的规则就是当编译器对无限定域的函数调用进行名字查找时，除了当前名字空间域以外，也会把函数参数类型所处的名字空间 加入查找的范围。

ADL 就是为了确保使用类型 X 的对象 x 时能够像使用 X 的成员函数一样简单 (ensure that code that uses an object x of type X can use its nonmember function interface as easily as it can use member functions) 。

根据 ADL 规则，如果非成员函数想和类型一起被使用，应该将它们置于同一个名字空间中。换句话说，和类型 X 放在同一名字空间下的非成员函数，也是 X 接口的一部分。 ( 常见的有 <<or>> 操作符 )

示例：

#include <iostream>

//class N     // 类域

//{

//public :

//     enum E {e1};

//     void f(E)

//     {

//            std::cout << "N::f(N::E) called/n";

//     }

//};

namespace N{   // 名字空间域

       enum E {e1};

       void f(E){

              std::cout << "N::f(N::E) called/n";

       }

}

void f(int)

{

       std::cout << " ::f(int) called/n";

}

 

int main()

{

       ::f(N::e1);     // 受限函数，禁用 ADL  // 输出 ::f(int) called

       f(N::e1);      // 普通查找到 f();

       return 0;

}

 

上述例子，如果 N 为 class ，输出为： ::f(int) called ；如果 N 为名字空间，输出： N::f(N::E) called 。

也就是说 ADL 仅会将参数所在的名字空间中的函数名字加入查找范围。

调用函数时，显式地限定名字空间将禁用 ADL 查找 ，加快解析过程。