C++PrimerPlus:第十三章类和继承:抽象基类

:第十三章类和继承:抽象基类

提示:这里可以添加系列文章的所有文章的目录,目录需要自己手动添加
例如::第十三章类和继承:抽象基类


提示:写完文章后,目录可以自动生成,如何生成可参考右边的帮助文档


前言

提示:这里可以添加本文要记录的大概内容:

例如::第十三章类和继承:抽象基类


提示:以下是本篇文章正文内容,下面案例可供参考

一、抽象基类

至此,介绍了简单继承和较复杂的多态继承。接下来更为复杂的是抽象基类(abstractbase class,ABC)。
我们来看一些可使用 ABC的编程情况。
有时候,使用is-a规则并不是看上去的那样简单。例如,假设您正在开发一个图形程序,该程序会显示圆和椭圆等。圆是椭圆的一个特殊情况–长轴和短轴等长的椭圆。因此,所有的圆都是椭圆,可以从Ellipse 类派生出Circle类。但涉及到细节时,将发现很多问题。首先考虑 Elipse 类包含的内容。数据成员可以包括椭圆中心的坐标、半长轴(长轴的一半)、短半轴(短轴的一半)以及方向角(水平坐标轴与长轴之间的角度)。另外,还可以包括一些移动圆、返回椭圆面积、旋转椭圆以及缩放长半轴和短半轴的方法:

class Ellipse
{
private:
	double x;//x-coordinate of the ellipse's center
	double y;//y-coordinate of the ellipse's center
	double a;//semimajor axis
	double b;//semiminor axis
	double angle;//orientation angle in degrees
public :
	void Move(intnx,ny){x=nx;y=ny};
	virtual double Area()const {return 3.14159*a* b};
	virtual void Rotate(double nang){angle += nang;}
	virtual void Scale(double sa,double sb){a*= sa;b *= sb;}
}

现在假设从 Ellipse 类派生出一个 Circle 类:

class Circle:public Ellipse
{

...
}

虽然圆是一种椭圆,但是这种派生是笨拙的。例如,圆只需要一个值(半径)就可以描述大小和形状,并不需要有长半轴(a)和短半轴(b)。Circle 构造函数可以通过将同一个值赋给成员a和b来照顾这种情况,但将导致信息冗余。angle 参数和 Rotate()方法对圆来说没有实际意义;而Scale()方法(顾名思义)会将两个轴作不同的缩放,将圆变成椭圆。可以使用一些技巧来修正这些问题,例如在 Circle 类中的私有部分包含重新定义的 Rotate()方法,使Rotate()不能以公有方式用于圆。但总的来说,不使用继承,直接定义 Circle 类更简单:

class Circle // no inheritance
{
	private:
		double x,//x-coordinate of the circle's center
		double y;//y-coordinate of the circle's center
		double r;radius
		...
	public:
	...
	void Move(int nx,ny){x = nx;y = ny;}
	double Area()constP{return3.14159*r*r;}
	void Scale(double sr){r*=sr;}
}

现在,类只包含所需的成员。但这种解决方法的效率也不高。Circle和Elipse 类有很多共同点,将它
们分别定义则忽略了这一事实。还有一种解决方法,即从Ellipse和 Circle类中抽象出它们的共性,将这些特性放到一个 ABC中。然后从该ABC派生出 Circle 和 Elipse 类。这样,便可以使用基类指针数组同时管理 Circle 和 Ellipse 对象,即可以使用多态方法)。在这个例子中,这两个类的共同点是中心坐标、Move()方法(对于这两个类是相同的)和 Area()方法(对于这两个类来说,是不同的)。确实,甚至不能在 ABC中实现 Area()方法,因为它没有包含必要的数据成员。C++通过使用纯虚函数(pure virtualfunction)提供未实现的函数。纯虚函数声明的结尾处为=0,参见Area()方法:

class BaseEllipse //abstract base class
{
private:
	double x;//x-coordinate of center
	double Y;//y-coordinate of center
public :
	BaseEllipse(doublex0=0,doubley0=0):x(x0)y(y0){}
	virtual ~BaseEllipse(){}
	void Move(int nx,ny){x=nx;y=ny;}
	virtual double Area()const =0;//a pure virtual function
}

当类声明中包含纯虚函数时,则不能创建该类的对象。这里的理念是,包含纯虚函数的类只用作基类要成为真正的 ABC,必须至少包含一个纯虚函数。原型中的=0使虚函数成为纯虚函数。这里的方法 Area()没有定义,但C++甚至允许纯虚函数有定义。例如,也许所有的基类方法都与Move()一样,可以在基类
中进行定义,但您仍需要将这个类声明为抽象的。在这种情况下,可以将原型声明为虚的:

void Move(int nx,ny)=0;

这将使基类成为抽象的,但您仍可以在实现文件中提供方法的定义:

void BaseEllipse::Move(intnx,ny){x=nx;y=ny;}

总之,在原型中使用=0指出类是一个抽象基类,在类中可以不定义该函数。

现在,可以从 BaseEllipse类派生出Elips类和 Circle 类,添加所需的成员来完成每个类。需要注意的一点是,Circle 类总是表示圆,而 Elipse 类总是表示椭圆–也可以是圆。然而,Elipse 类圆可被重新缩放为非圆,而 Ciecle 类圆必须始终为圆。

使用这些类的程序将能够创建 Elipse对象和Circle对象,但是不能创建 BaseEllipse对象。由于 Circle和 Elipse 对象的基类相同,因此可以用BaseEllipse 指针数组同时管理这两种对象。像 Circle 和 Ellipse 这样的类有时被称为具体(concrete)类,这表示可以创建这些类型的对象。

总之,ABC描述的是至少使用一个纯虚函数的接口,从ABC派生出的类将根据派生类的具体特征,使用常规虚函数来实现这种接口。


总结

提示:这里对文章进行总结:

暂无

  • 31
    点赞
  • 20
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值