虚函数

多态和虚函数

考虑有一个animal基类和一个派生类cat：

class Animal
{
public:
    void say()
    {
        cout << "animal words" << endl;
    }
};

class Cat : public Animal
{
public:
   void say()
    {
        cout << "miaomiao"<< endl;
    }
};

如果我们有其它像Dog、Bird等Animal的派生类，并且我们需要将这些不同Animal放到某个数据结构中。由于数据结构只能是容纳同种类型的数据，因此我们需要在声明Cat、Dog、Bird的时候，都把它们声明为Animal. 这时，我们看say()函数：

int main()
{
    Animal *cat = new Cat();
	cat->say();               //输出"animal words"
}

可见，cat的say()并不是cat这个类特别定义了的内容，而是基类Animal的。让cat这个类特别定义了的say()展现出来，就叫做多态。实现多态的方法就是虚函数，即在基类加virtual:

class Animal
{
public:
    virtual void say()
    {
        cout << "animal words" << endl;
    }
};

这时再执行上面的main()函数，输出结果就是"miaomiao".

虚函数表

在Animal没有使用虚函数前，cat这个实例对象的say()函数的地址在程序编译阶段就确定好了（叫early bounding），而我们将其声明为Animal，所以就是Animal这个类的say(). 而使用virtual的效果则是，say()函数的地址不在编译时确定，而是在运行时确定（late bounding）——通过一个叫虚函数表的东西来实现。
当一个基类中的函数声明为virtual时，编译器就会给这个类一个虚函数表（链表），表中存储了所有虚函数的地址。当派生类把基类的函数覆盖掉时（就像cat里的say()函数），派生类虚函数表里的这个函数地址也会相应地覆盖掉（基类的）。那么在运行阶段就会确切地把这个函数作用出来。

纯虚函数

如果把Animal类改成下面这样：

class Animal
{
public:
    virtual void say() = 0;
};

那么say()就是一个纯虚函数（完全没有定义函数），这时Animal就叫做抽象类（含一个以上纯虚函数的类）。抽象类不能实例化。这种类一般是用作公共接口。