继承可以实现代码复用,但它的主要用处是可以实现多态。
多态
一、概念
多态是指完成某个行为时,当不同的对象去完成会产生出不同的状态
举个例子:买票的时候,成人票全价,儿童票半价
简单的说:就是用基类的引用指向子类的对象。
二、分类
①动态多态:在程序运行时确定函数行为。(动态绑定,晚绑定)
- 虚函数的重写(覆盖):派生类中有一个跟基类的完全相同虚函数,我们就称子类的虚函数重写了基类的虚函数,完全相同是指:函数名、参数、返回值都相同。(返回值无要求)
②静态多态:在编译期间确定函数行为。(静态绑定,早绑定)
静态多态有两种实现方式:
- 函数重载:包括普通函数的重载和成员函数的重载。
- 函数模板的使用。
三、实现条件
多态的实现:多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。
在C++继承中,要构成多态必须满足两个条件:
- 基类中必须包含虚函数,且在派生类中必须对基类的虚函数进行重写。
- 调用虚函数的对象必须是基类的指针或者引用(指针或引用保证在动态期间绑定)。
虚函数:在类的成员函数的前面加virtual关键字。
class A { public: virtual void Test() { } };
虚函数的重写:派生类中有一个跟基类的完全相同虚函数,我们就称派生类的虚函数重写了基类的虚函数。
(完全相同是指:函数名、参数列表、返回值类型都相同。另外虚函数的重写也叫作虚函数的覆盖)
(例外:协变、析构)
class Person { public: virtual void BuyTicket() { cout << "买票-全价" << endl; } }; class Student : public Person { public: virtual void BuyTicket() { cout << "买票-半价" << endl; } }; void Test(Person& p) { p.BuyTicket(); } int main() { Person ps; Student st; Test(ps); Test(st); system("pause"); return 0; }
虚函数重写有一个例外:
协变:重写的虚函数的返回值可以不同,但是必须分别是基类指针和派生类指针或者基类引用和派生类引用。
析构函数的重写问题:
基类中的析构函数如果是虚函数,那么派生类的析构函数就重写了基类的析构函数。这里他们的函数名不相同,看起来违背了重写的规则,但实际上,编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理成destructor,这也说明:基类的析构函数最好写成虚函数。
class Person { public: virtual ~Person() { cout << "~Person()" << endl; } }; class Student : public Person { public: virtual ~Student() { cout << "~Student()" << endl; } }; // 只有派生类Student的析构函数重写了Person的析构函数,下面的delete对象调用析构函数, // 才能构成多态,才能保证p1和p2指向的对象正确的调用析构函数。 int main() { Person* p1 = new Person; Person* p2 = new Student; delete p1; delete p2; system("pause"); return 0; }
虚函数为什么不能是static:
- 静态成员函数,可以不通过对象来调用,即没有隐藏的this指针
- 虚函数一定要通过对象来调用,即有隐藏的this指针
抽象类
接口继承和实现继承:
- 普通函数的继承是一种实现继承,派生类继承了基类函数,可以使用函数,继承的是函数的实现。
- 虚函数的继承是一种接口继承,派生类继承的是基类虚函数的接口,目的是为了重写,达成多态,继承的是接口。
所以如果不实现多态,不要把函数定义成虚函数。
在虚函数的后面写上 =0 ,则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类(也叫接口类),抽象类不能实例化出对象。派生类继承后也不能实例化出对象,只有重写纯虚函数,派生类才能实例化出对象。纯虚函数规范了派生类必须重写,另外纯虚函数更体现出了接口继承。
举个例子:
class Person
{
public:
virtual void BuyTicket() = 0;
};
class Student :public Person
{
public:
virtual void BuyTicket()
{
cout << "买票-半价" << endl;
}
};
class Adult :public Person
{
public:
virtual void BuyTicket()
{
cout << "买票-全价" << endl;
}
};
void Test()
{
Person* pStudent = new Student;
pStudent->BuyTicket();
Person* pAdult = new Adult;
pAdult->BuyTicket();
}
int main()
{
Test();
system("pause");
return 0;
}
此外,C++11提供 final 和 override 来修饰虚函数:
- final:使用final修饰虚函数,表明该虚函数在后续子类中不能被重写,一般修饰在派生类的虚函数中。
- override:帮助检测派生类中该虚函数是否是对基类中某个虚函数的重写,只能限制派生类的虚函数(基类中使用无意义)
实际中我们建议多使用纯虚函数+ overrid的方式来强制重写虚函数,因为虚函数的意义就是实现多态,如果没有重写,虚函数就没有意义。