多态
多态,通俗的讲,就是多种状态,具体点来说就是去完成某种行为,当不同的对象去完成时会产生不同的状态。
多态的构成条件
多态是在不同继承关系的类对象,去调用同一函数,产生了不同的行为。
那么在继承中要构成多态还有两个条件:
1. 必须通过基类的指针或者引用调用虚函数
2. 被调用的函数必须是虚函数,且派生类必须对基类的虚函数进行重写
virtual 关键字
可用来修饰继承条件变为虚拟继承
修饰类成员成员函数使之为虚函数
虚函数的重写(覆盖):
派生类中有一个跟基类完全相同的虚函数(即派生类虚函数与基类虚函数的返回值类
型、函数名字、参数列表完全相同),称子类的虚函数重写了基类的虚函数。
虚函数重写的两个例外:
1. 协变(基类与派生类虚函数返回值类型不同)
派生类重写基类虚函数时,与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或者引用,派生类虚函数返回派生类对象的指针或者引用时,称为协变。
2. 析构函数的重写(基类与派生类析构函数的名字不同)
如果基类的析构函数为虚函数,此时派生类析构函数只要定义,无论是否加virtual关键字,都与基类的析构函数构成重写,虽然基类与派生类析构函数名字不同。虽然函数名不相同,看起来违背了重写的规则,其实不然,这里可以理解为编译器对析构函数的名称做了特殊处理,编译后析构函数的名称统一处理成destructor。
在c++11中有两个关键字 final 和 override
1. final:修饰虚函数,表示该虚函数不能再被继承
2. override: 检查派生类虚函数是否重写了基类某个虚函数,如果没有重写编译报错。