C++ 中的類型查找過(guò)程相對(duì)簡(jiǎn)單，基本上就是名字查找，這里不再介紹。

對(duì)于  .cpp  文件中調(diào)用的一個(gè)函數(shù)  (  成員函數(shù)  ),  編譯器主要做了下面三件事情  :

1  名字查找  .  先在所在編譯單元中可見名字實(shí)體 中進(jìn)行名字查找  . (1)  類成員函數(shù)優(yōu)先  (  對(duì)象所在的類  ->  基類  ).  一經(jīng)找到就停止查找  . 如果沒有  ,(2)  在相應(yīng)的名字空間中做進(jìn)一步的搜索  ;  如果還沒有  ,  會(huì)根據(jù)  (3)  函數(shù)參數(shù)所在的名字空間中查找  (keoning  查找  ).

2  重載決議  .  根據(jù)所找到的名字進(jìn)行重載決議  ,  根據(jù)參數(shù)最匹配原則選擇相應(yīng)的函數(shù)  .

3  可訪問(wèn)性檢查  .  用以確定被選中的函數(shù)是否可以被調(diào)用  .

說(shuō)明  :

1)  根據(jù)第一條  ,  顯然  ,  如果類型想和非成員函數(shù)一起工作  ,  那么它們應(yīng)該放在同一個(gè)名字空間中  .  比如  ,  一般類型的重載運(yùn)算符和參數(shù)類型放在同一個(gè)頭文件中  /  或者同一個(gè)名字空間下  .

2)  函數(shù)特化模板不參與重載決議  ,  因此  ,  如果想運(yùn)用某個(gè)函數(shù)的特化  ,  最好的方法是重載該函數(shù)  ,  在實(shí)現(xiàn)中采用該特化來(lái)工作  .

3)  重載決議發(fā)生的可訪問(wèn)性檢查之前  .  正因如此  ,  如果私有函數(shù)不幸參與了重載  ,  并且被選中的話  ,  最終也會(huì)出現(xiàn)無(wú)法訪問(wèn)的編譯提示  .  這常常隱含二義性  ,  這樣設(shè)計(jì)也不合理  .  換句話說(shuō)  ,  私有參數(shù)  ,  在名字查找和重載時(shí)并非是  ”  私有的  ”.

以  c.Twice  （  21  ）的函數(shù)調(diào)用為例：

a)  名字查找：編譯器會(huì)首先尋找一個(gè)至少包含一個(gè)名字為  Twice  的實(shí)體作用域（類，文件，或者名字空間），并將其中的候選實(shí)體列表。例子中，編譯器首先從對(duì)象  c  所在的類實(shí)體中進(jìn)行查找，找到就停止；如果沒找到就會(huì)依次在其基類和外圍的名字空間   中查找 ，直到找到一個(gè)至少含有一個(gè)候選函數(shù)的作用域。兩點(diǎn)需要注意：  1)  只要找到一個(gè)實(shí)體就停止查找   ，所以并非所有的同名函數(shù)都會(huì)被考慮；  2)  參數(shù)所在名字空間也屬于查找范圍 (keoning  準(zhǔn)則  )  。

b)  重載決議：從所找到的候選重載函數(shù)列表中選出唯一最佳匹配   。如不唯一，就存在二義性。注意：  1)  這是基于名字查找結(jié)果的；  2)  特化的模板函數(shù)不參與重載。

c)  可訪問(wèn)性檢查：確定所選出的函數(shù)是否可訪問(wèn)。這是最后一步，晚于重載決議。

本文來(lái)自CSDN博客，轉(zhuǎn)載請(qǐng)標(biāo)明出處：http://blog.csdn.net/zhenjing/archive/2009/06/25/4299002.aspx