从汇编角度揭秘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 rbpmov rbp, rspmov QWORD PTR [rbp-8], rdimov DWORD PTR [rbp-12], esimov rax, QWORD PTR [rbp-8]mov edx, DWORD PTR [rbp-12]mov DWORD PTR [rax], edxnoppop rbpret
main:push rbpmov rbp, rspsub rsp, 16lea rax, [rbp-4]mov esi, 20mov rdi, raxcall Person::Person(int) [complete object constructor]mov eax, 1leaveret
重点关注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指针作为第一个参数。
<构造函数揭秘继续...>