条款7：为多态基类声明virtual析构函数

可以通过一个简单的例子来说明问题，我们先定义了简单的基类和派生类：

class Base
{
public:
	Base(){cout<<"base 构造"<<endl;}
//	virtual ~Base(){cout<<"base 析构"<<endl;}
	~Base(){cout<<"base 析构"<<endl;}
	virtual void fun(){cout<<"base fun"<<endl;}
private:

};

class Derived:public Base
{
public:
	Derived(){cout<<"drived 构造"<<endl;}
	~Derived(){cout<<"drived 析构"<<endl;}
	void fun(){cout<<"drived fun"<<endl;}
};
//声明
Base* get();

//获取一个派生类对象
Base* get()
{
	Derived* pd = new Derived;
	return pd;
}

在主函数中：

	Base *pd = get();
	pd->fun();
	delete pd;

则运行结果为：
base 构造
drived 构造
drived fun
base 析构
请按任意键继续. . .
我们发现，虽然我们释放了实际上指向派生类的指针，但是派生类的析构函数并没有被调用！
如果将基类的析构函数声明为virtual，那么就OK了！
相反地，如果这个类并不是基类，那么不要将的析构函数声明为virtual函数。原因与virtual函数的实现机制：虚函数表有关。简单的说，如果要实现虚函数，那么这个对象就会附带一个虚函数表指针指向一个由函数指针组成的数组，这个数组就是虚函数表，当对象使用虚函数时，需要从这张表中寻找适当的函数指针，这大大的增加了开销。


我们还容易犯这样的错误：从标准库中的某个类中继承一个，用作自己的使用。但是，标准库中的很多类是不含virtual函数的！比如，string，STL的容器等等。所以如果你这样写：

class MyString:public string
{
public:
	MyString(string str,int i):s(str),length(i){}
	~MyString(){cout<<"MyString 析构函数"<<endl;}
private:
	string s;
	int length;
};

那么就会有潜在的风险，就是：

	string* pStr = new MyString("aaa");;
	delete pStr;

时，不会调用派生类的析构函数，也就不会释放length。


总之，如果这这个基类在派生过程中要实现多态，那么就需要把它的析构函数设为virtual；如果这个类并不是用作基类或者并不是实现多态，那么就不要设为virtual。