动态联编与静态联编

#include <iostream>

using namespace std;

class base
{
public:
	virtual void f1(){
		cout<<"f1 of base"<<endl;
	}

	~base(){
		cout<<"destructor base"<<endl;
	}
};

class derive:public base
{
public:
	void f1(){
		cout<<"f1 of derive"<<endl;
	}
	~ derive(){
		cout<<"destructor derive"<<endl;
	}
};

int main(){
	base * pb1 = new base;     //声明基类型的指针，指向实际的基类型对象
	base * pb2 = new derive;   //声明基类型的指针，指向实际的子类型对象
	pb1->f1();                 //调用虚函数
	delete pb1;                //删除对象(调用析构函数)
	pb2->f1();                 //调用虚函数
	delete pb2;                //删除对象(调用析构函数)
}

输出为：
f1 of base
destructor base
f1 of derive
destructor base
说明：
只要将基类的函数设置为虚函数，那么所有覆盖它的子类的函数也都是虚函数，而不需要再使用virtual关键字声明了。
[color=red]调用虚函数f1时，使用的是动态联编，它是根据运行时pb1,pb2指针所指向的对象的实际类型来调用函数。
调用析构函数时，由于它不是虚函数，采用的是静态联编，它是根据指针pb1,pb2的声明类型来调用函数的。[/color]
解决这个问题的方法是将base类的析构函数声明为virtual。