| 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（）函数。