基类和派生类之间的关系:其中基类的虚函数f在派生类中被覆盖了

当我们定义一个派生类对象d后,其d的成员存放为:

可以发现:
1)覆盖的f()函数被放到了虚表中原来父类虚函数的位置。
2)没有被覆盖的函数依旧。
这样,我们就可以看到对于下面这样的程序,
Base *b = new Derive();
b->f();
由b所指的内存中的虚函数表的f()的位置已经被Derive::f()函数地址所取代,于是在实际调用发生时,是Derive::f()被调用了。这就实现了多态。
(3)多继承:无虚函数覆盖
假设基类和派生类之间有如下关系:

对于子类实例中的虚函数表,是下面这个样子:

我们可以看到:
1) 每个父类都有自己的虚表。
2) 子类的成员函数被放到了第一个父类的表中。(所谓的第一个父类是按照声明顺序来判断的)
由于每个基类都需要一个指针来指向其虚函数表,因此d的sizeof等于d的数据成员加3*4=12。

(4)多重继承,含虚函数覆盖
假设,基类和派生类又如下关系:派生类中覆盖了基类的虚函数f

下面是对于子类实例中的虚函数表的图:

我们可以看见,三个父类虚函数表中的f()的位置被替换成了子类的函数指针。这样,我们就可以任一静态类型的父类来指向子类,并调用子类的f()了。如:
Derive d; Base1 *b1 = &d; Base2 *b2 = &d; Base3 *b3 = &d; b1->f(); //Derive::f() b2->f(); //Derive::f() b3->f(); //Derive::f() b1->g(); //Base1::g() b2->g(); //Base2::g() b3->g(); //Base3::g()
3、一个关于含虚函数及虚继承的sizeof计算
#include <iostream> using namespace std; class Base { public: virtual void f(); virtual void g(); virtual void h(); }; class Derived1: public Base { public: virtual void f1(); virtual void g1(); virtual void h1(); }; class Derived2:public Base { public: virtual void f(); virtual void g1(); virtual void h1(); }; class Derived3:virtual public Base { public: virtual void f1(); virtual void g1(); virtual void h1(); }; class Derived4:virtual public Base { public: virtual void f(); virtual void g1(); virtual void h1(); }; class Derived5:virtual public Base { public: virtual void f(); virtual void g(); virtual void h(); }; class Derived6:virtual public Base { }; int main() { cout<<sizeof(Base)<<endl; //4 cout<<sizeof(Derived1)<<endl; //4 cout<<sizeof(Derived2)<<endl; //4 cout<<sizeof(Derived3)<<endl; //12 cout<<sizeof(Derived4)<<endl; //12 cout<<sizeof(Derived5)<<endl; //8 cout<<sizeof(Derived6)<<endl; //8 return 0; }
本文来自电脑杂谈,转载请注明本文网址:
https://www.pc-fly.com/a/jisuanjixue/article-59585-2.html
就继续统战
不配做人