前言:这篇文章将分享C++的最后一大特性——多态。
一.什么是多态
所谓多态,就是多种形态,具体来说就是当要去完成某个行为时,不同的对象去完成时会产生不同的状态。
举个例子,同样都是人,大学生坐火车,高铁可以打折,而其他人却不行。
再比如,一个群发红包,每个人抢到的钱数可能又不一样。
二.多态的定义
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 p;
Student s;
Func(p);
Func(s);
return 0;
}
在父类和子类中定义了一个同名的函数BuyTicket,它们被一个关键字——virtual所修饰。
由virtual修饰的函数称为虚函数,派生类中可以存在一个与父类完全相同的虚函数(返回值类型,函数名,参数列表完全相同),称为虚函数的重写,即子类的虚函数重写了父类的虚函数。
随后是一个全局函数Func,它供我们去调用虚函数,能够看出它的参数是Person引用类型,但是当我们传Student类型的对象时,结果如下:
能够看出p和s谁传入Func,就会调用谁的BuyTicket。
多态构成的两个条件:
- 虚函数的重写。
- 使用父类的指针或引用去调用。(指针未展示,但同理)
值得注意的一点是,虚函数的重写,重写的是函数体的实现({}内的部分),函数的结构部分(函数名,参数列表,返回值)用的都是父类的。
子类虚函数的val为0,但是结果却为父类的1。
三.抽象类
一个虚函数只有定义,但没有结构,反而在定义的后边加上“= 0”,则该函数称为纯虚函数:
virtual void BuyTicket() = 0;
拥有纯虚函数的类称为抽象类,抽象类不能定义出对象:
抽象类的子类也不能定义出对象:
只有当子类重写了纯虚函数之后才能才能定义出对象,但抽象类仍然不能定义对象:
但是抽象类可以定义指针通过子类对象调用子类函数:
抽象类的作用就是强制子类去重写纯虚函数,实际用途不大。