本文详细介绍了 C++ 多态的概念、构成条件及实现方式。涵盖虚函数、重写规则（含协变与析构函数）、C++11 override/final 关键字、抽象类定义。深入解析了虚函数表机制、单继承与多继承下的内存布局，以及动态绑定与静态绑定的区别。最后总结了多态相关常见问题，如内联函数、静态成员函数、构造/析构函数的虚函数属性及菱形继承问题。
通俗来讲，多态就是多种形态。具体一些就是当去完成某个行为的时候，不同的对象去完成时会产生出不同的状态。
多态是在不同继承关系的类对象中，调用同一函数产生不同的行为。例如 Student 继承了 Person，Person 对象买票全价，Student 对象买票半价。在继承中要构成多态还有两个条件：
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
using namespace std;
class Adult {
public:
virtual void BuyTicket() {
cout << "买票----全价" << endl;
}
};
class Child : public Adult {
public:
virtual void BuyTicket() {
cout << "买票----半价" << endl;
}
};
void Func(Adult& a) {
a.BuyTicket();
}
int main() {
Adult a;
Child c;
Func(a);
Func(c);
return 0;
}
概念：被 virtual 修饰的类成员函数称为虚函数。
class Person {
public:
virtual void BuyTicket() {
cout << "买票 - 全价" << endl;
}
};
虚函数的重写（覆盖）：派生类中有一个跟基类完全相同的虚函数（即派生类虚函数与基类的虚函数返回值类型、函数名、参数列表完全相同），称子类的虚函数重写了基类的虚函数。
派生类重写基类虚函数时，与基类虚函数返回值类型不同，即基类虚函数返回基类对象的指针或引用，派生类虚函数返回派生类对象的指针或者引用时。
如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加 virtual 关键字，都与基类的析构函数构成重写。虽然基类与派生类析构函数名字不同，但编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理为 destructor。
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
using namespace std;
class Person {
public:
virtual ~Person() {
cout << "~Person()" << endl;
}
};
class Student : public Person {
virtual ~Student() {
cout << "~Student" << endl;
}
};
int main() {
Person* p1 = new Person;
Person* p2 = new Student;
delete p1;
delete p2;
return 0;
}
C++ 对函数重写的要求比较严格，有些情况下由于疏忽可能导致函数名字次序写反而无法构成重载，这种错误在编译期间不会报出。因此 C++11 提供了 override 和 final 两个关键字，帮助用户检测是否重写。
修饰虚函数，表示该虚函数不能再被重写。
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
using namespace std;
class Car {
public:
virtual void Drive() final { }
};
class Benz : public Car {
virtual void Drive() { cout << "Benz" << endl; }
};
int main() {
return 0;
}
若 final 修饰类，表示该类叫最终类，不能继承。
检查派生类虚函数是否重写了基类某个虚函数，如果没有重写则编译报错。
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
using namespace std;
class Car {
public:
// virtual void drive() {}
};
class Benz : public Car {
public:
virtual void Drive() override {
cout << "virtual void Drive()" << endl;
}
};
int main() {
return 0;
}
在虚函数的后面加上 = 0，则这个函数被称为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能够实例化出对象。派生类继承后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。纯虚函数规范了派生类必须重写，另外纯虚函数更体现出了接口继承。
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
using namespace std;
class Car {
public:
virtual void Drive() = 0;
};
class Benz : public Car {
public:
};
class BMW : public Car {
public:
virtual void Drive() {
cout << "BMW()" << endl;
}
};
int main() {
Car* pBenz = new Benz;
pBenz->Drive();
Car* pBMW = new BMW;
pBMW->Drive();
return 0;
}
普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。所以如果不实现多态，不要把函数定义成虚函数。
含有虚函数的类中至少都有一个虚函数表指针（vptr）。一个含有虚函数的类中至少都有一个虚函数表指针，因为虚函数的地址要被放到虚函数表中，虚函数表也简称虚表。
#define _CRT_SECURE_NO_WARNINGS
#include <iostream>
using namespace std;
class Base {
public:
virtual void Func1() {
cout << "Func1" << endl;
}
private:
int _b = 1;
};
int main() {
Base b;
cout << sizeof(b) << endl;
return 0;
}
多态的实现依赖于虚函数表机制。当通过基类指针或引用调用虚函数时，程序会在运行时查找虚函数表，找到对应的函数地址并执行。
单继承中，派生类通常会共享基类的虚函数表，或者拥有自己的虚函数表来覆盖基类函数。
多继承中，每个基类都有各自的虚函数表。派生类对象内存布局中包含多个虚函数表指针，分别对应各个基类的虚函数表。
什么是多态？ 通俗来说，就是多种形态，具体一些就是去完成某个行为，当不同的对象去完成的时候会产生出不同的状态。
什么是重载、重写（覆盖）、重定义（隐藏）？
inline（内联函数）可以是虚函数吗？ 可以，不过编译器如果忽略 inline 属性，那么这个函数就不再是 inline 函数，而是会把虚函数表放到虚函数中。
静态成员函数可以是虚函数吗？ 不能，因为静态成员函数没有 this 指针，使用类型::成员函数的调用方式无法访问虚函数表，所以静态成员函数无法放进虚函数表。
构造函数可以是虚函数吗？ 不能，因为对象中的虚函数表指针是在构造函数初始化列表阶段才初始化的。
析构函数可以是虚函数吗？ 可以，并且最好把基类的析构函数定义成虚函数。
什么场景下析构函数是虚函数？ 如果基类的析构函数为虚函数，此时派生类的析构函数只要定义，无论是否加 virtual 关键字，都与基类的析构函数构成重写。
对象是访问普通函数快还是虚函数快？
虚函数表是在什么阶段生成的？ 虚函数表是在编译阶段就生成的，一般情况下存在代码段（常量区）的。
C++ 菱形继承的问题，虚继承的原理？ 菱形继承造成了数据冗余和二义性。
微信公众号「极客日志」，在微信中扫描左侧二维码关注。展示文案：极客日志 zeeklog
将字符串编码和解码为其 Base64 格式表示形式即可。 在线工具，Base64 字符串编码/解码在线工具，online
将字符串、文件或图像转换为其 Base64 表示形式。 在线工具，Base64 文件转换器在线工具，online
将 Markdown（GFM）转为 HTML 片段，浏览器内 marked 解析；与 HTML 转 Markdown 互为补充。 在线工具，Markdown 转 HTML在线工具，online
将 HTML 片段转为 GitHub Flavored Markdown，支持标题、列表、链接、代码块与表格等；浏览器内处理，可链接预填。 在线工具，HTML 转 Markdown在线工具，online
通过删除不必要的空白来缩小和压缩JSON。 在线工具，JSON 压缩在线工具，online
将JSON字符串修饰为友好的可读格式。 在线工具，JSON美化和格式化在线工具，online