程序基石系列之C++多态的前提条件

准备知识

C++中多态(polymorphism)有下面三个前提条件:

• 必须存在一个继承体系结构.
• 继承体系结构中的一些类必须具有同名的virtual成员函数(virtualkeyword)
• 至少有一个基类类型的指针或基类类型的引用.这个指针或引用可用来对virtual成员函数进行调用.

程序清单:C++中多态(运时行期绑定)

#include <iostream>
using namespace std;

class CTradesPerson{ // base class
	public :
		virtual void sayHi(){ cout<<"Just hi."<<endl;}
};

class CTinker : public CTradesPerson{// drived class 1
	public :
		virtual void sayHi(){cout<<"Hi, I tinker."<<endl;}
};

class CTailor : public CTradesPerson{// drived class 2
	public:
		virtual void sayHi(){ cout<<"Hi, i tailor"<<endl;}
};	
	
int main(){
	CTradesPerson* p; // pointer to base class
	int which ;
	
	// prompt user for a number
	//*** 1 ==CTadesPerson
	//    2 ==CTinker
	//    3 ==CTailor
	do{
		cout <<"1 == CTradesPerson, 2 == CTinker, 3 == CTailor"<<endl;
		cin >>which;
	}while(which<1||which>3); 
	
	//set pointer p depending on user choice
	switch(which){
		case 1: p = new CTradesPerson; break;
		case 2: p = new CTinker; break;
		case 3: p = new CTailor; break;
	}
	// invoke the sayHi method via the pointer
	p->sayHi(); // ***runt-time binding in effect
	delete p; // *** free the dymanicall y allocated storage
	return 0;
}

程序清单说明

程序清单的程序阐明了多态及其三个前提条件:

• 存在一个继承体系结构,CTradesPerson是基类,CTinker和CTailor是CTradesPerson的派生类.
• 继承体系结构中有一个叫sayHi的虚成员函数,它在上述三个类中各自被定义一次,因此共同拥有三个不同的定义(但函数名同样).
• p是个基类类型的指针.在本程序清单中p的数据类型是CTradesPerson*. 指针p用来实施对虚成员函数sayHi的调用.

測试数据

在该程序的某次执行过程中,我们输入数据1,就会得到例如以下结果:

当我们输入数据3, 就会得到例如以下结果:

关于Program Language很多其它讨论与交流。敬请关注本博客和新浪微博songzi_tea.