虚函数

初识虚函数

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

一般虚函数成员

• 虚函数的声明

  virtual 函数类型 函数名（形参表）;

• 虚函数声明只能出现在类定义中的函数原型声明中，而不能在成员函数实现的时候。

• 在派生类中可以对基类中的成员函数进行覆盖。
• 虚函数一般不声明为内联函数，因为对虚函数的调用需要动态绑定，而对内联函数的处理是静态的。

virtual 关键字

• 派生类可以不显式地用virtual声明虚函数，这时系统就会用以下规则来判断派生类的一个函数成员是不是虚函数：
  • 该函数是否与基类的虚函数有相同的名称、参数个数及对应参数类型；
  • 该函数是否与基类的虚函数有相同的返回值或者满足类型兼容规则的指针、引用型的返回值；
• 如果从名称、参数及返回值三个方面检查之后，派生类的函数满足上述条件，就会自动确定为虚函数。这时，派生类的虚函数便覆盖了基类的虚函数。
• 派生类中的虚函数还会隐藏基类中同名函数的所有其它重载形式。
• 一般习惯于在派生类的函数中也使用virtual关键字，以增加程序的可读性。

  #include <iostream>
  using namespace std;
  
  class Base1 {
  public:
      virtual void display() const;  //虚函数
  };
  void Base1::display() const {
      cout << "Base1::display()" << endl;
  }
  
  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() {    
      Base1 base1;
      Base2 base2;
      Derived derived;    
      fun(&base1);
      fun(&base2);
      fun(&derived);
      return 0;
  }

  
  

• 虚析构函数

  为什么需要虚析构函数？ - 可能通过基类指针删除派生类对象； - 如果你打算允许其他人通过基类指针调用对象的析构函数（通过delete这样做是正常的），就需要让基类的析构函数成为虚函数，否则执行delete的结果是不确定的。

  #include <iostream>
  using namespace std;
  class Base{
  public:
      virtual ~Base();
  };
  Base::~Base()
  {
    cout << "Base ";
  }
  class Derived: public Base{
  public:
      virtual ~Derived();
  };
  Derived::~Derived(){
      cout << "Derived ";
  }
  void fun(Base *b)//*b为指针对象？
  {
      delete b;
  }
  int main(int argc, const char * argv[]) {
      Base *b = new Derived();//
      fun(b);
      return 0;
  }

  
  
  
• 上面的代码输出结果为：Derived Base                                                                                                                                                               先析构Derived对象，在进入 基类析构函数
  

• 虚表与动态绑定

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

  虚表示意图