虚函数用于多态。比如在游戏中，所有的玩家和敌人都可以继承同一个游戏角色类，其内部的更新函数和渲染函数是虚函数。用一个基类指针数组来储存这些不同的玩家和敌人，更新和渲染时只需一个for循环就好了，省去了很多功夫。

设想一下如下场景：
你有一个UI库，有很多组件，如TextEditor,Button等，它们都是以UIBase为基类的；
现在，你要遍历所有的组件，找出所有类型为Button的组件

那么使用虚方法就能很轻松地实现：
首先为UIBase添加一个虚方法char* GetType()（在这个例子中，其实添加为纯虚方法更合适一点），然后每个子类都重写GetType()，比如Button类就重写为char* GetType(){return "Button";}

由于我可以用基类指针保存子类对象，那么我只要维护一个数组UIBase *a[]，每次新建元素的时候都加入到a当中，那么回到我的需求上来，只要执行for(k in a) if(k->GetType()=="Button"){...}

C++虚函数： 多态的实现必不可少一部分。 多态？ -> 代码复用的最高境界，工程意义，调用未来。

C++没有接口， 如何实现？ 纯虚函数接口类。

虚析构， 接口的封装和设计。

原理:动态链编

举个例子：

比如说，如果Mammal和Dog都定义了虚函数 virtual void do()。此时你定义了一个函数

void fun(Mammal * ani)
{
    ani->do();
}

Mammal * ani = new Dog();
fun(ani);

那么此时，参数可以传入Mammal或者Dog对象指针。如上一段代码，由于ani指针所指向的对象，实际类型是Dog,所以调用ani->do()时，由于do是虚方法，所以将调用Dog::do()。

但是如果do不是虚方法，那么ani->do()实际执行的将是Mammal::do();

关于这些东西，在《深度探索C++对象模型》这本书里面有比较详细的描述。
虚函数涉及到的是运行时绑定，非虚函数是编译时绑定。
举个例子。

#include <iostream>
using namespace std;
class A{
  public:
  void f1(){cout<<"A::f1"<<endl;}
  virtual void f2(){cout<<"A::f2"<<endl;}
};

class B:public A{
  public:
  void f1(){cout<<"B::f1"<<endl;}
  virtual void f2(){cout<<"B::f2"<<endl;}
};

class C:public A{
  public:
  void f1(){cout<<"C::f1"<<endl;}
  virtual void f2(){cout<<"C::f2"<<endl;}
};

int main()
{
  A* p = 0;
  char t;
  cin>>t;
  switch(t){
    case 'B':
    case 'b':
      p = new B;break;
    case 'C':
    case 'c':
      p = new C;break;
    case 'A':
    case 'a':
    default:
      p = new A;
  }
  p->f1();    // 这里将始终输出 A::f1，编译时候就确定了
  p->f2();    // 这里是在运行时才能确定的
              // p指向的对象中包含虚函数指针，指向虚函数表
              // 调用f2的时候是根据这个指针去确定使用哪一个的
}