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

条款32：确定你的public继承塑模出is-a关系 Make sure public inheritance models"is-a."

如果你令class D（"Derived"）以public形式继承class B（"Base"），你便是告诉C++编译器（以及你的代码读者）说，每一个类型为 D的对象同时也是一个类型为B的对象，反之不成立。
你的意思是B比D表现出更一般化的概念，而D比B表现出更特殊化的概念。

is-a并非是唯一存在于classes之间的关系。另两个常见的关系是has-a（有一个）和is-implemented-in-terms-of（根据某物实现出）。这些关系将在条款38和39讨论。将上述这些重要的相互关系中的任何一个误塑为is-a而造成的错误设计，在C++中并不罕见，所以你应该确定你确实了解这些个“classes 相互关系”之间的差异，并知道如何在C++中最好地塑造它们。

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

条款33：避免遮掩继承而来的名称 Avoid hiding inherited names.

请记住
■ derived classes内的名称会遮掩base classes内的名称。在public继承下从来没有人希望如此。
■ 为了让被遮掩的名称再见天日，可使用 using 声明式或转交函数（forwarding functions）。

条款34：区分接口继承和实现继承 Differentiate between inheritance of interface and inheritance of implementation.

表面上直截了当的public继承概念，经过更严密的检查之后，发现它由两部分组成：函数接口（function interfaces）继承和函数实现（functionimplementations）继承。这两种继承的差异，很像本书导读所讨论的函数声明与函数定义之间的差异。

请记住
■ 接口继承和实现继承不同。在public继承之下，derived classes总是继承baseclass的接口。
■ pure virtual函数只具体指定接口继承。
■ 简朴的（非纯）impure virtual函数具体指定接口继承及缺省实现继承。
■ non-virtual函数具体指定接口继承以及强制性实现继承。

条款35：考虑virtual函数以外的其他选择 Consider alternatives to virtual functions.

摘要本条款的根本忠告是，当你为解决问题而寻找某个设计方法时，不妨考虑virtual函数的替代方案。
下面快速重点复习我们验证过的几个替代方案：
■ 使用non-virtual interface（NVI）手法，那是Template Method设计模式的一种特殊形式。它以public non-virtual成员函数包裹较低访问性（private或protected）的virtual函数。
■ 将virtual函数替换为“函数指针成员变量”，这是Strategy设计模式的一种分解表现形式。
■ 以 tr1：：function 成员变量替换 virtual 函数，因而允许使用任何可调用物（callable entity）搭配一个兼容于需求的签名式。这也是 Strategy设计模式的某种形式。
■ 将继承体系内的 virtual 函数替换为另一个继承体系内的 virtual 函数。这是Strategy设计模式的传统实现手法。

以上并未彻底而详尽地列出virtual函数的所有替换方案，但应该足够让你知道的确有不少替换方案。此外，它们各有其相对的优点和缺点，你应该把它们全部列入考虑。为避免陷入面向对象设计路上因常规而形成的凹洞中，偶而我们需要对着车轮猛推一把。这个世界还有其他许多道路，值得我们花时间加以研究。

请记住
■ virtual函数的替代方案包括NVI手法及Strategy设计模式的多种形式。NVI手法自身是一个特殊形式的Template Method设计模式。
■ 将机能从成员函数移到class外部函数，带来的一个缺点是，非成员函数无法访问class的non-public成员。
■ tr1：：function 对象的行为就像一般函数指针。这样的对象可接纳“与给定之目标签名式（target signature）兼容”的所有可调用物（callable entities）。

条款36：绝不重新定义继承而来的non-virtual函数Never redefine an inherited non-virtual function.

请记住
■ 绝对不要重新定义继承而来的non-virtual函数。

条款37：绝不重新定义继承而来的缺省参数值 Never redefine a function's inherited default parameter value.

请记住
■ 绝对不要重新定义一个继承而来的缺省参数值，因为缺省参数值都是静态绑定，而virtual函数——你唯一应该覆写的东西——却是动态绑定。

条款38：通过复合塑模出has-a或“根据某物实现出”Model"has-a"or"is-implemented-in-terms-of"through composition.

请记住
■ 复合（composition）的意义和public继承完全不同。
■ 在应用域（application domain），复合意味 has-a （有一个）。在实现域（implementation domain），复合意味is-implemented-in-terms-of（根据某物实现出）。

条款39：明智而审慎地使用private继承 Use private inheritance judiciously.

请记住
■ Private继承意味is-implemented-in-terms of（根据某物实现出）。它通常比复合（composition）的级别低。但是当derived class需要访问protected base class的成员，或需要重新定义继承而来的virtual函数时，这么设计是合理的。
■ 和复合（composition）不同，private继承可以造成empty base最优化。这对致力于“对象尺寸最小化”的程序库开发者而言，可能很重要。

条款40：明智而审慎地使用多重继承 Use multiple inheritance judiciously.

请记住
■ 多重继承比单一继承复杂。它可能导致新的歧义性，以及对virtual继承的需要。
■ virtual继承会增加大小、速度、初始化（及赋值）复杂度等等成本。如果virtualbase classes不带任何数据，将是最具实用价值的情况。
■ 多重继承的确有正当用途。其中一个情节涉及“public继承某个Interface class”和“private继承某个协助实现的class”的两相组合。

摘自《Effective C++：改善程序与设计的55个具体做法：第三版》