编程论坛 » C++论坛 » C++教室 » Koenig查找（ADL）简析

vfdff 发表于 2008-5-17 19:50

Koenig查找（ADL）简析

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()进行普通查找。

中学者 发表于 2008-5-17 21:15

实参相依查找,,不怎么用,而且VC6.0不支持.....
PS: 虽然偶也用DevC++,但是多数用VC6.0

vfdff 发表于 2008-5-26 12:25

回复 2# 中学者 的帖子

上面的 Koenig查找 在 VC 6.0 下是支持的压

中学者 发表于 2008-5-26 21:32

回LS。。。我试过，确实没支持....

sunkaidong 发表于 2008-5-26 22:07

using namespace N;
这个要放在上面不能注释掉。。。放上面是对的。。不过可能就不是你说的那样了

vfdff 发表于 2008-5-27 00:30

回复 5# sunkaidong 的帖子

对于这个问题，我一直也比较困混，本来也觉得像你说的，应该放上去的
但是我反复试过与没有这个using namespace结果一样，用的是VC 6.0

lkz277630964 发表于 2008-5-27 02:26

DE V 试了,和版主的一样,谢谢
了解了!

vfdff 发表于 2008-6-9 00:41

给大家看证据，怎么会不支持呢？？

mqh21364 发表于 2008-6-28 19:12

头一次听说，顶了！

查看完整版本: Koenig查找（ADL）简析