C++ 基础之this指针和虚函数

 看了starlee的三篇文章 浅析C++中的this指针，浅析C++中虚函数的调用及对象的内部布局 和 C++中虚析构函数的作用，做一个简单的总结给自己看。

 

【this指针】

1. 当程序被编译之后，类的成员函数地址已确定，这个类的所有对象共用这些成员函数。而成员函数靠this指针，将类的不同对象区分开来，在成员函数内对类数据成员的访问，都会被转化为 this->数据成员 的方式。所以如果一个成员函数内，只要不访问非静态成员变量（只访问静态成员变量，打印语句，访问传入的参数等），用指向该类的空指针，也可以成功调用这些成员函数。

2. 通过汇编代码可以看到，非静态函数调用之前，会把this指针放到ECX寄存器（不过 WinDBG技巧：this指针的常见误区 中说，this指针多数时候会被存在ECX，但有些时候C++编译器在代码优化之后，会把this放在ESI中。）在类的非成员函数中如果要用到类的成员变量，就可以通过访问ECX来的到this指针，再通过this指针加上成员变量的偏移量来找到相应的成员变量。

 

【虚函数】

1. 通过对象调用类的虚成员函数和调用非虚成员函数是相同的，即用对象无法实现多态。

CDerived derived;

derived.VFun1();

2. 用指向派生类的积累指针调用虚函数，实现多态。

CBase *pTest = &derived;
pTest->VFun1();

对象derived在内存中的布局是：虚表指针+数据成员。所以pTest指针指向的前4个字节，其实就是虚表指针。C++中调用虚函数的方法：首先取得对象中的虚表指针，然后通过虚表指针找到虚表，最后通过在虚表内的偏移量找到相应的函数来执行。

3. 不含虚函数的类是没有虚表指针的。

【虚析构函数】

用C++开发时，用来做基类的类的析构函数一般都是虚函数。如果不这样的话，在delete pTest 的时候就会调用基类的析构函数，这不是我们希望的，因为一般析构函数用来做释放资源等清理操作，如果派生类的析构函数没被调用的话，可能造成资源泄漏。

ClxBase  * pTest  =   new  ClxDerived;
pTest -> DoSomething();
delete pTest;

 

虚析构函数的作用：当用基类的指针删除一个派生类对象时，使得派生类的析构函数被调用。但是并不是要把所有类的析构函数都写成虚函数，因为编译器会添加一个虚函数表来存放虚函数指针，浪费了空间。
【寄存器】

32位CPU：

ESI 和EDI，为变址寄存器Index register。

EBP和ESP，指针寄存器 Pointer register。EBP为基指针寄存器，可直接存取堆栈中的数据；ESP为堆栈指针寄存器，只可访问栈顶。