c++带你手把手刨析最难语法多态

首先好多小伙伴看到这个标题肯定会不解，觉得这个多态啊好像也就那样，但是这篇文章可不一样哦。这次我将带大家深入理解多态，并且细节满满，妥妥全网最佳。

1.多态的概念

通俗来说，就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态

举个实际生活当中的例子：比如买票这个行为，当普通人买票时，是全价买票；学生买票时，是半价买票；军人

买票时是优先买票。

2.多态的具体定义以及实现

2.1多态的构成条件

多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。比如Student继承了

Person。Person对象买票全价，Student对象买票半价。

构成多态有3个条件：

1.构成继承关系
2. 必须通过基类的指针或者引用调用虚函数
3. 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写

如图所示便是这一整个调用过程，下面我讲逐步逐细节进行进一步讲解

2.2虚函数

虚函数：即被virtual修饰的类成员函数称为虚函数。

class Person {
public:
 virtual void BuyTicket() { cout << "买票-全价" << endl;
}

2.3虚函数的重新

虚函数的重写(覆盖)：派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同)，称子类的虚函数重写了基类的虚函数。

class Person {
public:
 virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
 virtual void BuyTicket() { cout << "买票-半价" << endl; }
/*注意：在重写基类虚函数时，派生类的虚函数在不加virtual关键字时，虽然也可以构成重写(因
为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范，不建议
这样使用*/
/*void BuyTicket() { cout << "买票-半价" << endl; }*/
};

2.4虚函数重写的特例

1. 协变(基类与派生类虚函数返回值类型不同)

   派生类重写基类虚函数时，与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指

   针或者引用，派生类虚函数返回派生类对象的指针或者引用时，称为协变。

   这种情况下也构成重写

   2.析构函数的重写(基类与派生类析构函数的名字不同)

如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加virtual关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名不相同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor。

3.c++中设计不好的地方

class Person{
    public:
        virtual void BuyTicket(){ cout<<"买票-全价"<<endl; }
        
        virtual ~Person(){cout<<"~Person()"<<endl; }  
}

class Student: public Person
{
   private:
        void BuyTicket(){ cout<<"买票-半价"<<endl; }
        
        virtual ~Student(){cout<<"~Student()"<<endl; }  
}

可以看看上面这段代码的情景，**当子类没有写virtual，**它也可以算虚函数。（相当于继承了父亲的虚函数属性）

并且如果下面写成private，也可以通过构成多态的方式去进行调用。

这两个设计是c++当中不太好的地方，但是我们平时使用还是按照常规的方式来进行操作。

2.5 c++11 中的 override 和 final

​ 从上面的这些规则可以看出，c++是否构成重写要求很严格，而优先情况下在没有构成重写的情况下编译器不会报错，因此c++11当中就添加了 override 和 final 连个关键字来检查是否构成重写。

​ 下面请看实际使用样例：

1. final：修饰虚函数，表示该虚函数不能被重写

class Car
{
public:
 virtual void Drive() final {}    //虚函数 final 修饰
};
class Benz :public Car
{
public:
 virtual void Drive() {cout <<"舒服"<<endl;}    //报错：C++ 无法重写“final”函数
};

2. override:检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错。

   class Car{
   public:
    virtual void Drive(){}
   };
   class Benz :public Car {
   public:
    virtual void Drive() override {cout << "舒服" << endl;}
   };
   

   3.抽象类

   3.1基本概念

   在虚函数的后面写上 =0 ，则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口

   类），抽象类不能实例化出对象。派生类继承后也不能实例化出对象，只有重写纯虚函数，派生

   类才能实例化出对象。纯虚函数规范了派生类必须重写，另外纯虚函数更体现出了接口继承。

​ 测试案例：

class Car
{
public:
virtual void Drive() = 0;
};

class Benz :public Car
{
public:
 virtual void Drive()
 {
 cout << "Benz-舒适" << endl;
 }
};

class BMW :public Car
{
public:
 virtual void Drive()
 {
 cout << "BMW-操控" << endl;
 }
};

void Test()
{
Car* pBenz = new Benz;
 pBenz->Drive();
 Car* pBMW = new BMW;
 pBMW->Drive();
}

普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。所以如果不实现多态，不要把函数定义成虚函数。

4.多态的原理

4.1虚函数表

首先在刨析原理前我们得了解一下虚函数表这个概念。

为了更为直观的理解一下我们这里引用一个题目：

// sizeof(Base)是多少？
class Base
{
public:
 virtual void Func1()
 {
 cout << "Func1()" << endl;
 }
private:
 int _b = 1;
};

答案是8byte，理论上来说我们应该遵从结构体对齐的原则来计算大小，可这里只有一个int成员变量，为什么会是8呢？

原来在此基础上，该类中还多一个vfptr放在对象的前面(注意有些平台可能会放到对象的最后面，这个跟平台有关)，

对象中的这个指针我们叫做虚函数表指针(v代表virtual，f代表function)

针对如上的代码我们将进行如下的改进:

1.我们增加一个派生类Derive去继承Base

2.Derive中重写Func1

3.Base再增加一个虚函数Func2和一个普通的Func3

class Base
{
public:
 virtual void Func1()
 {
 cout << "Base::Func1()" << endl;
 }
 virtual void Func2()
 {
 cout << "Base::Func2()" << endl;
 }
 void Func3()
 {
 cout << "Base::Func3()" << endl;
 }
private:
 int _b = 1;
};

class Derive : public Base
{
public:
 virtual void Func1()
 { cout << "Derive::Func1()" << endl;
 }
private:
 int _d = 2;
};

int main()
{
 Base b;
 Derive d;
 return 0; }

对于以上代码我们使用监视窗口进行详细观察，并可以得出以下的结论：

1. 派生类对象d中也有一个虚表指针。

2. 基类b对象和派生类d对象虚表是不一样的，这里我们发现Func1完成了重写，所以d的虚表中存的是重写的Derive::Func1

3. Func2继承下来后是虚函数，所以放进了虚表，Func3也继承下来了，但是不是虚函数，所以不会放进虚表。

4. 虚函数表本质是一个存虚函数指针的指针数组，一般情况这个数组最后面放了一个nullptr。

   以上我们一共提到3个新的名词：虚函数，虚函数表，虚表指针

   那么在vs环境下，我们可以总结一下，虚函数是一个函数它存在代码段中，而我们类里面存的是虚表指针，虚函数表也是存在代码段里面的，里面存的是虚函数指针，也就是说通过虚表指针我们找到了虚表，通过虚表我们找到了虚函数。

   4.2多态的原理

   当你将上面这一长串推理看懂后，相信已经可以八九不离十猜到这其中原理了，那么让我们在进行一场细致的分析吧。
   

void Func(Person* p) {
 p->BuyTicket();
}
int main()
{
 Person mike;
 Func(&mike);
 mike.BuyTicket();
    
 return 0; 
}
// 以下汇编代码的简化与这个问题不相关的都被去掉了
void Func(Person* p) {
...
 p->BuyTicket();
// p中存的是mike对象的指针，将p移动到eax中
001940DE  mov         eax,dword ptr [p]
// [eax]就是取eax值指向的内容，这里相当于把mike对象头4个字节(虚表指针)移动到了edx
001940E1  mov         edx,dword ptr [eax]
// [edx]就是取edx值指向的内容，这里相当于把虚表中的头4字节存的虚函数指针移动到了eax
00B823EE  mov         eax,dword ptr [edx]
// call eax中存虚函数的指针。这里可以看出满足多态的调用，不是在编译时确定的，是运行起来
以后到对象的中取找的。
001940EA  call        eax  
00头1940EC  cmp         esi,esp  
}
int main()
{
... 
// 首先BuyTicket虽然是虚函数，但是mike是对象，不满足多态的条件，所以这里是普通函数的调
//用转换成地址时，是在编译时已经从符号表确认了函数的地址，直接call 地址
 mike.BuyTicket();
00195182  lea         ecx,[mike]
00195185  call        Person::BuyTicket (01914F6h)  
... 
}

还是如上面那个例子一样，我们这里给了两张图可以帮大家快速回忆一下。

首先我们通过满足虚函数覆盖和对象的指针或引用调用虚函数这两个条件来完成多态，实现出了不同对象去完成同一行为时，展现出不同的形态。

其次通过下面的汇编代码可以看出满足多态以后的函数调用，不是在编译时确定的，是运行后到对象的中取找的。不满足多态的函数调用时编译时确认好的。

那么其实本质上来说，当以基类为类型的指针或引用收到了两个不同对象的地址或对象本身，编译器运行时会根据收到不同的对象的地址或本身去寻找他们里面存储的虚表指针然后找到虚函数并且调用。

4.3动态绑定与静态绑定（也就是换一个说法，总结一下）

1. 静态绑定又称为前期绑定(早绑定)，在程序编译期间确定了程序的行为，也称为静态多态，

比如：函数重载

2. 动态绑定又称后期绑定(晚绑定)，是在程序运行期间，根据具体拿到的类型确定程序的具体

行为，调用具体的函数，也称为动态多态。

5.单继承和多继承关系的虚函数表

5.1单继承中的虚函数表

class Base { 
public :
 virtual void func1() { cout<<"Base::func1" <<endl;}
 virtual void func2() {cout<<"Base::func2" <<endl;}
private :
 int a;
};
class Derive :public Base { 
public :
 virtual void func1() {cout<<"Derive::func1" <<endl;}
 virtual void func3() {cout<<"Derive::func3" <<endl;}
 virtual void func4() {cout<<"Derive::func4" <<endl;}
private :
 int b;
};

观察下图中的监视窗口中我们发现看不见d中的func3和func4。这里是编译器的监视窗口故意隐藏了这两个虚表指针，可以认为这是一个小bug。

为了观察到它下面我们使用代码打印出虚表中的函数。

以下面代码作为参考不是重点

typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{
// 依次取虚表中的虚函数指针打印并调用。调用就可以看出存的是哪个函数
 cout << " 虚表地址>" << vTable << endl;
 for (int i = 0; vTable[i] != nullptr; ++i)
 {
 printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);
 VFPTR f = vTable[i];
 f();

5.2 多继承中的虚函数表
 }
 cout << endl; }
int main()
{
 Base b;
 Derive d;
// 思路：取出b、d对象的头4bytes，就是虚表的指针，前面我们说了虚函数表本质是一个存虚函数
指针的指针数组，这个数组最后面放了一个nullptr
// 1.先取b的地址，强转成一个int*的指针
// 2.再解引用取值，就取到了b对象头4bytes的值，这个值就是指向虚表的指针
// 3.再强转成VFPTR*，因为虚表就是一个存VFPTR类型(虚函数指针类型)的数组。
// 4.虚表指针传递给PrintVTable进行打印虚表
// 5.需要说明的是这个打印虚表的代码经常会崩溃，因为编译器有时对虚表的处理不干净，虚表最
//后面没有放nullptr，导致越界，这是编译器的问题。我们只需要点目录栏的-生成-清理解决方案，再
//编译就好了。
 VFPTR* vTableb = (VFPTR*)(*(int*)&b);
 PrintVTable(vTableb);
 VFPTR* vTabled = (VFPTR*)(*(int*)&d);
 PrintVTable(vTabled);
 return 0;
}

结果图：（也是不出所料）

5.2多继承中的虚函数表

按照上面套路的实现代码：

class Base1 {
public:
 virtual void func1() {cout << "Base1::func1" << endl;}
 virtual void func2() {cout << "Base1::func2" << endl;}
private:
 int b1;
};

class Base2 {
public:
 virtual void func1() {cout << "Base2::func1" << endl;}
 virtual void func2() {cout << "Base2::func2" << endl;}
private:
 int b2;
};

class Derive : public Base1, public Base2 {
public:
 virtual void func1() {cout << "Derive::func1" << endl;}
 virtual void func3() {cout << "Derive::func3" << endl;}
private:
 int d1;
};

typedef void(*VFPTR) ();
void PrintVTable(VFPTR vTable[])
{
 cout << " 虚表地址>" << vTable << endl;
 for (int i = 0; vTable[i] != nullptr; ++i)
 {
 printf(" 第%d个虚函数地址 :0X%x,->", i, vTable[i]);
 VFPTR f = vTable[i];
 f();
 }
 cout << endl;
}

int main()
{
 Derive d;
 VFPTR* vTableb1 = (VFPTR*)(*(int*)&d);
 PrintVTable(vTableb1);
 VFPTR* vTableb2 = (VFPTR*)(*(int*)((char*)&d+sizeof(Base1)));
 PrintVTable(vTableb2);
 return 0; 
}

结果图展示：

根据上图可以推断出多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中

5.3菱形虚拟继承

其实实际上我们一般不会设计出这样的结构，而且这里面要是深入进行考究的话会非常麻烦，当然感兴趣的同学可以去往上搜一下有关这一块的，这里就不做过多的详细解释了。（感兴趣的可以看陈皓大佬的文章里面有解释这一块）