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指针作为第一个参数。
<构造函数揭秘继续...>