從匯編看c++函數的默認參數的使用說明

2020-01-26 16:16:52

字體：大中小

來源：轉載

供稿：網友

在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