C++中的類型查找過程相對(duì)簡單，基本上就是名字查找，這里不再介紹。對(duì)于 .cpp 文件中調(diào)用的一個(gè)函數(shù) （ 或成員函數(shù) ）， 編譯器主要做了下面三件事情 ：

1 、名字查找 。

先在所在編譯單元中可見名字實(shí)體中進(jìn)行名字查找 。

（1） 類成員函數(shù)優(yōu)先 （ 對(duì)象所在的類 -》 基類 ）。 一經(jīng)找到就停止查找 。

（2 ）如果沒有 ，在相應(yīng)的名字空間中做進(jìn)一步的搜索 ; （3） 如果還沒有 ， 會(huì)根據(jù)函數(shù)參數(shù)所在的名字空間中查找 （keoning 查找 ）。

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

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

說明 ：

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

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

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

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

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

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

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

文章中的規(guī)則非常重要，理解后，很多C++的編譯問題就自然解決了。后面將會(huì)有進(jìn)一步的文章來介紹：如何確定C++每個(gè)編譯單元（CPP文件）中的可見名字（與名字查找相關(guān)）；Keoning查找詳解； 重載 （Overload） 和虛函數(shù)的重實(shí)現(xiàn) （override）。