C++_虚继承_虚函数_纯虚函数

虚继承

用于解决多重继承的过程中成员访问的二义性(菱形继承)
格式: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;
};

总结:

虚继承: 虚表基表, 虚基指针主要用来记录偏移量(虚基指针在虚基表上),以保证多继承的过程中只复制一份的基类
虚函数: 虚表,虚指针主要用于指向虚函数(虚指针指向虚表中的虚函数地址)
纯虚函数: 就是接口, 规范子类行为

C++_虚继承_虚函数_纯虚函数

虚继承

虚函数

纯虚函数

猜你喜欢