1.多态的定义
定义:不同的人做同一事情会产生不同的形态(比如说,买车票,学生七五折,成人全票......)
就是在不同继承关系的类对象在调用同一函数时,产生不同的效果。
2.虚函数
2.1虚函数的定义
被virtual修饰的类成员函数叫做虚函数
class Person
{
public:
virtual void BuyTicket() { cout << "买票-》全票" << endl; }
};
2.2虚函数的重写(重写是一种特殊的隐藏)
派生类中有一个跟基类完全相同的虚函数**(即派生类虚函数与基类虚函数的返回值类型、函数名字、参数列表完全相同****)**,称子类的虚函数重写了基类的虚函数。
class Person
{
public:
virtual void BuyTicket() { cout << "买票-》全票" << endl; }
};
class Student :public Person
{
public:
//以前在继承中说到过隐藏的概念,但是在多态中叫重写
virtual void BuyTicket() { cout << "买票-》半价" << endl; }
};
这就是一个标准的多态行为

2.2.1虚函数重写的特例---协变(基类与派生类的返回值类型不同)
基类虚函数返回基类对象的指针或者引用,派生类虚函数返回派生类对象的指针或者引用
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; }
};
2.2.2析构函数的重写
规则:
-
基类的析构函数必须加virtual(虚析构),才能让派生类的析构函数 "覆盖" 它。
-
派生类的析构函数不用写virtual(但写了也没事),只要基类是虚析构,销毁时就会从子类到父类依次调用析构函数(先儿子后爸爸)。
-
编译后析构函数的名称统一处理成destructor。
class Person {
public:
virtual ~Person()
{
cout << "~Person" << endl;
}
};
class Student:public Person
{
public:
~Student()
{
cout << "~Student" << endl;
}
};
int main()
{
//用父类的指针指向子类
Person* p1 = new Student;
delete p1;//会先调用父亲的析构,在调用儿子的析构
return 0;
}
因此析构函数一定建议写成虚函数
2.3多态的条件(缺一不可)
- 虚函数重写(虚函数是指被重写的函数是虚函数,要重写的函数不必是虚函数,但是建议都把virtual;其次,多态不一定非得是父类和子类,也可以是多个子类之间生成多态)
- 父类指针或者引用调用虚函数
3.重载、覆盖**(重写)、隐藏(重定义)**的对比

多态调用,看指向者的类型,指向谁就调用谁的虚函数;
普通调用,看调用者的类型,调用调用者的函数;
4.c++11 override和final
-
final:修饰虚函数,表示改虚函数不能再被重写
class Car
{
public:
virtual void Drive()final{}
};
class Benz :public Car
{
public:
//该Drive不能被重写
virtual void Drive() { cout << 11 << endl; }
};
同理,如果一个类不想被继承,那么在类名之后也加final
class A final
{
};
或者可以将构造函数私有
class A
{
private:
A(){}//这样派生类就无法生成对象了
//因为我们规定派生类的构造函数必须依靠基类的构造函数
};
-
override:检查派生类虚函数是否重写了基类某个虚函数,如果没有重写,编译报错
class Car
{
public:
virtual void Drive(){}
};
class Benz :public Car
{
public:
//
virtual void Drive() override { cout << "苏轼" << endl; }
};