为什么更喜欢组合而不是继承?每种方法都有哪些权衡?什么时候应该选择继承而不是组合?


当前回答

继承在子类和超级类之间建立了牢固的关系;子类必须了解超级类的实现细节。创建超级类要困难得多,因为你必须考虑如何扩展它。您必须仔细记录类不变量,并说明其他可重写方法在内部使用的方法。

如果层次结构真的代表了一种is-a-关系,那么继承有时是有用的。它与开放-封闭原则有关,该原则规定类应该封闭以进行修改,但开放以进行扩展。这样你就可以拥有多态性;需要一个处理超类型及其方法的泛型方法,但通过动态调度调用子类方法。这是灵活的,有助于创建间接,这在软件中是必不可少的(对实现细节了解较少)。

然而,继承很容易被过度使用,并且会产生额外的复杂性,导致类之间存在硬依赖关系。此外,由于层和方法调用的动态选择,很难理解程序执行过程中发生的事情。

我建议使用作曲作为默认设置。它更加模块化,并提供了后期绑定的好处(您可以动态更改组件)。另外,单独测试这些东西更容易。如果您需要使用类中的方法,则不必强制使用某种形式(Liskov替换原则)。

其他回答

要从新程序员的不同角度解决这个问题:

当我们学习面向对象的编程时,继承经常很早就被教授,因此它被视为一个常见问题的简单解决方案。

我有三个类都需要一些通用功能。所以如果我编写一个基类并让它们全部继承,然后它们将所有这些都有这个功能,我只需要维护一次位置

这听起来很好,但实际上它几乎从未奏效,原因如下:

我们发现,我们希望我们的类具有其他一些功能。如果我们向类添加功能的方式是通过继承,那么我们必须决定——我们是否将其添加到现有基类中,即使不是每个从其继承的类都需要该功能?我们是否创建另一个基类?但是,已经从其他基类继承的类呢?我们发现,对于从基类继承的一个类,我们希望基类的行为稍有不同。所以现在我们回过头来修改我们的基类,可能会添加一些虚拟方法,或者更糟的是,一些代码会说,“如果我是继承的类型A,那么就这样做,但如果我是传承的类型B,那么就那样做。”这是很糟糕的,原因很多。一个是,每次我们改变基类时,我们都在有效地改变每个继承的类。所以我们真的在改变A、B、C和D类,因为我们需要在A类中有一个稍微不同的行为。尽管我们认为我们很小心,但我们可能会因为与这些类无关的原因而破坏其中一个类。我们可能知道为什么我们决定让所有这些类彼此继承,但这对其他必须维护我们代码的人来说可能没有意义。我们可能会迫使他们做出一个艰难的选择——我是做一些非常丑陋和混乱的事情来做出我需要的改变(见前面的要点),还是只是重写一堆内容。

最后,我们把代码绑在一些困难的地方,除了说:“酷,我了解了继承,现在我使用了它。”这并不意味着居高临下,因为我们都这样做了。但我们都这么做了,因为没有人告诉我们不要这样做。

当有人向我解释“喜欢组合而不是继承”时,我回想了一下每次尝试使用继承在类之间共享功能时,我都意识到大多数时候它并没有真正发挥作用。

解药是单一责任原则。将其视为约束。我的班级必须做一件事。我必须能够给我的班级起一个名字,以某种方式描述它所做的一件事。(凡事都有例外,但当我们学习时,绝对规则有时会更好。)因此,我无法编写名为ObjectBaseThatContainsVariousFunctionsNeedByDifferentClasses的基类。我所需要的任何不同的功能都必须在它自己的类中,然后需要该功能的其他类可以依赖于该类,而不是从该类继承。

在过于简化的风险下,这就是组合——组合多个类一起工作。一旦我们养成了这个习惯,我们就会发现它比使用继承更灵活、更可维护、更可测试。

将遏制视为一种关系。汽车“有”发动机,人“有”名字等等。

把继承看作是一种关系。汽车“是”车辆,人“是”哺乳动物等。

我不认为这种做法值得赞扬。我直接从史蒂夫·麦康奈尔(Steve McConnell)的《代码大全》第二版第6.3节中得到了答案。

这里没有找到满意的答案,所以我写了一个新的。

为了理解为什么“更喜欢组合而不是继承”,我们需要首先找回这个缩短的习惯用法中省略的假设。

继承有两个好处:子类型化和子类化

子类型化意味着符合类型(接口)签名,即一组API,并且可以覆盖部分签名以实现子类型化多态性。子类化意味着方法实现的隐式重用。

这两个好处带来了两个不同的继承目的:面向子类型和面向代码重用。

如果代码重用是唯一的目的,那么子类化可能会给一个比他所需要的更多的东西,即父类的一些公共方法对于子类来说没有多大意义。在这种情况下,不赞成组合而不是继承,而是要求组合。这也是“is-a”与“has-a”概念的由来。

因此,只有当有了子类型,即以后以多态的方式使用新类时,我们才会面临选择继承或组合的问题。这是在所讨论的缩短成语中被省略的假设。

To子类型要符合类型签名,这意味着组合必须始终公开不少于该类型的API数量。现在开始进行权衡:

继承提供了直接的代码重用(如果不被重写),而组合必须对每个API重新编码,即使这只是一个简单的委托工作。继承通过内部多态站点this提供了直接的开放递归,即在另一个成员函数中调用重写方法(甚至类型),无论是公共的还是私有的(尽管不鼓励)。开放递归可以通过组合来模拟,但它需要额外的努力,并且可能并不总是可行的(?)。对重复问题的回答也有类似之处。继承公开受保护的成员。这打破了父类的封装,如果被子类使用,则会引入子类和父类之间的另一个依赖关系。组合具有控制反转的特性,其依赖性可以动态注入,如装饰器模式和代理模式所示。组合具有面向组合器编程的优点,即以类似于组合模式的方式工作。编程到接口后立即进行组合。组合具有易于多重继承的优点。

考虑到上述权衡,我们因此更喜欢组合而不是继承。然而,对于紧密相关的类,即当隐式代码重用真正带来好处,或者需要开放递归的魔力时,继承应该是选择。

继承在子类和超级类之间建立了牢固的关系;子类必须了解超级类的实现细节。创建超级类要困难得多,因为你必须考虑如何扩展它。您必须仔细记录类不变量,并说明其他可重写方法在内部使用的方法。

如果层次结构真的代表了一种is-a-关系,那么继承有时是有用的。它与开放-封闭原则有关,该原则规定类应该封闭以进行修改,但开放以进行扩展。这样你就可以拥有多态性;需要一个处理超类型及其方法的泛型方法,但通过动态调度调用子类方法。这是灵活的,有助于创建间接,这在软件中是必不可少的(对实现细节了解较少)。

然而,继承很容易被过度使用,并且会产生额外的复杂性,导致类之间存在硬依赖关系。此外,由于层和方法调用的动态选择,很难理解程序执行过程中发生的事情。

我建议使用作曲作为默认设置。它更加模块化,并提供了后期绑定的好处(您可以动态更改组件)。另外,单独测试这些东西更容易。如果您需要使用类中的方法,则不必强制使用某种形式(Liskov替换原则)。

当您想要“复制”/公开基类的API时,可以使用继承。当您只想“复制”功能时,请使用委派。

其中的一个例子是:您想要从列表中创建堆栈。堆栈只有pop、push和peek。考虑到堆栈中不需要push_back、push_front、removeAt等功能,您不应该使用继承。