Effective C++ 学习笔记14

条款14：确定基类有虚析构函数

我们可以用静态数据成员和静态函数来处理一个类所拥有的对象数。

例如：

#include <iostream>

class EnemyTarget 
{
public:
	EnemyTarget() //初始化方式1
	{
		++numTargets;
	}

	EnemyTarget(const EnemyTarget&)  //初始化方式2
	{
		++numTargets;
	}

	~EnemyTarget() 
	{
		--numTargets; 
	}

	static size_t numberOfTargets()
	{ 
		return numTargets; 
	}

	virtual bool destroy(){return 0;} // 摧毁 EnemyTarget 对象后
	// 返回成功
private:
	static size_t numTargets ; // 对象计数器
};

size_t EnemyTarget::numTargets = 0;

class EnemyTank: public EnemyTarget 
{
public:
	EnemyTank()
	{
		++numTanks; 
	}
	EnemyTank(const EnemyTank& rhs)	: EnemyTarget(rhs)
	{ 
		++numTanks; 
	}

	~EnemyTank() 
	{ 
		--numTanks;
	}

	static size_t numberOfTanks()
	{ 
		return numTanks;
	}

	virtual bool destroy(){return 0;}

private:
	static size_t numTanks; // 坦克对象计数器
};

size_t EnemyTank::numTanks = 0;

int main()
{
	EnemyTank *tank1 = new EnemyTank;
	EnemyTarget *target1 = tank1;
	delete target1;
	return 0;
}

以上的代码运行的时候也不会报错，但是它有个致命的问题，就是用父类的指针来删除子类的对象，因为析构函数不是虚函数，所以这里只删除了子类中父类的部分，子类的析构函数并没有被调用，所以坦克的数量并没有减1，而总的目标数却减1了。

解决上述问题的方法很简单，就是把父类的析构函数设为虚析构函数，这样就应用了C++的多态性。

一般来说，只有基类才需要有虚函数，滥用虚析构函数有时候也会出现问题，例如：

// 一个表示 2D 点的类
class Point {
public:
  Point(short int xCoord, short int yCoord);
  ~Point();
private:
  short int x, y;
};

这个类对象的大小为32字节（16 + 16），正好可以塞入一个寄存器，如果加入了虚析构函数，那么对象大小将会变成32+4（虚函数表指针的大小为4字节），这样会产生可移植性和单个对象无法塞入寄存器等问题。

下面讨论另一个问题，类Base作为一个基类，想让他作为抽象类，但又不想给他设置纯虚函数，这时候你可以把析构函数设置为纯虚函数，但是记得一定要在类外定义它，因为delete子类的时候，要用到基类的析构函数。

关于内联虚析构函数，请参考条款33。