| 网站首页 | 技术文章 | 下载频道 | 博客 | 编程论坛 |
 
| 技术教程首页 | 开发语言 | WEB开发 | .NET技术 | 数据库 | 操作系统 | 网页制作 |
 
 
您现在的位置: 编程中国 >> 技术教程 >> 开发语言 >> C++ >> C++技术资料 >> 正文
  ►  Koenig查找(ADL)简析
Koenig查找(ADL)简析
作者:vfdff    阅读人次:……    文章来源:本站原创    发布时间:2008/5/17    网友评论()条
 
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()进行普通查找。

 

 
文章录入:静夜思    责任编辑:静夜思 
  • 上一篇文章:

  • 下一篇文章:

  •  
    相关文章
    没有相关文章
    原创地带
    24小时热门帖子