C++编程杂谈之三：面向对象（续）

C++编程杂谈之三：面向对象（续）

作者：xulion

下载例子源代码

上一篇我们涉及了面向对象的一个基本概念--封装，封装是一个相对比较简单的概念，也很容易接受，但是很多的场合下面，仅仅是封装并不能很好的解决很多问题，考虑下面的例子：
假设我们需要设计一个对战游戏的战斗细节，在最初的版本中我们将支持一种动作--fight。假设我们有三种角色：fighter、knight和warrior，每种角色的health、hit point不同，基于封装的基本想法，我们很自然的想到对每个对象使用类的封装，首先明显的元素有2个：health、hit point，另外还有name（我们不能只有三个角色）和战斗的速度speed，方法有：hit、isalive。基于这样的想法，我们给出下面的类：
　

　
class fighter
{
	private:
		int               m_iHealth;
		int              m_iSpeed;//为了方便，这个值使用延时值，越大表示速度越慢
		const int          m_iHitPoint;
		char             m_strName[260];
	public:
		fighter(const char* strName);
		void hit(fighter* pfighter);
		bool isAlive(); 
};    

上面的类可以清楚的抽象出我们所需要表达的数据类型之一，这里也许你已经发现了一些问题：
成员函数hit用来处理战斗事件，但是我们有不同的角色，fighter不可能只跟自己同样的对手作战，我们希望它能和任何角色战斗，当然，使用模板函数可以简单的解决这个问题。另外，我们必须去实现三个不同的类，并且这些类必须都实现这些属性和方法。即使这些问题我们都解决了，现在我们要组织两个队伍作战，我们希望使用一种群体类型来描述它们，问题是我们必须针对每一种类建立相应的群体结构，当然你可以认为3个不同的类型不是很多，完全可以应付，那么如果有一天系统升级，你需要管理上百种类型的时候，会不会头大呢？
在C++中，继承就可以很好的解决这个问题，在C++中，继承表示的是一种IS-A关系，即派生类IS-A基类，很多现实世界中的关系可以这样来描述，如：dog is-a animal，dog是animal的派生（继承），继承产生的对象拥有父（基）对象的所有属性和行为，如animal的所有属性和行为在dog身上都会有相应的表现。在UML的描述中，这种关系被称为泛化（generalization）。一般情况下，当我们需要实现一系列相似（具有一定的共性）然而有彼此不同的类别的时候，使用继承都是很好的解决办法，例如前面的代码虽然也能够实现我们的目标，但是显然很难管理，下面给出使用继承后的实现：

　
class actor//基类
{
	protected:
		int               m_iHealth;
		const int         m_iSpeed;//为了方便，这个值使用延时值，越大表示速度越慢
		const int         m_iHitPoint;
		char              m_strName[260];
	public:
		actor(const char* strName,const int iHealth,const int iSpeed,const int iHitpoint);
	
		int& Health(){ return m_iHealth; };
		const char* getName(){ return m_strName; };
		virtual void hit(actor *Actor) = 0;
		bool isAlive(); 
};  
actor::actor(const char* strName,const int iHealth,const int iSpeed,const int iHitpoint):
m_iHealth(iHealth),
m_iSpeed(iSpeed),
m_iHitPoint(iHitpoint)
{
	strcpy(m_strName,strName);
}

bool actor::isAlive()
{
	return (m_iHealth>0);
}

/////////////////////////////////////////////////////////
//类fighter
class fighter :public actor
{
	public:
		fighter(const char* strName);
		virtual void hit(actor *Actor);
	private:
};

fighter::fighter(const char* strName):
actor(strName,100,20,20)
{
}

void fighter::hit(actor *Actor)
{
	Sleep(m_iSpeed);
	if(!isAlive())
	{
		return ;
	}
	if(Actor&&Actor->isAlive())
	{
	 	//这里我们用一个函数做了左值，因为函数返回的是引用
		if(isAlive())
			Actor->Health() = Actor->Health() - m_iHitPoint;
	}
}

/////////////////////////////////////////////////////////
//类knight
class knight :public actor
{
	public:
		knight(const char* strName);
		virtual void hit(actor *Actor);
	private:
};

knight::knight(const char* strName):
actor(strName,150,20,25)
{
}

void knight::hit(actor *Actor)
{
	Sleep(m_iSpeed);
	if(!isAlive())
	{
		return ;
	}
	if(Actor&&Actor->isAlive())
	{
		if(isAlive())
			Actor->Health() = Actor->Health() - m_iHitPoint;
	}
}

/////////////////////////////////////////////////////////
//类warrior
class warrior :public actor
{
	public:
		warrior(const char* strName);
		virtual void hit(actor *Actor);
	private:
};

warrior::warrior(const char* strName):
actor(strName,150,20,25)
{
}

void warrior::hit(actor *Actor)
{
	Sleep(m_iSpeed);
	if(!isAlive())
	{
		return ;
	}
	if(Actor&&Actor->isAlive())
	{
		if(isAlive())
			Actor->Health() = Actor->Health() - m_iHitPoint;
	}
}

C++为我们提供了非常优秀的继承体系（其实这是面向对象的一个非常重要的特征），上面的类图中我们可以很清楚的看到他们的关系，在继承中，基类（有些地方也称为超类）其实是所有派生类的共性提炼的结果，有时候在开发过程中，是先有派生类，然后再提出共性，产生基类的。
就象遗传一样，派生类拥有基类的所有属性和方法，如基类actor的成员函数和成员变量在每一个派生类中都存在，即fighter、knight和warrior中都存在，在继承关系中还存在一个非常重要的关键字protected，它提供一个界于public和private 之间的一种可见性，与private相同的地方是对于外部来说，它不可见，与public相同的地方是对与继承体系来说，是向下可见的（其派生出来的类可以直接使用），这里有一点是很容易让人迷惑的，就是派生类中基类的成员可见性。对派生类来说，如果使用public继承，那么从基类中继承的所有成员的可见性不变（如果是protected继承，降一级，public变成protected，private继承再降），那么对于一个从基类继承来的private成员来说，派生类是无法访问的（很迷惑，是么？），虽然派生类含有这个变量，但是这是一种间接的拥有关系，在派生类中，含有一个基类的子对象，派生类对基类成员的访问正是通过这个子对象进行的。在思想中，永远不要把继承来的成员看做是自己真正拥有的，虽然使用this可以直接"看到"它们，在派生体系中private和public与其它情况没有任何区别，而protected在体系的内部就和public完全等同。
由于派生类拥有基类的成员，所以我们可以通过派生而简单的"重用"我们已有的代码，从而大大减少重复劳动。
关于继承的另外一个重要的特征就是虚函数，虚函数是形成类的多态的基础，在上面的类中：
void knight::hit(actor *Actor)
比如下面的伪码：

　
actor* pA;
knight* pKnight = new knight;
pA = pKnight;
pA->hit(…);

这里pA是一个基类的指针，而它指向的是一个派生类knight的指针，调用它应该是怎么样的情况呢？答案是hit会调用knight的方法，而不是基类的，因为它是一个虚函数，虚函数的特点是它永远忠实与实际的对象（前提是正确的使用），通过这种多态的特性，我们可以使用基类来对派生类进行正确的操作，这就解决了一个上面的问题：使用一种群体类型来描述它们，所以我们可以这样来遍历数据，而不需要关心里面究竟是一些什么样的数据：

　
vector troop1;
vector troop2;
vector::iterator it_tp1 = troop1.begin();
vector::iterator it_tp2 = troop2.begin();
while( (it_tp1!=troop1.end()) && (it_tp2!=troop2.end()) )
{
	while(((*it_tp1)->isAlive())&&(it_tp2!=troop2.end()))
	{
		(*it_tp1)->hit(*it_tp2);
		if(!(*it_tp2)->isAlive())
			it_tp2++;
	}
	it_tp1++;
}

面向对象思想中的继承是非常重要的概念，正确的运用它，会为软件的开发过程带来很多便利，同时，COM的核心技术是使用了多重继承来实现的。同时，继承也是面向对象的思想中较难理解的一个概念，这片文章我只能大致的讲述其运用，而真正的融会贯通还需要长时间的学习和实践。
下面我们给出上面的例子的完整代码，这段代码完成了随机建立两个队伍，并进行战斗，直到有一个队伍全军覆没，最后输出结果。