C++特性——多态

多态，顾名思义就是“多种形态”，指的是同一个方法的行为随上下文而异，可以简单地概括为“一个接口，多种方法”。相比于C++的封装和继承，多态的本质是“接口重用”。C++的多态特性是通过虚函数实现的。

虚函数，是指允许被其子类重新定义的成员函数。
C++允许子类重新定义父类虚函数的做法，称为“覆盖”（重写）
在C++中多态分为静态多态和动态多态。

静多态是指发生在程序编译时期绑定的多态，例如函数的重载和模板的实例化都是发生在编译阶段的，所以他们属于静态多态。

动态多态指的是发生在程序运行时期绑定的多态，动态多态依赖于继承和虚函数。
先来看一下代码：

class Base
{
public:
	virtual void fun1()
	{
		cout << "virtual Base: fun1()" << endl;
	}
	void fun2()
	{
		cout << "Base:fun2()" << endl;
	}
private:
	int ma, mb;
};
class Derive:public Base
{
public:
	virtual void fun1()
	{
		cout << "virtual Derive: fun1()" << endl;
	}
private:
	int mc;
};

int main()
{
	Derive d1;
	Base *p = &d1;
	p->fun2();  //#1
	p->fun1();  //#2
	return 0;
}

按照我们的理解，#1发生的是静态多态，调用的将是Base类中的fun2()函数，而#2发生的是动态多态，调用的将是Derive类中的fun1()函数，运行结果如下图。

大家都知道，基类的指针是可以指向派生类的，那么先看一下下面代码：

class Base
{
public:
	Base()
	{
		cout << "Base()" << endl;
	}
	~Base()  //#3
	{
		cout << "~Base()" << endl;
	}
	
private:
	int ma, mb;
};
class Derive:public Base
{
public:
	Derive()
	{
		cout << "Derive()" << endl;
	}
	~Derive()
	{
		cout << "~Derive" << endl;
	}
private:
	int mc;
};

int main()
{
	Base *p=new Derive();
	delete p;
	return 0;
}

当Base类的指针指向Derive类的对象时，如果要通过基类指针释放派生类时，会导致派生类无法调用析构函数，函数的运行结果如下图。

原因很简单，当你通过delete想释放派生类对象的内存时，会导致派生类对象的析构函数无法调用，只调用了基类的析构函数，存在内存资源泄漏的问题。因为delete p这行代码，编译器在编译阶段进行了静态绑定，所以只会调用基类的析构函数。

那么该怎么解决这样的问题呢？

解决的办法其实也很简单，只需要将基类的析构函数用virtual关键字修饰使其成为虚析构函数就会发生动态绑定，因为派生类提供了自己的析构函数，虚函数表中就会写入派生类自己析构函数的地址，这样派生类和基类的析构函数就都可以调用了。

class Base
{
public:
	Base()
	{
		cout << "Base()" << endl;
	}
	virtual ~Base()  //虚析构函数
	{
		cout << "~Base()" << endl;
	}
	
private:
	int ma, mb;
};
class Derive:public Base
{
public:
	Derive()
	{
		cout << "Derive()" << endl;
	}
	~Derive()
	{
		cout << "~Derive" << endl;
	}
private:
	int mc;
};

int main()
{
	Base *p=new Derive();
	delete p;
	return 0;
}

运行结果如下图：

以上，共勉！