从汇编角度揭秘C++构造函数(1)

C++的构造函数一直比较神秘,今天我们通过汇编的角度来揭秘一下,它的本质是什么。与常规函数有什么不同。从以下这段代码说起:

复制代码
class Person
{
public:
    Person(int age) { _age = age; }
    void printAge(){ printf("age = %d\r\n",_age); }
private:
    int _age;
};

int main()
{
    Person tom(20);
    return 1;
}

如上所示,定义了一个Person类,以及声明了一个构造函数(带一个int型变量)。在main函数中声明了一个tom的对象。我们查看上面代码对应的汇编:

复制代码
Person::Person(int) [base object constructor]:
        push    rbp
        mov     rbp, rsp
        mov     QWORD PTR [rbp-8], rdi
        mov     DWORD PTR [rbp-12], esi
        mov     rax, QWORD PTR [rbp-8]
        mov     edx, DWORD PTR [rbp-12]
        mov     DWORD PTR [rax], edx
        nop
        pop     rbp
        ret
main:
        push    rbp
        mov     rbp, rsp
        sub     rsp, 16
        lea     rax, [rbp-4]
        mov     esi, 20
        mov     rdi, rax
        call    Person::Person(int) [complete object constructor]
        mov     eax, 1
        leave
        ret

重点关注main函数的汇编,通过指令"call Person::Person(int) [complete object constructor]",我们知道是在调用Person类的构造函数。我们再注意一下这条指令:"mov esi, 20",即将20写入esi这个寄存器中,根据之前的文章:从汇编的角度揭开C++ this指针的神秘面纱,我们知道这是在准备Person构造函数的形参,但是跟据函数传参约定:

esi(即RSI的低32位),传递的是第二个参数,RDI传递的是第一个参数。上面汇编代码中,**Person类的构造函数明明只有一个形参,为什么需要传递两个实参呢?**答案是Person类的构造函数还有一个隐含的参数,根据之前文章从汇编的角度揭开C++ this指针的神秘面纱,**这个参数就是this指针!**从而我们可以得出一个结论:类的构造函数与普通函数并本质区别,只不过编译器会'偷偷地'添加一个this指针作为第一个参数。

<构造函数揭秘继续...>