從彙編看c++函數的預設參數的使用說明

在c++中，可以為函數提供預設參數，這樣，在調用函數的時候，如果不提供參數，編譯器將為函數提供參數的預設值。下面從彙編看其原理。

下面是c++源碼:

複製代碼 代碼如下:int add(int a = 1, int b = 2) {//參數a b有預設值
return a + b;
}
int main() {
int c= add();//不提供參數

}

下面是mian函數裡面的彙編碼:
複製代碼 代碼如下:; 4 : int main() {

push ebp
mov ebp, esp
push ecx;為局部變數c分配了4位元組的儲存空間 ecx為32位寄存器

; 5 : int c= add();

push 2;將2壓棧，就是add函數中b參數的預設值 這裡參數壓棧方向是從右向左
push 1;將1壓棧，就是add函數中a參數的預設值
call ?add@@YAHHH@Z ; 調用add函數
add esp, 8;釋放剛才為add提供參數時的儲存空間
mov DWORD PTR _c$[ebp], eax;eax寄存器裡面存放add函數傳回值，寫入變數c裡面

; 6 :
; 7 : }

xor eax, eax
mov esp, ebp
pop ebp
ret 0

下面是add函數的彙編碼:
複製代碼 代碼如下:?add@@YAHHH@Z PROC ; add

; 1 : int add(int a = 1, int b = 2) {

push ebp
mov ebp, esp

; 2 : return a + b;

mov eax, DWORD PTR _a$[ebp];將參數a的值寫入寄存器eax
add eax, DWORD PTR _b$[ebp];將參數b的值取出與eax裡面的值相加，結果存入eax寄存器

; 3 : }

pop ebp
ret 0
?add@@YAHHH@Z ENDP

下面是只提供一個參數值得情況

先看c++源碼:

複製代碼 代碼如下:int add(int a = 1, int b = 2) {//參數a b有預設值
return a + b;
}
int main() {
int a = 3;
int c= add(a);//只為a提供參數

}

下面是main函數裡面的彙編碼:
複製代碼 代碼如下:; 4 : int main() {

push ebp
mov ebp, esp
sub esp, 8;esp寄存器作為棧指標移動8位元組，為局部變數a，c預留儲存空間

; 5 : int a = 3;

mov DWORD PTR _a$[ebp], 3;將3寫入局部變數a所在儲存空間

; 6 : int c= add(a);//不提供參數

push 2;將2壓棧，提供b參數預設值
mov eax, DWORD PTR _a$[ebp];取出a的值，放入寄存器eax裡面
push eax;將eax裡面的值壓棧，提供參數a的值，這裡不是提供的預設值1
call ?add@@YAHHH@Z ; 調用add函數
add esp, 8;釋放剛才為調用函數add為參數分配的8byte空間
mov DWORD PTR _c$[ebp], eax;eax裡面存放調用函數的結果，寫到c所在儲存空間裡面

; 7 :
; 8 : }

xor eax, eax
mov esp, ebp
pop ebp
ret 0

可以看到，和上面的不同之處在於沒有為a提供預設的參數值。

下面是add函數的彙編碼，與第一種情況一樣，沒有變化:

複製代碼 代碼如下:?add@@YAHHH@Z PROC ; add

; 1 : int add(int a = 1, int b = 2) {//參數a b有預設值

push ebp
mov ebp, esp

; 2 : return a + b;

mov eax, DWORD PTR _a$[ebp]
add eax, DWORD PTR _b$[ebp]

; 3 : }

pop ebp
ret 0
?add@@YAHHH@Z ENDP

這裡由於為參數a給出了明確的值，因此編譯器只為參數b提供預設值。可想而知，若為add函數都提供了明確的參數值，那麼編譯器就不會為參數a，b提供預設值了。