C++多态

初识虚函数

• 用virtual关键字说明的函数
• 虚函数是实现运行时多态的基础
• C++中虚函数是动态绑定的函数
• 虚函数必须是非静态的成员函数，虚函数经过派生之后，就可以实现运行过程中的多态。
• 一般成员函数可以是虚函数
• 构造函数不能是虚函数
• 析构函数可以是虚函数

一般虚构函数成员

• 虚函数的声明
  virtual函数类型 函数名（形参表）
• 虚函数声明只能出现在类定义中的函数原型声明中，而不能在成员函数实现的时候。

虚表与动态绑定

• 虚表
  • 每个多态类有一个虚表(virtual table)
  • 虚表中有当前类的各个虚函数的入口地址
  • 每个对象有一个指向当前类的虚表的指针（虚指针vptr）
• 动态绑定的实现
  • 构造函数中为为对象的虚指针赋值
  • 通过多态类型的指针或引用调用成员函数时，通过许指针找到虚表，进而找到所
    所调用的虚函数的入口地址
  • 通过该入口地址调用虚函数

抽象类

纯虚函数

• 纯虚函数是一个在基类中声明的虚函数，它在基类中没有定义具体的操作内容，要求各派生类
  根据实际需要定义自己的版本，纯虚函数的声明格式为：
  virtual 函数类型 函数名（参数表） = 0;
• 带有纯虚函数的类称为抽象类

抽象类

• 带有纯虚函数的类称为抽象类
  class 类名 { virtual 类型 函数名(参数表)=0;//其他成员…}

C++11:override与final
override

• 多态行为的基础：基类声明虚函数，继承类声明一个函数覆盖该虚函数
• 覆盖要求：函数签名(signatture）完全一致
• 函数签名包括：函数名 参数列表 const

显式函数覆盖

-C++11引入显式函数覆盖，在编译器而非运行期捕获此类错误。

• 在虚函数显示重载中运用，编译器会检查基类是否存在一虚函数，与派生类
  中带有声明override的虚拟函数，有相同的函数签名(signature)，若不存在，则会回报错误。

final

• C++11提供的final，用来避免类被继承，或是基类的函数被改写，例：
  struct Base1 final{ };
  struct Derived:Basse1{ };//编译错误：Base1为final，不允许被继承
  struct Base2{ virtual void f() final;};
  struct Derived2 : Base2{ void f();// 编译错误：Base2::f为final，不允许被覆盖 };