c++函數重載機制實現原理

原文鏈接:https://blog.csdn.net/gogogo_sky/article/details/72807123

一、c++函數重載的定義:

同一作用域類,一組函數的函數名相同參數列表不同(參數個數不同/參數類型不同)返回值可同可不同

二、函數重載的作用:

重載函數通常用來在同一個作用域內 用同一個函數名 命名一組功能相似的函數,這樣做減少了函數名的數量,避免了名字空間的污染,對於程序的可讀性有很大的好處。

三、函數重載是一種靜態多態:

(1)多態:用同一個東西表示不同的形態; 
(2)多態分爲: 
靜態多態(編譯時的多態) 
動態多態(運行時的多態); 
(3)函數重載是一種靜態多態;

四、c++函數重載的原理:

(一) 
編譯器在編譯.cpp文件中當前使用的作用域裏的同名函數時,根據函數形參的類型和順序會對函數進行重命名(不同的編譯器在編譯時對函數的重命名標準不一樣)但是總的來說,他們都把文件中的同一個函數名進行了重命名;

  • 在vs編譯器中: 
    根據返回值類型(不起決定性作用)+形參類型和順序(起決定性作用)的規則重命名並記錄在map文件中。
  • 在linux g++ 編譯器中: 
    根據函數名字的字符數+形參類型和順序的規則重命名記錄在符號表中;從而產生不同的函數名,當外面的函數被調用時,便是根據這個記錄的結果去尋找符合要求的函數名,進行調用;

五、爲什麼c語言不能實現函數重載

編譯器在編譯.c文件時,只會給函數進行簡單的重命名;具體的方法是給函數名之前加上”_”;所以加入兩個函數名相同的函數在編譯之後的函數名也照樣相同;調用者會因爲不知道到底調用那個而出錯;

六、實驗說明:

(一)在C語言中,如果兩個函數的函數名相同,不管形參和返回值是否相同,程序運行都會發生錯誤 
在.c文件中;寫出下列代碼,在vs2008運行出錯:

#include<stdio.h>

int Add(int a,int b)
{
   return a+b;
}


float Add(float a,float b)
{
    return a+b;
}
int main()
{

    Add(10,20);
    Add(20.0f,30.0f);
    return 0;
}
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19

運行結果:報錯—函數“int Add(int,int)”已有主體 
錯誤原因: 
程序從編譯到運行出結果幾個階段。其中一個階段提到生成符號表。 
我們來看一下上邊的函數成的符號表。符號表是在.map文件裏,在vs裏默認不顯示符號表文件。要想顯示出來,這樣設置: 
工程名右擊—>屬性—->配置屬性—->鏈接器—–>調試—->生成映射文件—>選擇是; 
上邊寫有兩個同名函數的c程序中根本編譯不通過(報錯:Add函數已有主體)就無法生成符號表。所以,我去掉一個函數,讓程序編譯通過,看看函數名在符號表中的命名 
這裏寫圖片描述
通過這個我們可以得出,c程序中的Add()函數在符號表中的重命名就是函數名前邊加個下劃線。所以如果一個c程序中出現了同名函數,他們在符號表中的命名一樣,這樣調用時就出現了衝突。

(二)將上面的代碼在改爲.cpp文件,編譯之後在map中查看兩個Add()函數的名字; 
這裏寫圖片描述
這裏我們可以看出,在.cpp文件中,雖然兩個函數的函數名一樣,但是他們在符號表中生成的名稱不一樣。 
‘?’表示名稱開始,‘?’後邊是函數名“@@YA”表示參數表開始,後邊的3個字符分別表示返回值類型,兩個參數類型。“@Z”表示名稱結束。 
由於在.cpp文件中,兩個函數生成的符號表中的名稱不一樣,所以是可以編譯通過的。

那麼既然c++編譯器和c編譯器對函數名的重命名規則不一樣; 
那麼怎麼在一個.cpp文件中調用.c文件的函數? 
以前寫的一篇相關文章 
(三)不同的編譯器對c++代碼的函數重命名規則不一樣; 
下面看看在linux下g++編譯器對相同代碼函數名的重命名;

cpp文件在linux虛擬機裏需要用g++編譯。 
安裝g++很簡單。命令: yum install gcc gcc-c++ 
安裝好了之後就可以了。運行程序之後,使用命令:objdump a.out -t > test.out 
-t是表示生成符號表,最後是將生成的符號表用重定向符號放在test.out文件。打開test.out文件,就會發現,整形數相加的函數Add(int a,int b)生成的符號表中,Add函數名被記錄爲_Z3Addiii,其中。_Z表示符號表名稱開始3代表函數名的字符個數iii代表按順序三個形參的類型; 
可以看出:同樣的.cpp文件在window的vs2008編譯器和linux的g++編譯中,相同的函數名進過編譯之後的重新命名不一樣;



發佈了8 篇原創文章 · 獲贊 32 · 訪問量 12萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章