Koenig查找(ADL)简析

发布时间:2008-7-14 9:47:44文章来源:佚名浏览次数:
选择您适合观看的字体大小:  
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()进行普通查找。
  打印新闻关闭窗口