[Effective C++] 继承与面向对象设计

一、条款32——确定你的public继承塑模出is-a关系

当使用public继承时，就是告诉编译器和代码读者（我认为告诉代码读者更重要，因为读者的误解，没有人会提示），这是个is-a的关系。

此条款的关键在于说明了有些情况直觉上正确但是实际上是错误的。比如，直觉上，正方形Square是一种特殊的长方形Rectangle，所以Square理应继承于Rectangle。这在计算面积，周长，伸缩n倍的情况下都没有问题，但是，比如有个如下：

void MakeBigger(Rectangle r)
{
    int oldHeight = r.height();
    r.SetWidth(r.Width()+10);
    assert(r.height()==oldHeight);
}

此时便出了问题，适用于Rectangle的函数居然不适用于Square，这多危险（虽然可以用虚函数解决此问题）。

结论：

1. public继承意味着is-a，适用于base classes身上的“每”一件事一定适用于derived classes身上，因为每一个derived对象也都是一个base class对象。

二、条款33——避免遮掩继承而来的名称

C/C++中，名字是问题跟作用域有关，不同作用域中的名字会出现覆盖问题，而相同作用域中相同的名字则编译器会报错。有时我会把多态和名字的覆盖弄混，比如下面这个例子：

class Base
{
private:
    int x;
public:
    virtual void mf1() = 0;
    virtual void mf1(int);
    virtual void mf2();
    void mf3();
    void mf3(double);
    ...
};
class Derived : public Base
{
public:
    virtual void mf1();
    void mf3();
    void mf4();
    ...
};

Base中的所有mf1和mf3都被覆盖，”从名称查找的观点来看“，这两个函数不再被继承。这个和多态是两码事。从继承的观点看，Derived中如果没有重写（覆盖）Base中的函数，则Derived调用Base中的函数，如果重写了，则Derived实际上是不继承同名函数的。这实际上违反了public继承的is-a的关系。于是，所有的public继承都不希望遮掉父类中的名字，可以在子类中使用

using Base::mf1;
using Base::mf3;

但这种方式有个问题，Base::mf1()和Base::mf1(int)都将可见，有时我们可能只希望在Derived中看到Base::mf1()，于是可以在Derived中使用一个forwarding function：

Derived::mf1()
{
    virtual void mf1()
    {
        Base::mf1();
    }
}

只可以调用Base::mf1()。

结论：

1. Derived classes内的名称会遮掩base classes内的名称。在public继承下从来没人希望如此。

2. 为了让被遮掩的名称再见天日，可使用using声明式或转交函数。

三、条款34——区分接口继承和实现继承
本条款实际上是讲纯虚函数和虚函数的。纯虚函数只提供接口，而虚函数不仅提供接口，还提供一份默认实现。这份实际或许不一定是子类所需要的（甚至可能带来大的危害），故而子类需要重写此虚函数。但有些时候，子类会忘记重写而导致调用了默认的行为，这可能造成危害。于是可以用下面的方式实现：如果子类说我要用默认方式，才使用默认方式，否则不使用。

class Base
{
public:
    virtual void f1() = 0;
protected:
    void default_f1(){...}
}

此时，Derived必须实现f1()，并可以在f1中调用default_f1，或者自已实现，如果什么都不做，编译器就会报错。

结论：

1. 接口继承和实现继承不同。在public继承下，derived classes总是继承base classes中的接口。

2. 纯虚函数只指定接口继承。

3. 虚函数（非纯）指定接口继承和缺省实现继承。

4. 非虚函数指定接口继承以及强制性的实现继承（如果强行覆盖父类的函数，则违反了多态）。

四、条款35——考虑virtual函数以外的其他选择

一味使用virtual函数并不总是最优的选择。

1. 借由Non-Virtual Interface手法实现Template Method模式。

 

参考：

1. 《Effective C++》