抽象类
纯虚函数
-
纯虚函数是一个在基类中声明的虚函数,它在该基类中没有定义具体的操作内容,要求各派生类根据实际需要定义自己的版本,纯虚函数的声明格式为:
virtual 函数类型 函数名(参数表) = 0;
-
带有纯虚函数的类称为抽象类
抽象类
-
带有纯虚函数的类称为抽象类:
class 类名 { virtual 类型 函数名(参数表)=0; //其他成员…… }
抽象类作用
-
抽象类为抽象和设计的目的而声明
-
将有关的数据和行为组织在一个继承层次结构中,保证派生类具有要求的行为。
-
对于暂时无法实现的函数,可以声明为纯虚函数,留给派生类去实现。
注意
-
抽象类只能作为基类来使用。(规范对外接口)
-
不能定义抽象类的对象。(不能实例化)
例8-6 抽象类举例
#include <iostream>
using namespace std;class Base1 {//抽象基类
public:virtual void display() const = 0; //纯虚函数
};class Base2: public Base1 {
public:virtual void display() const; //覆盖基类的虚函数
};
void Base2::display() const {cout << "Base2::display()" << endl;
}class Derived: public Base2 {
public:virtual void display() const; //覆盖基类的虚函数
};
void Derived::display() const {cout << "Derived::display()" << endl;
}
void fun(Base1 *ptr) {ptr->display();
}
int main() {Base2 base2;Derived derived;fun(&base2);fun(&derived);return 0;
}
运行结果:
Base2::display()
Derived::display()
C++11:override 与 final
override
-
多态行为的基础:基类声明虚函数,继承类声明一个函数覆盖该虚函数
-
覆盖要求: 函数签名(signatture)完全一致
-
函数签名包括:函数名 参数列表 const
下列程序就仅仅因为疏忽漏写了const,导致多态行为没有如期进行
显式函数覆盖
- C++11 引入显式函数覆盖,在编译期而非运行期捕获此类错误。 - 在虚函数显式重载中运用,编译器会检查基类是否存在一虚拟函数,与派生类中带有声明override的虚拟函数,有相同的函数签名(signature);若不存在,则会回报错误。
final
-
C++11提供的final,用来避免类被继承,或是基类的函数被改写 例: struct Base1 final { };
struct Derived1 : Base1 { }; // 编译错误:Base1为final,不允许被继承
struct Base2 { virtual void f() final; };
struct Derived2 : Base2 { void f(); // 编译错误:Base2::f 为final,不允许被覆盖 };