多态之虚函数

虚函数实现运行时多态。

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

虚函数一般不声明为内联函数，因为虚函数访问时需要动态绑定，而内联函数是静态的。

virtual关键字可以省略，当基类中已经声明了虚函数，那么派生类中和基类同返回值，同名，同形参的函数即使没有加virtual也可判定为虚函数。

构造函数不可以是虚函数，析构函数可以是虚函数。

为什么需要虚析构函数？

当通过基类指针删除派生类对象时，如果允许他人通过基类指针调用派生类的析构函数（delete），就要将基类的析构函数声明为虚析构函数，否则delete的值是不确定的。

示例代码：虚函数

#include <iostream>
using namespace std;

class Base1 {
public:
    virtual void display() const;
};
void Base1::display() const {
    cout << "Base1's display" << endl;
}

class Base2 : public Base1 {
public:
    virtual void display() const;
};
void Base2::display() const {
    cout << "Base2's display" << endl;
}

class Derived : public Base2 {
public:
    virtual void display() const;
};
void Derived::display() const {
    cout << "Derived's display" << endl;
}
void fun (Base1 *ptr) {
    ptr->display();
}
int main() {
    Base1 b1;
    Base2 b2;
    Derived d;
    fun(&b1);
    fun(&b2);
    fun(&d);
    return 0;
}

运行结果：

如果没有声明为虚函数，则运行结果都是Base1‘s display

虚表和动态绑定

（1）虚表

每个多态类都有一个虚表，虚表里存储了虚函数的入口地址，类对象有一个指向虚表的指针。

（2）动态绑定

构造函数为对象的虚指针赋值，通过虚指针可以找到虚表，通过虚表找到虚函数的入口地址，通过入口地址调用虚函数。

虚表示例代码：

class Base {
public:
    virtual void f();
    virtual void g();
private:
    int i;
};
class Derived : public Base {
public:
    virtual void f();
    virtual void h();
private:
    int j, k;
};

对应的虚表示意图：