在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提供默認值了。