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

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

      C++中明确规定：为derived class对象经由base class指针删除时，而该base class指针带有一个non-virtual函数时，其结果未定义--实际执行时通常发生的是derived对象没有被销毁。

1、时钟例子

class TimeKeeper
{
public:
	TimeKeeper()
	{
		cout<<"TimeKeeper construction\n";
	}

	~TimeKeeper()
	{
		cout<<"TimeKeeper destruction\n";
	}
};

//本例只是说明虚析构函数作用，那些自定义拷贝构造函数、拷贝赋值函数不考虑
class AtomicClock : public TimeKeeper
{
public:
	AtomicClock(const char* time) : TimeKeeper()
	{
		cout<<"AtomicClock construction\n";

		this->m_time = new char[strlen(time) + 1];
		strcpy(this->m_time, time);
	}
	~AtomicClock()
	{
		cout<<"AtomicClock destruction\n";

		if (this->m_time != NULL)
			delete m_time;
		m_time = NULL;
	}
private:
	char *m_time;
};

调用

	TimeKeeper *pTime = new AtomicClock("2014:5:24");
	delete pTime;
	pTime = NULL;

结果如下：
TimeKeeper construction
AtomicClock construction
TimeKeeper destruction

    新创建一个AtomicClock对象，调用基类构造函数，再调用本类构造函数，然后将地址赋给基类指针，释放基类指针，只是调用基类析构函数，AtomicClock对象没有被析构，里面的动态成员没有被释放内存，导致内存泄露。

    消除这种情况，只需要将基类析构函数声明为虚析构函数

	virtual ~TimeKeeper()
	{
		cout<<"TimeKeeper destruction\n";
	}

同样调用，结果如下

TimeKeeper construction
AtomicClock construction
AtomicClock destruction
TimeKeeper destruction

2、虚函数指针

       一个class被当做base class，那些一般都是可以对derived class动态调用，实现对基类客制化，即同一个函数接口可以由derived class实现不同的行为，这通过虚函数接口实现，class中存在虚函数，那么几乎需要存在一个虚析构函数。

       如果一个类不含有虚函数，而且不是当做基类，就为该class声明虚析构函数。类有虚函数会存在代价的

①移植困难

看下面代码

class Point
{
public:
	Point(const int x, const int y) : m_x(x), m_y(y)
	{

	}
	~Point() {}
private:
	int m_x;
	int m_y;
};

调用，赋给C语言结构体

	Point point(4, 5);

	typedef struct 
	{
		int x;
		int y;
	} Point_C; //c语言结构体

	Point_C *pc = (Point_C *)&point;

	cout<<"X:"<<pc->x<<" Y :"<<pc->y<<endl;

调用结果,是我们想得到的
X:4 Y :5

将析构函数改成虚析构函数后

virtual ~Point() {}

同样调用结果

X:3359148 Y :4

看到的结果，X的值是一个指针的地址值（vptr，下面详说）， Y是第二个值。

②增大内存开销

       一个class存在虚函数，那些编译器为该类生成一个vptr（虚函数指针），占用内存4 byte，vptr主要是指向本类中的虚函数地址列表（vtbl）,是一个数组，每个元素存放虚函数地址。vptr在类中空间部署，有些编译器是放在开头，如上面X就是虚函数地址，有些是放在后面。

       如果系统中存在很多这样的函数，那会额外占用很大的内存，特别是对一些内存有限制的系统。

3、纯虚析构函数

    抽象类

        抽象类不能够实例化对象，只能通过指针指向derived class对象，实现多态性机制。但抽象类的定义需要有一个pure 虚函数，如果一个abstract class类中没有其他函数当做pure 虚函数，那么令析构函数为pure virtual 函数是一个良好的做法，这样该类既有虚析构函数，又可以将其抽象。

将TimeKeeper类定义为抽象类可如下，注意一点：纯虚析构函数必须定义，因为析构函数的运作方式是：先调用最深层的derived class析构函数，最后调用base class析构函数，如果不定义，则连接器会报错

	virtual ~TimeKeeper() = 0
	{
		cout<<"TimeKeeper destruction\n";
	}

并非所有的base类都用来设计成多态性，如实现对象的继承性，后续会详细说明

记住：

1、polymorphic(带多态性质的) base classes应该声明一个virtual 析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数。
2、Classes的设计目的如果不是作为base classes使用，或不是为了具备多态性质(polymorphically)，就不该声明virtual析构函数。