C++抽象基类和纯虚函数

为什么C++要定义抽象基类？

C++为什么要定义抽象基类？

      抽象类就是类里定义了纯虚成员函数的类。纯虚函数只提供了接口，并没有具体实现。抽象类不能被实例化，通常是作为基类供子类继承，子类中重写虚函数，实现具体的接口。

为什么要定义抽象基类呢?依我所见主要有以下原因：

1.       最重要的原因是，可以将接口与实现分离。接口是软件产品最有价值的资源，设计接口比实现接口需要耗费更昂贵的成本。因此，要将接口保护起来，以免在针对客户需求修改实现的时候，程序员不小心把接口破坏掉。

2.       引入抽象基类和纯虚函数方便实现C++的多态特性。可以用抽象基类的指针去调用子类对象的方法。

3.       很多时候，许多基类被实例化是不合理的。例如“形状”这个基类，被实例化之后反而会让人相当费解，所以干脆将“形状”这个类定义为抽象类，由它派生出正方形，三角形等子类。

c++编程——抽象基类

选择题原题如下：

下列有关抽象类和纯虚函数的叙述中，错误的是
A）拥有纯虚函数的类是抽象类，不能用来定义对象
B）抽象类的派生类若不实现纯虚函数，它也是抽象类
C）纯虚函数的声明以“=0；”结束
D）纯虚函数都不能有函数体
答案解析：

以下为C++.Primer.Plus的原文：

c++通过使用纯虚函数（pure virtual function）提供未实现的函数。纯虚函数声明的结尾处为=0，参见Area（）方法：

class BaseEllipse                    //abstract base class

{

          private:

               double   x;                   //x-coordinate of the ellipse's center

               double   y;                   //y-coordinate of the ellipse's center

               .......

          public:

              BaseEllipse(double x0 = 0，double y0 = 0): x(x0), y(y0) {}

              virtual   ~BaseEllipse() {}

               void    Move(int nx, int ny){x = nx; y = ny;}

              virtual   double Area() const =0;    //a pure virual function

               .....

}

当类声明中包含纯虚函数时，则不能创建该类的对象。这里的理念是，包含纯虚函数的类只用作基类。原型中的=0使虚函数成为纯虚函数。这里的方法Area（）没有定义，但c++甚至允许纯虚函数有定义。例如，也许所有的基类方法都与Move（）一样，可以在基类中进行定义，但你仍需要将这个类声明为抽象的。在这种情况下，可以将原型声明为虚拟的：

    virtual void Move(int nx, int ny) = 0;

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

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

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

   总结：抽象类只能作为基类来使用，其纯虚函数的实现由派生类给出。如果派生类没有重新定义纯虚函数，而派生类只是继承基类的纯虚函数，则这个派生类仍然还是一个抽象类。如果派生类中给出了基类纯虚函数的实现，则该派生类就不再是抽象类了，它是一个可以建立对象的具体类了。

 

 

最后注意的问题：

基类的纯虚函数必须有“=0”，但不一定没有函数的实现，只是不能直接内嵌在类中。

在Effective C++中一般抽象基类中的析构函数定义成纯虚函数，然后在其他地方写一个空的析构函数体；

class Base

{

public:

    virtual ~Base()=0;

};

Base::~Base(){}

 

这样就可以用Base作为基类的派生类调用自己的析构函数。