【条款7】Declare destructors virtual in polymorphic classes

class base{
public:
	base() {}
	~base() {}
};

class derived: pubic base {...};

base *ptr = new derived();
delete ptr;

一：这时候就会出现问题，因为一个derived的对象经由一个base class指针删除，而其析构函数又是non-virtual，所以会造成derived class中声明的成员变量可能没被销毁，造成资源泄露等问题。解决方法是：给base class 一个virtual析构函数

virtual ~base() {}

注意：任何class只要带有virtual 函数几乎确定应该也要有一个virtual析构函数。

有两种情况不需要声明virtual析构函数

1.一个class不是作为base class使用;

2.一个类不是为了具备多态性。如条款6中的Uncopyable类

二：实现virtual函数是有代价的，因为对象必须要携带某些信息，以在运行期决定哪一个virtual函数被调用，这份信息通常有一个vptr(virtual table pointer)指针指出。vptr指向一个有函数指针构成的数组，成为vtbl(virtual table)。每一个带有virtual函数的class都有一个相应的vtbl，当对象调用某一virtual函数时，实际被调用的函数取决于该对象的vptr所指的那个vtbl--编译器在其中寻找适当的函数指针。

示例：

class Point{
public:
	Point(int xx, int yy):x(xx),y(yy){}
	~Point() {}
private:
	int x, y;
};

int main()
{	
	Point A(1,1);
	cout<<sizeof(A)<<endl;


	return 0;
}

输出为：8

若将析构函数改为：virtual ~Point();

则输出为：12

三：有时候希望拥有一个抽象类，抽象类必须有纯虚函数，但手上有没有任何纯虚函数，这时候可以求助于析构函数。为该类声明一个纯虚析构函数：

class A{
public:
	virtual ~A() = 0;
};

然而，必须要为这个纯虚函数提供一份定义

A::~A() {}

析构函数的运作方式是：最深层次的那个class的析构函数最先被调用，然后是其每一个base class的析构函数被调用，编译器会在A的derived class的析构函数中创建一个对~A()的调用，所以必须提供一份定义，否则连接器会报错。