C++ 多态(2)：虚析构函数的必要性

        当存在继承关系时，有时候把基类的析构函数声明为虚函数是非常有必要甚至是必须的！

        先看下面的例子：

#ifndef VIRTUAL_DESTRUCTOR_H
#define VIRTUAL_DESTRUCTOR_H

#include <string>
#include <iostream>
using namespace std;

class Base{
public:
	Base();
	~Base(); 
//	virtual ~Base(); //将基类的析构函数声明为虚函数
	
	char* Base_strs;
};
Base::Base() {
	this->Base_strs = new char[100];
	std::cout << "  Base constructor" << std::endl;
}
Base::~Base() {
	delete[] Base_strs;
	std::cout << "  Base deconstructor" << std::endl;
}

class Derived: public Base{
public:
	Derived();
	~Derived();
	
	char* Derived_strs;
};
Derived::Derived() {
	this->Derived_strs = new char[100];
	std::cout << "  Derived constructor" << std::endl;
}
Derived::~Derived() {
	delete[] Derived_strs;
	std::cout << "  Derived deconstructor" << std::endl;
}

#endif


#include "virtual_destructor.h"

int main() {
	Base* pb = new Derived(); //创建派生类对象，先调用基类的构造函数，再调用派生类的构造函数
	//销毁基类指针时，如果基类的构造函数没有声明为虚函数，那么只会调用基类的构造函数，不会调用派生类的构造函数，这样会造成内存泄露
	delete pb; 
	
	std::cout << "==========================" << std::endl;
	
	Derived* pd = new Derived(); //创建派生类对象，先调用基类的构造函数，再调用派生类的构造函数
	//销毁派生类指针时，会先调用派生类的析构函数，然后再去调用基类的析构函数，不会造成内存泄露
	delete pd;
	
	return 0;
}

1、不将基类的析构函数声明为虚函数，运行结果如下图，可以看到在销毁pb时，不会调用派生类的析构函数，会创造内存泄露。因为这里的析构函数是非虚函数，通过指针访问非虚函数时，编译器会根据指针的类型来确定要调用的函数。pb 是基类型的指针，所以不管它指向基类的对象还是派生类的对象，始终都是调用基类的析构函数。

2、将基类的析构函数声明为虚函数后，派生类的析构函数也会自动成为虚函数。这个时候编译器会忽略指针的类型，而根据指针的指向来选择函数；也就是说，指针指向哪个类的对象就调用哪个类的函数。pb、pd 都指向了派生类的对象，所以会调用派生类的析构函数，继而再调用基类的析构函数。如此一来也就解决了内存泄露的问题。