從匯編看c++函數的默認參數，匯編

從匯編看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提供默認值了。