如何写出优质的C++代码:（四）关于virtual的一些行为

在实际的工作中，我们会进程编写一些基类及其派生类：

class base{......};

class drive1 : public base{......};

class drive2 : public base{......};

这样就实现了base的特制化，在使用这些派生类的时候，我们也通常会使用一个全局的接口来“生产”不同的特制化类：

base* getMyClass(param...){	......}

当我们使用完这个特制化的类之后，会使用delete将这个类销毁掉，以释放掉先前申请的资源，但是这样做真的能将所有的资源释放掉吗，看看以下代码：

class base
{
public:
	base();
	~base() { std::cout << "~base" << std::endl; }

};

class drive : public base
{
public:
	drive();
	~drive() { std::cout << "~drive" << std::endl; }
};

base* getMyClass()
{
	return new drive();
}

int main()
{
	base* myclass = getMyClass();
	delete myclass;
	return 0;
}

看看输出结果：

~base
请按任意键继续. . .

可以看到，因为myclass是base的指针，在main中调用完delete之后，实际上只是执行了基类的析构函数，这个时候，如果在派生类析构函数中，如果也有资源需要释放，将会被忽略，进而出现内存泄漏。

解决的办法是将析构函数定义为virtual：

......
virtual ~base();
......

这样就可以完整释放资源，看看此时的程序的运行结果：

~drive
~base
请按任意键继续. . .

但并不是我们在写任何一个基类的时候，都将析构函数定义为virtual，这样增加了资源的开销，一般的原则是：只有当类中至少含有一个virtual函数，才为它声明virtual析构函数。

换一种思维，对于一个析构函数为non-virtual的类，我们不应该尝试去继承它，因为这样会为程序后面的运行不可预测的恶果。

尽量不要再构造函数中调用Virtual函数，看看下面这段代码：

//基类
class CBase
{
public:
    CBase();
    virtual ~CBase();
public:
    virtual void func1() const;
}

//派生类
class CSon1 : public CBase
{
public:
    CSon1 ();
    virtual ~CSon1 ();
public:
    virtual void func1() const;
}

void CBase::func1() const
{
    func1();
}

接下来声明一个派生类的实例：

CSon1 son;

可以肯定的是，基类CBase的构造函数将会在派生类CSon1调用之前被优先调用，CBase的构造函数中，调用了虚函数func1()，该函数的执行将会与我们预期的结构不一致，这时候CBase中的func1()将会被调用，而非CSon，即使CSon1即将被建立。是的，基类在构造期间，Virtual不会下降到派生类，而此时，“Virtual函数并不是Virtual函数”。因此，尽量不要再构造函数中调用Virtual函数。