虚继承
用于解决多重继承的过程中成员访问的二义性(菱形继承)
格式:class 类名 : virtual 继承方式 基类类名
注:在虚继承的过程中,编译器会为子类创建一个虚表,以及一个虚基表指针(占用对象空间)指向虚表(不占用对象空间)
例:
#include<iostream>
using namespace std;
class A{
private:
int a;
public:
A(){cout<<"A()"<<endl;}
~A(){cout<<"~A()"<<endl;}
};
class B:virtual public A{
//虚继承的过程中子类都会创建虚表指针指向当前虚表(保存当前虚指针相对于虚基类首地址的偏移量),多继承的过程中也只会创建一个虚指针
private:
int b;
public:
B(){cout<<"B()"<<endl;}
~B(){cout<<"~B()"<<endl;}
};
class C:virtual public A{
private:
int c;
public:
C(){cout<<"C()"<<endl;}
~C(){cout<<"~C()"<<endl;}
};
class D:public B,public C{
private:
int d;
public:
D(){cout<<"D()"<<endl;}
~D(){cout<<"~D()"<<endl;}
};
int main(){//64位虚表指针为8个字节
cout<<sizeof(A)<<endl; //输出4
cout<<sizeof(B)<<endl;//输出 B本身(4)+A(4)+虚表指针(8)=16
cout<<sizeof(C)<<endl;//输出与B相同
cout<<sizeof(D)<<endl;//输出 B+C+D本身-A(一份的A)=32
若未采用虚继承在D创建对象的时候,会创建2份的A,出现冗余,使用虚继承继承基类的两个虚指针,并调整虚指针与虚基类首地址的偏移量,使得继承过程中只保留一份的A
当使用虚继承的过程中,虚基类被共享,无论继承多少次,虚表指针都只会指向一份的虚基类,对象模型中只会存有一份的虚基类对象
虚函数
在基类中使用virtual修饰的成员函数,当函数声明为虚函数时,告诉编译器不要静态链接到该函数(静态链接),而是根据程序的运行过程中动态地根据该对象类型来调用函数(动态链接)
注:当基类成员函数声明为virtual, 子类进行对virtual重写,那么重写后的函数都为虚函数(即使该函数前面没写virtual关键字)
#include <iostream>
using namespace std;
class Shape {
protected:
int width, height;
public:
Shape( int a=0, int b=0){
width = a;
height = b;
}
virtual int area(){//编译时,生成一个虚表以及虚表指针
cout << "Parent class area :" <<endl;
return 0;
}
};
class Rectangle: public Shape{
public:
Rectangle( int a=0, int b=0):Shape(a, b) { }
int area () {//为虚函数,即使没有关键字virtual
cout << "Rectangle class area :" <<endl;
return (width * height);
}
};
class Triangle: public Shape{
public:
Triangle( int a=0, int b=0):Shape(a, b) { }
int area (){//同上
cout << "Triangle class area :" <<endl;
return (width * height / 2);
}
};
int main( )
{
Shape *shape;
Rectangle rec(10,7);
Triangle tri(10,5);
shape = &rec;
shape->area(); // 调用矩形的求面积函数 area
shape = &tri;// 存储三角形的地址
shape->area(); // 调用三角形的求面积函数 area
return 0;
}
此时,编译器看的是指针的内容,而不是它的类型。因此,由于 tri 和 rec 类的对象的地址存储在 *shape 中,所以会调用各自的 area() 函数。
动态绑定的底层实现:
- 理解_1: 虚表指针需要初始化才能调用虚函数,虚表指针在构造对象的时候初始化(初始化顺序与构造函数的调用顺序一致),当构造函数发现BASE具有虚函数,虚指针指向BASE的虚函数,当执行构造子类对象的时候,子类中具有虚函数则虚指针指向子类虚函数;当对象创建好后,虚表指针指向的是子类的虚表,从而实现动态绑定;
-
- 理解_2:当基类函数声明为虚函数的时候,则为基类创建一个虚表以及虚表指针, 子类重写基类虚函数的时候,为子类生成一个虚表以及虚表指针,当对象指针指向类成员函数的时候,首先会寻找该对象的虚表指针(而不是寻找类成员函数),然后根据虚表指针查找类成员函数;
注:虚表会被继承,当子类重写虚函数的时候,那么虚表中的虚函数地址则会改变
在动态分配内存的时候,析构函数必须是虚函数(利用动态绑定)防止不会调用所需的析构函数
使用虚函数意味着多态,多态必须具备的三个条件:继承关系; 继承的过程中必须有同名的虚函数; 存在基类的指针或引用,通过该指针或引用调用虚函数
纯虚函数
在基类重定义纯虚函数,以便在派生类中重新定义该函数来适用于对象,纯虚函数就相当于接口,用于规范派生类行为
包含纯虚函数的类是抽象类,不能实例化
语法: virtual void function()=0;
等于0表示没有函数体,
class Shape {
protected:
int width, height;
public:
Shape( int a=0, int b=0)
{
width = a;
height = b;
}
// pure virtual function
virtual int area() = 0;
};
总结:
- 虚继承: 虚表基表, 虚基指针主要用来记录偏移量(虚基指针在虚基表上),以保证多继承的过程中只复制一份的基类
- 虚函数: 虚表,虚指针主要用于指向虚函数(虚指针指向虚表中的虚函数地址)
- 纯虚函数: 就是接口, 规范子类行为