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

最新推荐文章于 2019-08-15 00:48:22 发布

原创

最新推荐文章于 2019-08-15 00:48:22 发布 · 3.1k 阅读

3 ·

CC 4.0 BY-SA版权

文章标签：

#编译器 #c++ #interface #iostream #class #compiler

本文介绍了C++中的Argument Dependent Lookup（ADL，又称Koenig查找），这是一种编译器在查找无作用域的函数调用时的规则。ADL使得在main函数中使用cout<<karg这样的表达式时，编译器能够正确找到参数类型KoenigArg所在的名字空间Koenig中的operator<<函数。如果没有ADL，我们需要使用完全限定名来调用，这将变得不直观且不方便。文章强调了ADL在模板编程中的重要性，因为它允许在模板参数未实例化时，仍能正确查找相关操作。

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