c++ - 继承或组合 : Rely on "is-a" and "has-a"?

Question

当我设计类并且必须在继承和组合之间进行选择时，我通常使用经验法则:如果关系是“is-a” - 使用继承，如果关系是“has-a” - 使用组合.

总是正确的吗？

谢谢。

Answer 1

不——“是一个”并不总是导致继承。一个被广泛引用的例子是正方形和长方形之间的关系。正方形就是长方形，但是设计从 Rectangle 类继承 Square 类的代码会很糟糕。

我的建议是使用 Liskov Substitution Principle 来增强您的“是/具有”启发式。 .要检查继承关系是否符合里氏替换原则，请询问基类的客户端是否可以在不知道它正在操作子类的情况下对子类进行操作。当然，必须保留子类的所有属性。

在正方形/矩形的例子中，我们必须问一个矩形的客户端是否可以在不知道它是正方形的情况下对正方形进行操作。客户必须知道的只是它是在一个矩形上操作的。下面的函数演示了一个假设设置矩形宽度保持高度不变的客户端。

void g(Rectangle& r)
{
    r.SetWidth(5);
    r.SetHeight(4);
    assert(r.GetWidth() * r.GetHeight()) == 20);
}

这个假设适用于矩形，但不适用于正方形。所以函数不能在正方形上运行，因此继承关系违反了里氏替换原则。

Other examples