1. 多态的概念
1.1 概念
通俗来讲，多态就是多种形态。具体一些就是当去完成某个行为的时候，不同的对象去完成时会产生出不同的状态。
2. 多态的定义与实现
2.1 多态的构成条件
多态是在不同继承关系的类对象中，调用同一函数产生不同的行为。例如 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;
}
2.2 虚函数
概念：被 virtual 修饰的类成员函数称为虚函数。
class Person {
public:
virtual void BuyTicket() {
cout << "买票 - 全价" << endl;
}
};
2.3 虚函数的重写
虚函数的重写（覆盖）：派生类中有一个跟基类完全相同的虚函数（即派生类虚函数与基类的虚函数返回值类型、函数名、参数列表完全相同），称子类的虚函数重写了基类的虚函数。
2.3.1 虚函数重写的两个例外
2.3.1.1 协变
派生类重写基类虚函数时，与基类虚函数返回值类型不同，即基类虚函数返回基类对象的指针或引用，派生类虚函数返回派生类对象的指针或者引用时。
2.3.1.2 析构函数的重写
如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加 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;
}
2.4 C++11 override 和 final
C++ 对函数重写的要求比较严格，有些情况下由于疏忽可能导致函数名字次序写反而无法构成重载，这种错误在编译期间不会报出。因此 C++11 提供了 override 和 final 两个关键字，帮助用户检测是否重写。
2.4.1 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 修饰类，表示该类叫最终类，不能继承。
2.4.2 override 关键字
检查派生类虚函数是否重写了基类某个虚函数，如果没有重写则编译报错。
#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;
}
2.5 重载、重写、隐藏的对比
- 重载：两个函数在同一个作用域，函数名相同/参数不同。
- 重写（覆盖）：两个函数分别在基类与派生类的作用域，函数名/参数/返回值都必须相同（满足三同，协变除外），两个函数必须是虚函数。
- 重定义（隐藏）：两个函数分别在基类与派生类的作用域，函数名相同，两个基类和派生类的同名函数不构成重写就是重定义。
3. 抽象类
3.1 概念
在虚函数的后面加上 = 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;
}
3.2 接口继承与实现继承
普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。所以如果不实现多态，不要把函数定义成虚函数。
4. 多态的原理
4.1 虚函数表
含有虚函数的类中至少都有一个虚函数表指针（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;
}
4.2 多态的原理
多态的实现依赖于虚函数表机制。当通过基类指针或引用调用虚函数时，程序会在运行时查找虚函数表，找到对应的函数地址并执行。
4.3 动态绑定与静态绑定
- 静态绑定：编译期确定调用哪个函数，通常用于非虚函数。
- 动态绑定：运行期确定调用哪个函数，通常用于虚函数。
5. 单继承与多继承关系的虚函数表
5.1 单继承中的虚函数表
单继承中，派生类通常会共享基类的虚函数表，或者拥有自己的虚函数表来覆盖基类函数。
5.2 多继承中的虚函数表
多继承中，每个基类都有各自的虚函数表。派生类对象内存布局中包含多个虚函数表指针，分别对应各个基类的虚函数表。
6. 多态相关的问题
-
什么是多态？ 通俗来说，就是多种形态，具体一些就是去完成某个行为，当不同的对象去完成的时候会产生出不同的状态。
-
什么是重载、重写（覆盖）、重定义（隐藏）？
- 重载：两个函数在同一个作用域，函数名相同/参数不同。
- 重写（覆盖）：两个函数分别在基类与派生类的作用域，要满足三同（函数名/参数/返回值都必须相同，PS: 协变除外），两个函数都必须是虚函数。
- 重定义（隐藏）：两个函数分别在基类和派生类的作用域，函数名相同，两个基类和派生类的同名函数（不构成重写就是重定义）。
-
inline（内联函数）可以是虚函数吗？ 可以，不过编译器如果忽略 inline 属性，那么这个函数就不再是 inline 函数，而是会把虚函数表放到虚函数中。
-
静态成员函数可以是虚函数吗？ 不能，因为静态成员函数没有 this 指针，使用类型::成员函数的调用方式无法访问虚函数表，所以静态成员函数无法放进虚函数表。
-
构造函数可以是虚函数吗？ 不能，因为对象中的虚函数表指针是在构造函数初始化列表阶段才初始化的。
-
析构函数可以是虚函数吗？ 可以，并且最好把基类的析构函数定义成虚函数。
-
什么场景下析构函数是虚函数？ 如果基类的析构函数为虚函数，此时派生类的析构函数只要定义，无论是否加 virtual 关键字，都与基类的析构函数构成重写。
-
对象是访问普通函数快还是虚函数快？
- 首先如果是普通对象，是一样快的。
- 如果是指针对象或者引用对象，则调用普通函数快一些，因为构成了多态，运行时调用虚函数需要到虚函数表中去查找。
-
虚函数表是在什么阶段生成的？ 虚函数表是在编译阶段就生成的，一般情况下存在代码段（常量区）的。
-
C++ 菱形继承的问题，虚继承的原理？ 菱形继承造成了数据冗余和二义性。
