目录
1.什么是多态
在C++中，多态（Polymorphism）是指通过基类指针或引用来访问派生类对象的一种机制。简单来说，它允许我们在基类类型的指针或引用上调用派生类对象的成员函数。
例如：买票这个行为，当普通人买票时，是全价买票；学生买票时，是半价买票；军人买票时是优先买票。不同的对象去完成同一个行为——买票，会产生不同的状态。
2.虚函数的定义与重写
虚函数：即被virtual修饰的类成员函数称为虚函数
class Person {
public:
//虚函数
virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
虚函数的重写(覆盖)：派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同)，称子类的虚函数重写了基类的虚函数。
class Person {
public:
//虚函数
virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
//虚函数重写
virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
在重写基类虚函数时，派生类的虚函数在不加virtual关键字时，虽然也可以构成重写(因为继承后基类的虚函数被继承下来了在派生类依旧保持虚函数属性),但是该种写法不是很规范，所以不建议这样使用
3.多态的实现
多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。比如上述代码Student类继承了Person。而Person对象买票全价，Student对象买票半价。
在继承中要构成多态有两个条件：
- 必须通过基类的指针或者引用调用虚函数
- 被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写
例如：
class Person {
public:
virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
//条件二：调用的是虚函数并且派生类对虚函数进行重写
virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
void Func(Person& p)
{
//条件一：基类的引用或指针调用虚函数
p.BuyTicket();
}
int main()
{
Person ps;
Student st;
Func(ps);
Func(st);
return 0;
}
多态的实现结果如下：
这种通过基类指针或引用调用派生类对象的成员函数的行为称为多态。它使得我们可以在不同类型的对象上使用相同的接口，提供了更高的灵活性、可扩展性和代码复用性。
4.虚函数重写的两个例外
- 协变(基类与派生类虚函数返回值类型不同)
即基类虚函数返回基类对象的指针或者引用，派生类虚函数返回派生类对象的指针或者引用时，称为协变。
//协变
class A {};
class B : public A {};
class Person {
public:
virtual A* f() { return new A; }//基类虚函数返回值类型为基类指针或引用
};
class Student : public Person {
public:
virtual B* f() { return new B; }//派生类虚函数返回值类型为派生类指针或引用
};
当然基类虚函数返回值类型可以是别的基类也可以是自己，派生类虚函数返回值类型可以是别的派生类也可以是自己，与基类相呼应：
class Person {
public:
virtual Person* f() { return new Person; }//基类虚函数返回值类型为基类指针或引用
};
class Student : public Person {
public:
virtual Student* f() { return new Student; }//派生类虚函数返回值类型为派生类指针或引用
};
- 析构函数的重写(基类与派生类析构函数的名字不同)
如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加virtual关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。
例如：
//析构函数重写
class Person {
public:
virtual ~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:
//构成多态条件二：基类虚函数并且派生类虚函数重写
virtual ~Student() { cout << "~Student()" << endl; }
};
int main()
{
//构成多态条件一：使用基类指针或引用调用虚函数(这里是析构函数)
Person* p1 = new Person;
Person* p2 = new Student;
delete p1;
delete p2;
return 0;
}
结果如下：
我们可以对比一下，当没有实现多态时，对于delete对象调用析构函数是不会根据所指向的对象调用相应的析构函数，而是直接调用Person类的析构函数：
//没有实现多态
class Person {
public:
~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:
~Student() { cout << "~Student()" << endl; }
};
int main()
{
Person* p1 = new Person;
Person* p2 = new Student;
delete p1;
delete p2;
return 0;
}
结果如下：
如果是这样，那么如果子类Student类中动态开辟了一块空间而没有调用合适的析构函数就会造成内存泄漏：
//内存泄漏
class Person {
public:
~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:
int* ptr = new int[10];//动态开辟空间
~Student() {
delete[] ptr;//释放空间
cout << "~Student()" << endl;
}
};
int main()
{
Person* p1 = new Person;
Person* p2 = new Student;
delete p1;
delete p2;
return 0;
}
在类的继承关系中，派生类的析构函数会自动调用基类的析构函数。因此，可以重写（覆盖）基类的析构函数，以处理派生类特有的资源清理需求。
尤其是父类的析构函数强力建议设置为虚函数，这样动态释放父类指针所指的子类对象时，能够达到析构的多态。
5.C++11 override 和 final
从上面可以看出，C++对函数重写的要求比较严格，但是有些情况下由于疏忽，可能会导致函数名字母次序写反而无法构成重载，而这种错误在编译期间是不会报出的，只有在程序运行时没有得到预期结果才来debug会得不偿失，因此：C++11提供了override和final两个关键字，可以帮助用户检测是否重写。
- final：修饰虚函数，表示该虚函数不能再被重写
例如：
class Person {
public:
virtual void BuyTicket() final { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
结果如下：
- override: 检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错。
class Person {
public:
virtual void BuyTicket(){ cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
virtual void BuyTicket() override{ cout << "买票-半价" << endl; }
};
如下图所示，屏蔽了基类的虚函数，派生类的函数没有重写，编译报错：
6.重载、覆盖(重写)、隐藏(重定义)的对比
7.抽象类
在虚函数的后面写上 =0 ，则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。
派生类继承后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。
例如：
//抽象类
class Person {
public:
virtual void BuyTicket() = 0;
};
class Student : public Person {
public:
virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
注意：普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。所以如果不实现多态，不要把函数定义成虚函数。
8.结语
对于多态，我们可以将其理解为同一件事，不同的对象去做会有不同的状态，这就构成了多态，这与我们的现实生活息息相关，比如上文中举例的买票行为，再比如价格歧视等等。而我们在编程中要实现多态就必须要满足两个条件：一个是基类的指针或引用来调用虚函数，另一个则是基类中定义虚函数并且在派生类中对该虚函数进行重写；这两个条件缺一不可，这与多态实现的底层原理有关，我们后续再了解。对于虚函数重写的两个例外中析构函数的重写要掌握清楚，此外对于重载、重写与重定义的区别我们也要弄明白。以上就是今天的所有内容啦~ 完结撒花~ 🥳🎉🎉
