C++多态与虚函数

面向对象程序设计精髓在于继承与多态，为了实现这两功能C++提供了一系列方法，本文介绍多态实现方法。

简单定义一个基类：

class Base{
public:
	void fun(){
		cout <<"This is Base\n";
	}
	int x;
};

声明两个派生类

class ClassA : public Base{
public:
	void fun(){
		cout <<"This is ClassA\n";
	}
	int a;
};

class ClassB : public Base{
public:
	void fun(){
		cout <<"This is ClassB\n";
	}
	int b;
};

void main()
{
	ClassA a;
	ClassB b;
	Base *pa;
	Base *pb;
	pa=&a;
	pb=&b;
	pa->fun();
	pb->fun();
}

主函数输出的是：

This is Base

This is Base

在基类Base没有声明虚函数情况下什么类型的指针就会调用什么类的函数，pa,和pb都是Base *型指针，只能调用派生类对象a,b中包含的基类的函数。

如果要实现多态性声明基类中函数时要加上virtual

class Base{
public:
	virtual void fun(){
		cout <<"This is Base\n";
	}
	int x;
};

当基类的fun声明为虚函数时，派生类相同的fun默认为虚函数，加没加virtual效果一样。

这样主函数输出为：

This is ClassA

This is ClassB

声明虚函数后基类指针会调用其指向派生类对象的函数，这样相同的调用产生不同的实现，从而实现多态。

进一步，需要将析构函数声明为虚函数，考察下面的代码：

Base *p=new ClassA();

delete p;

系统在销毁对象时只会调用基类Base的析构函数。将基类析构函数声明为虚函数后，销毁对象时会先调用派生类析构函数，然后调用基类析构函数，只要将基类的析构够函数声明为虚函数，所有的派生类析构函数将自动变为虚函数。

此外也可以在基类声明纯虚函数：

class Base{
public:
	virtual void fun(){
		cout <<"This is Base\n";
	}
	virtual int vfun() = 0;
	int x;
};

一旦基类声明了纯虚函数，基类将变成纯虚类，不能产生对象，其派生类中必须要实现纯虚函数，哪怕是一个没有任何功能的空函数体，否则编译报错。

class ClassA : public Base{
public:
	void fun(){
		cout <<"This is ClassA\n";
	}
	virtual int vfun()
	{
		return 0;
	}
	int a;
};

小结：

1.      没有声明虚函数情况下根据指针类型判断调用哪个类对象的函数；

2.      声明了虚函数后根据指针所指对象类型判断调用哪个类对象的函数；

3.      虚函数在派生类中必须实现，哪怕是个空函数体；

4.      派生类地址可以父子给基类指针，但是基类地址不能赋值给派生类指针。