从汇编看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提供默认值了。