函數(shù)重載
- 函數(shù)重載也被成為編譯時(shí)多態(tài)。
- 函數(shù)重載是在同一命名空間中,根據(jù)參數(shù)列表對(duì)同名函數(shù)的編譯時(shí)綁定(resolve)。編譯器根據(jù)函數(shù)調(diào)用語(yǔ)句的參數(shù)列表,對(duì)當(dāng)前可見的同名函數(shù)進(jìn)行類型檢查、匹配,并綁定到擁有正確簽名的函數(shù)。
函數(shù)重載的實(shí)現(xiàn)
- C++編譯器對(duì)函數(shù)做了名稱修飾(name mangling),用于支持重載。
- C對(duì)函數(shù)的名稱修飾只包括函數(shù)名,C++對(duì)函數(shù)的名稱修飾還涉及函數(shù)的參數(shù)列表。C++的函數(shù)
int foo(int, double)在修飾后類似這樣__foo_int_double_ - C++就是通過名稱修飾來完成函數(shù)重載的。
關(guān)于類的成員函數(shù)的名稱修飾
- C++編譯器看待非靜態(tài)成員函數(shù)的方式和普通C函數(shù)類似,只是在參數(shù)列表中增加了一個(gè)this指針,用來表明是哪一個(gè)對(duì)象調(diào)用的該成員函數(shù)。
- 對(duì)于靜態(tài)成員函數(shù),參數(shù)列表中沒有this指針。
- P.S. 靜態(tài)成員函數(shù)和非靜態(tài)成員函數(shù)的存儲(chǔ)位置是代碼區(qū)。對(duì)對(duì)象的大小沒有影響。
函數(shù)覆蓋
- 這個(gè)話題有很多種說法,以下說法實(shí)際上說的都是一回事:函數(shù)覆蓋 = 虛函數(shù) = 動(dòng)態(tài)綁定 = 運(yùn)行時(shí)綁定 = 運(yùn)行時(shí)多態(tài)
- 函數(shù)覆蓋指的就是C++的虛函數(shù)機(jī)制?;惖奶摵瘮?shù)在函數(shù)簽名相同的情況下,可以被子類重寫。函數(shù)覆蓋的實(shí)現(xiàn)指的就是C++虛函數(shù)的實(shí)現(xiàn)。
函數(shù)覆蓋的實(shí)現(xiàn)
- 編譯器給每個(gè)有虛函數(shù)的類分配一個(gè)虛函數(shù)表。
- 每個(gè)類實(shí)例隱式地有一個(gè)且只有一個(gè)續(xù)表指針成員。
- 當(dāng)運(yùn)行時(shí)指針或引用去調(diào)用虛函數(shù)時(shí),通過搜索類實(shí)例的虛表指針指向的虛表,動(dòng)態(tài)綁定函數(shù)到虛表中的某個(gè)函數(shù),這一步需要做函數(shù)簽名的匹配。