C++的虚函数

1. 虚函数的定义
在C++里，虚函数的实现多态的一种方式或者说机制。对一般人来说，虚函数比较玄乎，很多人搞不清楚，今天就简单来介绍下虚函数。虚函数是多态性的基础，其调用方式是动态联编（或者动态绑定），简单来说，就是程序只有在运行时才决定调用的函数是基类的还是子类的。
2. 为何要使用虚函数

上面已经说到，虚函数是实现多态的一种机制。下面看一个例子：

#include <iostream>
#include <cstdio>
using namespace std;
class Base
{
public:
	void print(){
		printf ("Base\n");
	}
};

class DerivedA : public Base{
public:
	void print(){
		printf("Derived A\n");
	}
};

class DerivedB : public Base{
public:
	void print(){
		printf("Derived B\n");
	}
};

int main()
{
	Base *base;
	base = new DerivedA();
	base->print();

	base = new DerivedB();
	base->print();
	system("pause");
}

程序运行结果是：

显然，这不是我们想要的结果，程序的意图是想通过基类Base的指针指向子类，然后通过基本指针调用子类的方法，按照上面的实现方法，不能达到目的，调用的均是基本的print()方法。那么应该如何实现呢？使用虚函数可以实现。看下面的代码：

#include <iostream>
#include <cstdio>
using namespace std;
class Base
{
public:
	virtual void print(){   // 只需要在这个函数前面添加virtual关键字就可以了
		printf ("Base\n");
	}
};

class DerivedA : public Base{
public:
	void print(){
		printf("Derived A\n");
	}
};

class DerivedB : public Base{
public:
	void print(){
		printf("Derived B\n");
	}
};

int main()
{
	Base *base;
	base = new DerivedA();
	base->print(); delete base;

	base = new DerivedB();
	base->print();  delete base;
	system("pause");
}

程序输出结果为

两份代码只有一个地方有区别，就是在基类Base的print函数前面添加了virtual关键字，这样基类的print函数就是虚函数，子类继承Base的时候相应实现print函数(参数类型必须完全相同)，这样就能够使用基类的指针来调用它指向的派生类的想对应的函数了

看到这里，也许你会有疑问：第一种实现方法是符合多态性的啊，要调用DrivedA的print方法，只要创建一个DrivedA的对象，然后调用print方法。如：

int main()
{

	DerivedA a;
	a.print();

	DerivedB b;
	b.print();
}

这也是多态。

不过，如果Base类的子类有很多个，而且根据需求会不断地增加子类，那么在这种情况下，每次调用子类的print方法都通过创建子类对象来实现，创建对象过多，会导致性能下降，特别是调用该方法特别频繁的时候。所以，使用虚函数，只需要声明一个基类指针，就能够调用子类对应的方法，不但性能能够提升，代码可读性也提高了，降低了维护成本。

3. 析构函数与虚函数

在多态当中，一定要将基本的析构函数设置为虚函数并将其实现（可以为空），只有这样，才能够达到按对象构造的逆序来析构对象，否则，析构的时候，只会析构基类的那一部分，派生类的那一部分无法析构，看下面的代码：

#include <iostream>
#include <cstdio>
using namespace std;
class Base
{
public:
	virtual void print(){
		printf ("Base\n");
	}
	~Base(){
		printf("~base\n");
	};
};

class DerivedA : public Base{
public:
	void print(){
		printf("Derived A\n");
	}
	~DerivedA(){
		printf("~DerivedA\n");
	}
};

class DerivedB : public Base{
public:
	void print(){
		printf("Derived B\n");
	}
	~DerivedB(){
		printf("~DerivedB\n");
	}
};

int main()
{
	Base *base;
	base = new DerivedA();
	base->print(); 
	delete base;

	base = new DerivedB();
	base->print();  
	delete base;
	system("pause");
}

刚接触虚函数的同学可能看不出来这段代码有什么问题，如果派生类DerivedA和DerivedB如果动态申请内存了，并且在析构函数里将其释放了，可是还是会造成内存泄漏，因为派生类的析构函数没有被调用，看输出结果

派生类的析构函数没有被调用，因为基类的析构函数没有被声明为虚函数，在释放内存的时候，直接调用了基类的析构函数。

所以，需要将基类的析构函数声明为虚函数，才能保证子类的析构函数被调用，输出结果如下：

派生类对象正常析构，这就OK了