接口继承和实现继承的区别

public继承概念由两部分组成,函数接口(function interfaces)继承和函数实现(function implementations)继承。

作为类的开发人员,我们主要研究类的三种继承情况:
1、派生类只继承成员函数的接口(也就是声明);
2、派生类同时继承函数的接口和实现,但又希望能够覆写(override)它们所继承的实现;
3、派生类同时继承函数的接口和实现,并且不允许覆盖任何东西。


为了更好地理解上述情况,考虑以下例子:
eg:
class Shape{//形状
public:
  virtual void draw() const = 0;
  virtual void error(const std::string& msg);
  int objectID() const;
  ...
};


class Rectangle:public Shape{...};//矩形
class Ellipse:public Shape{...};//椭圆


Shape是个抽象类,它的纯虚函数draw使它成为一个抽象类,所以客户不能够创建Shape class的实体,只能创建它的派生类的实体。
Shape类声明了三个函数,第一个是draw,在视屏中划出当前对象,第二个是error,准备让那些“需要报导某个错误”的成员函数调用,第三个是objectID,返回当前对象的独一无二的整数识别码,每个函数的声明方式都不相同,draw是个纯虚函数(pure virtual),error是个虚函数( 简朴的(非纯)impure virtual函数),objectID是个非虚函数(non-virtual)函数。

纯虚函数通常有两个特点:它们必须被任何“继承了他们”的具象类重新声明;并且它们在抽象类中通常没有定义。
所以结论是:
1、声明一个纯虚函数的目的是为了让派生类只继承函数的接口。
这里需要指出的是,可以为纯虚函数提供定义,即可以为Shape:draw供应一份实现代码,但调用它的唯一方法是“调用时明确指出其类名称”(这种写法在实际开发中,并没有声明卵用):
Shape* ps = new shape;//错误,Shape是抽象的
Shape* ps1 = new Rectangle;//没问题
ps1->draw();//调用Rectangle::draw
Shape* ps2 = new Ellipse;//没问题
ps2->draw;//调用Ellipse::draw
ps1->Shape::draw();//调用Shape::draw
ps2->Shape::draw();//调用Shape::draw


虚函数(简朴的impure virtual函数)背后的故事和纯虚函数(pure virtual函数)有点不同,一如往常,派生类继承其函数接口,但虚函数(简朴的impure virtual函数)会提供一份实现代码,派生类可能覆写(override)它,所以结论是:
1、声明虚函数(简朴的impure virtual函数)的目的是让派生类继承该函数的接口和缺省实现,考虑error函数,其接口表示,每个类都必须支持一个“当遇上错误是可调用”的函数,但每个类可自由处理错误,若某个类不想针对错误做出任何特殊行为,它可以退回到Shape类提供的缺省错误处理行为。
但是允许虚函数(简朴的impure virtual函数)同时指定函数声明和函数缺省行为,却有可能造成危险。

注意:

1、接口继承和实现继承不同。在public继承之下,派生类总是继承基类的接口纯函数只是具体指定接口继承;
2、虚函数( 简朴的(非纯)impure virtual函数)具体指定接口继承及缺省实现继承;
3、非虚函数(non-virtual函数)具体指定接口继承以及强制性实现继承。
 

你可能感兴趣的:(接口继承和实现继承的区别)