以单一指令唤起不同函数，这种性质称为Polymorphism，意思是"the ability toassume many forms"，也就是多态。虚拟函数是C++ 语言的Polymorphism 性质以及动态绑定的关键。如果你期望衍生类别重新定义一个成员函数，那么你应该在基础类别中把此函数设为virtual。

既然抽象类别中的虚拟函数不打算被调用，我们就不应该定义它，应该把它设为纯虚拟函数（在函数声明之后加上"=0" 即可）。我们可以说，拥有纯虚拟函数者为抽象类别（abstract Class），以别于所谓的具象类别（concrete class)。抽象类别不能产生出对象实体，但是我们可以拥有指向抽象类别之指针，以便于操作抽象类别的各个衍生类别。虚拟函数衍生下去仍为虚拟函数，而且可以省略virtual 关键词。

那么C++中的虚函数和纯虚函数有什么区别呢？下面就给出具体的对比：

（1）虚函数和纯虚函数可以定义在同一个类(class)中，含有纯虚函数的类被称为抽象类（abstract class），而只含有虚函数的类（class）不能被称为抽象类（abstract class）。

（2）虚函数可以被直接使用，也可以被子类（sub class）重载以后以多态的形式调用，而纯虚函数必须在子类（sub class）中实现该函数才可以使用，因为纯虚函数在基类（base class）只有声明而没有定义。

（3）虚函数和纯虚函数都可以在子类（sub class）中被重载，以多态的形式被调用。

（4）虚函数和纯虚函数通常存在于抽象基类（abstract base class -ABC）之中，被继承的子类重载，目的是提供一个统一的接口。

（5）虚函数的定义形式：virtual {method body} 纯虚函数的定义形式：virtual { } = 0;

在虚函数和纯虚函数的定义中不能有static标识符，原因很简单，被static修饰的函数在编译时候要求前期bind,然而虚函数却是动态绑定（run-time bind），而且被两者修饰的函数生命周期（life recycle）也不一样。

（6）如果一个类中含有纯虚函数，那么任何试图对该类进行实例化的语句都将导致错误的产生，因为抽象基类（ABC）是不能被直接调用的。必须被子类继承重载以后，根据要求调用其子类的方法。

下面使用一个例子来说明这个问题：

//father class class Virtualbase { public: virtual void Demon()= 0; //prue virtual function virtual void Base() {cout<<"this is farther class"<}; } //sub class class SubVirtual :public Virtualbase { public: void Demon() { cout<<" this is SubVirtual!"<<endl;} void Base() { cout<<"this is subclass Base"<<endl;} } void main() { Virtualbase* inst = new SubVirtual(); //multstate pointer inst->Demon(); inst->Base(); // inst = new Virtualbase(); // inst->Base() return ; }