从汇编看c++函数的默认参数的使用说明
在c++中,可以为函数提供默认参数,这样,在调用函数的时候,如果不提供参数,编译器将为函数提供参数的默认值。下面从汇编看其原理。
int add(int a = 1, int b = 2) {//参数a b有默认值
return a + b;
}
int main() {
int c= add();//不提供参数
}
; 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@@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
下面是只提供一个参数值得情况
int add(int a = 1, int b = 2) {//参数a b有默认值
return a + b;
}
int main() {
int a = 3;
int c= add(a);//只为a提供参数
}
; 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提供默认值了。