二級考試C++輔導:Koenig查找（ADL）簡析

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