zhgw01

如果給定一個函數名，那么c++編譯器如何去查找這個函數呢？
1.普通的名字查找 
   對變量的調用，一般是按scope的大小來的

#include<iostream>
#include<string>
using namespace std;

namespace NS
{
        string x="namespace NS";
}

string x="global scope";

class A
{
        string x;
public:
        A():x("class scope"){};

        void f(){
                string x="local scope";
                cout<<x<<endl;
        }
        void g(){
                cout<<x<<endl;
 }
};

class B
{
        public:
                void f()
                {
                        cout<<x<<endl;
                }
                void g()
                {
                        cout<<NS::x<<endl;
                }
};

int main()
{
        A a;
        B b;
        a.f();a.g();
        b.f();b.g();
}

• 首先調用local scope的
• 接著調用class scope的
• 最后才調用global scope的
• 如果直接有用限定符，則調用限定符的，無論是namespace 限定符還是class限定符

函數名字的查找，除了local scope的，基本同上，有一點例外的是，則在下面ADL中說明

2.關聯名字查找 (Argument Dependent Lookup)
在說明前要明確2個概念

• 關聯(dependent name)：不能解析的名字就叫關聯名，這個一般同模版有關，比如template<class T> A{T t;}; 中，t就是關聯名，它在模版編譯的第一階段是無法解析的，只有到第二階段，用實際參數來實例化的時候才知道 
• 限定名(qualified name): 指變量名或函數名前有類名前綴，或者被對象，指針修飾： Class::f() //類名前綴  x.f() //對象修飾 p->f() //指針修飾

而ADL要解決的問題是對非限定名的查找問題（限定名可以根據相應的限定來查找）： 當出現了對某個非限定函數的調用，而該非限定函數卻沒有在一個（標準）作用域內進行聲明時（簡單的講，該函數只聲明在某個namespace，而你又沒有引入這個namespace)，編譯器就會尋找它的每一個參數的名字空間來進行匹配。ADL是為了簡化函數調用，不過事實上它有點破壞了namespace的封裝。
比如以下函數調用
   std::string s("hello");
   std::cout<<s<<std::endl;
程序中沒有指定使用哪一個operator<<函數，程序員當然不想輸入
  std::operator<<(std::operator(std::cout,s),std::endl);
這時，ADL根據s查找s的namespace,并查找相應的operator<<