二級(jí)考試C++輔導(dǎo):Koenig查找（ADL）簡(jiǎn)析

ADL，參數(shù)相關(guān)查找，也稱(chēng)作為Koenig查找（以Andrew Koenig的名字命名），是指在編譯器對(duì)無(wú)限定域的函數(shù)調(diào)用進(jìn)行名字查找時(shí)，所應(yīng)用的一種查找規(guī)則。
    f(x, y, z); // unqualified
    N::f(x, y, z); // qualified
    上面的函數(shù)調(diào)用，第一個(gè)f就是無(wú)限定域的函數(shù)調(diào)用，第二個(gè)則限定了在名字空間N里面，也是說(shuō)使用了完全限定名。
    我們首先來(lái)看一個(gè)函數(shù)所在的域的分類(lèi)：
    1：類(lèi)域（函數(shù)作為某個(gè)類(lèi)的成員函數(shù)（靜態(tài)或非靜態(tài)））
    2：名字空間域
    3：全局域
    而Koenig查找，它的規(guī)則就是當(dāng)編譯器對(duì)無(wú)限定域的函數(shù)調(diào)用進(jìn)行名字查找時(shí)，除了當(dāng)前名字空間域以外，
    也會(huì)把函數(shù)參數(shù)類(lèi)型所處的名字空間加入查找的范圍。
    請(qǐng)看下面完整的例程：
    // details /ad1.cpp
    // cfree 3.5 下編譯運(yùn)行通過(guò)
    #include
    namespace X{
    template 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); // 受限函數(shù)，不使用ADL
    f(N::e1); // 普通查找到f();ADL將找到 N::f();,將會(huì)調(diào)用后者
    }
    注意這里的f()不是成員函數(shù)，可以通過(guò)下例區(qū)別
    // details /ad2.cpp
    #include 　　
    namespace X{
    template 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); // 受限函數(shù)，不使用ADL
    f(N::e1); // 普通查找到f();
    }
    你看區(qū)別出來(lái)了吧，這里兩個(gè)f()進(jìn)行普通查找。