C++对象布局及多态之虚成员函数调用


　　在构造函数中调用虚成员函数，虽然这是个不很常用的技术，但研究一下可以加深对虚函数机制及对象构造过程的理解。这个问题也和一般直观上的认识有所差异。先看看下面的两个类定义。

struct C180
{
　C180() {
　　foo();
　　this->foo();
　}
　virtual foo() {
　　cout << "<< C180.foo this: " << this << " vtadr: " << *(void**)this << endl;
　}
};
struct C190 : public C180
{
　C190() {}
　virtual foo() {
　　cout << "<< C190.foo this: " << this << " vtadr: " << *(void**)this << endl;
　}
};

　　父类中有一个虚函数，并且父类在它的构造函数中调用了这个虚函数，调用时它采用了两种方法一种是直接调用，一种是通过this指针调用。同时子类又重写了这个虚函数。

　　我们可以来预测一下如果构造一个C190的对象会发生什么情况。

　　我们知道，在构造一个对象时，首先会按对象的大小得到一块内存(在heap上或在stack上)，然后会把指向这块内存的指针做为this指针来调用类的构造函数，对这块内存进行初始化。如果对象有父类就会先调用父类的构造函数(并依次递归)，如果有多个父类(多重继承)会依次对父类的构造函数进行调用，并会适当的调整this指针的位置。在调用完所有的父类的构造函数后，再执行自己的代码。

　　照上面的分析构造C190时也会调用C180的构造函数，这时在C180构造函数中的第一个foo调用为静态绑定，会调用到C180::foo()函数。第二个foo调用是通过指针调用的，这时多态行为会发生，应该调用的是C190::foo()函数。

　　执行如下代码：

C190 obj;
obj.foo();

　　结果为：

<< C180.foo this: 0012F7A4 vtadr: 0045C404
<< C180.foo this: 0012F7A4 vtadr: 0045C404
<< C190.foo this: 0012F7A4 vtadr: 0045C400