条款 34

一，下面是一个几何类的继承体系

在Shape类中声明一个pure virtual函数draw()、一个impure virtual函数error()、一个non virtual函数objectID()。

class Shape{
public:
    virtual void draw() const = 0;
    virtual void error(string&);
    int objectID() const;
};

class Rectangle : public Shape{...};
class Ellipse : public Shape{...};

 
二，声明一个pure virtual函数的目的是为了让derived class只继承函数接口

我们可以给pure virtual函数，提供一份实现代码，但调用它的唯一途径是调用时明确指出其class名称。

class Shape{
public:
    virtual void draw() const = 0;
    virtual void error(string&);
    int objectID() const;
};

//为pure virtual函数，提供一份实现代码
void Shape::draw() const{
    cout<<"Shape implement."<<endl;
}

class Rectangle : public Shape{
public:
    virtual void draw() const{
        Shape::draw();  //调用时明确指出其class名称
        cout<<"Rectangle implement."<<endl;
    }
};

 
三，声明impure virtual函数的目的，是让derived class继承该函数的接口与默认实现

class Shape{
public:
    virtual void error(string&);
    ...
};

上面的接口表示，每个class必须支持一个error()函数，但每个class可以自行处理错误。如果某个class不想针对错误做出任何特殊行为，它可以使用Shape class提供的缺省行为。

四，声明non virtual函数的目的是为了令derived class继承函数的接口及一份强制性实现

如果成员函数是non virtual函数，意味着它不打算在derived class中有不同的行为。实际上一个non virtual函数的不变性凌驾于其特异性，因为它表示无论derived class多么特异化，它的行为都不可以改变。在Shape类中声明objectID()函数想做的是，每个Shape对象都有一个产生对象识别码的函数。此识别码总是采用相同的计算方式，该方法由Shape::objectID()定义决定，任何derived class都不应该试图修改其行为。由于non virtual函数的意义是，不变性凌驾于其特异性，所以它决不应该在derived class中被重新定义。

五，总结

由于pure virtual函数、impure virtual函数、non virtual函数之间的差异，使我们可以精确的指定我们想要derived class继承的东西：继承接口、继承接口与一份缺省实现、继承接口与一份强制实现。由于这些不同类型的声明意味意义并不相同的事情，所以当我们声明成员函数时，应该慎重选择。