从汇编看c++函数的默认参数

    添加时间:2013-5-7 点击量:

    在c++中,可认为函数供给默认参数,如许,在调用函数的时辰,若是不供给参数,编译器将为函数供给参数的默认值。下面从汇编看其道理。


    下面是c++源码:



    int add(int a = 1int 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参数的默认值
    calladd@@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 = 1int 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
    calladd@@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供给默认值了。



    原来,再大的房子,再大的床,没有相爱的人陪伴,都只是冰冷的物质。而如果身边有爱人陪伴,即使房子小,床小,也觉得无关紧要,因为这些物质上面有了爱的温度,成了家的元素。—— 何珞《婚房》#书摘#
    分享到: