从汇编角度揭秘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指针作为第一个参数。

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