新聞中心
C++中的類型查找過程相對簡單,基本上就是名字查找,這里不再介紹。

成都創(chuàng)新互聯(lián)公司專業(yè)為企業(yè)提供中山網(wǎng)站建設(shè)、中山做網(wǎng)站、中山網(wǎng)站設(shè)計、中山網(wǎng)站制作等企業(yè)網(wǎng)站建設(shè)、網(wǎng)頁設(shè)計與制作、中山企業(yè)網(wǎng)站模板建站服務(wù),十年中山做網(wǎng)站經(jīng)驗,不只是建網(wǎng)站,更提供有價值的思路和整體網(wǎng)絡(luò)服務(wù)。
對于 .cpp 文件中調(diào)用的一個函數(shù) ( 或成員函數(shù) ), 編譯器主要做了下面三件事情 :
1 名字查找 . 先在所在編譯單元中可見名字實體中進(jìn)行名字查找 .
(1) 類成員函數(shù)優(yōu)先 ( 對象所在的類 -> 基類 ). 一經(jīng)找到就停止查找 .
(2 )如果沒有 ,在相應(yīng)的名字空間中做進(jìn)一步的搜索 ;
(3) 如果還沒有 , 會根據(jù)函數(shù)參數(shù)所在的名字空間中查找 (keoning 查找 ).
2 重載決議. 根據(jù)所找到的名字進(jìn)行重載決議 , 根據(jù)參數(shù)最匹配原則選擇相應(yīng)的函數(shù) .
3 可訪問性檢查. 用以確定被選中的函數(shù)是否可被調(diào)用 .
說明 :
1) 根據(jù)***條 , 顯然 , 如果類型想和非成員函數(shù)一起工作 , 那么它們應(yīng)該放在同一個名字空間中 . 比如 , 一般類型的重載運算符和參數(shù)類型放在同一個頭文件中/或者同一個名字空間下 .
2) 函數(shù)特化模板不參與重載決議 , 因此 , 如果想運用某個函數(shù)的特化 , ***的方法是重載該函數(shù) , 在實現(xiàn)中采用該特化來工作 .
3) 重載決議發(fā)生在可訪問性檢查之前 . 因此 , 如果私有函數(shù)不幸參與了重載 , 并且被選中 , 最終也會出現(xiàn)無法訪問的編譯提示 . 這常常隱含二義性 , 這樣的設(shè)計本身也不合理 . 換句話說 , 私有參數(shù) , 在名字查找和重載時并非是 ” 私有的 ”.
以 c.Twice( 21 )的函數(shù)調(diào)用為例:
a) 名字查找:編譯器會首先尋找一個至少包含一個名字為 Twice 的實體作用域(類,文件,或者名字空間),并將候選函數(shù)放入候選實體列表。例子中,編譯器首先從對象 c 所在類實體中進(jìn)行查找,找到就停止;如果沒找到就會依次在其基類和外圍的名字空間中查找,直到找到一個至少含有一個候選函數(shù)的作用域。兩點需要注意: 1) 只要找到一個實體就停止查找,所以并非所有的同名函數(shù)都會被考慮; 2) 參數(shù)所在名字空間也屬于查找范圍(keoning 準(zhǔn)則) 。
b) 重載決議:從所找到的候選重載函數(shù)列表中選出唯一***匹配 。如不唯一,就存在二義性。注意: 1) 這是基于名字查找結(jié)果的; 2) 特化的模板函數(shù)不參與重載。
c) 可訪問性檢查:確定所選出的函數(shù)是否可訪問。這是***一步,晚于重載決議。
文章中的規(guī)則非常重要,理解后,很多C++的編譯問題就自然解決了。后面將會有進(jìn)一步的文章來介紹:如何確定C++每個編譯單元(CPP文件)中的可見名字(與名字查找相關(guān));Keoning查找詳解; 重載 (Overload) 和虛函數(shù)的重實現(xiàn) (override).
當(dāng)前標(biāo)題:C++編譯器的函數(shù)編譯流程
文章出自:http://m.fisionsoft.com.cn/article/coojhpg.html


咨詢
建站咨詢
