当前位置: 代码迷 >> 综合 >> Argument Dependent Lookup (ADL, a.k.a. Koenig Lookup) 解析 (1)
  详细解决方案

Argument Dependent Lookup (ADL, a.k.a. Koenig Lookup) 解析 (1)

热度:92   发布时间:2023-12-16 19:42:09.0

Roger(roger2yi@gmail.com.cn)

ADL,参数相关查找,也称作为Koenig查找(以Andrew Koenig的名字命名,有兴趣可以看Scott Meyer的文章The Most Important C++ People...Ever),是指在编译器对无限定域的函数调用进行名字查找时,所应用的一种查找规则。

f(x, y, z);  //  unqualified
N::f(x, y, z);  //  qualified

 
上面的函数调用,第一个f就是无限定域的函数调用,第二个则限定了在名字空间N里面,也是说使用了完全限定名。
 
我们首先来看一个函数所在的域的分类:
 
1:类域(函数作为某个类的成员函数(静态或非静态))
2:名字空间域
3:全局域
 
而Koenig查找,它的规则就是当编译器对无限定域的函数调用进行名字查找时,除了当前名字空间域以外,也会把函数参数类型所处的名字空间加入查找的范围。
 
Herb提供的解释(Exceptional C++, Item 31)
 

Koenig Lookup(simplified): If you supply a function argument of class type (here x, of type A::X), then to look up the correct function name the compiler considers matching names in the namespace (here A) containing the argument's type.

 
请看下面的例程:
 
 
#include  < iostream >
using   namespace  std;
 
namespace  Koenig
  相关解决方案