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