Effective C++总结
第4章 设计与声明
条款18: 让接口容易被正确使用,不易被误用
详见 这里."促进正确使用"的办法包括接口的一致性,以及与内置类型的行为兼容.条款19: 设计 class 犹如设计type
详见 这里.class 的设计就是type的设计.在定义一个新的type之前,请确定已经考虑本条款覆盖的所有讨论主题.条款20: 宁以pass-by-reference-to-const 替换pass-by-value
详见 这里.尽量以pass-by-reference-to 替换pass-by-value.前者通常比较高效,并可避免切割问题(slicing problem).条款21: 必须返回对象时,别妄想返回其reference
条款22: 将成员变量声明为 private
详见 这里.如果对客户隐藏成员变量(也就是封装它们),可以确保 class 的约束条件总是会获得维护,因为只有成员函数可以影响它们.如果不隐藏它们呢,很快就会发现,即使拥有 class 原始码,改变任何 public 事物的能力还是极端受到束缚,因为那会破坏太多客户码. public 意味不封装.某些东西的封装性与"当其内容改变时可能造成的代码破坏量"成反比.因此,成员变量的封装性与"成员变量的内容改变时所破坏的代码数量"成反比.所谓改变,也许是从 class 中移除它.
从封装的角度观看,只有两种访问权限:private(提供封装)和其它(不提供封装).
条款23: 宁以non-member,non-friend 替换member函数
详见 这里.如何测量"有多少代码可以看到某一块数据"呢?计算能够访问该数据的函数数量,作为一种粗糙的测量.愈多函数可访问它,数据的封装性就愈低.宁可拿non-member non-friend 函数替换member函数.这样做可以增加封装性,包裹弹性和机能扩充性.
条款24: 若所有参数皆需类型转换,请为此采用non-member函数
详见 这里.只有当参数被列于参数列内,这个参数才是隐式类型转换的合格参与者.让 operator* 成为一个non-member函数,以便允许编译器在每一个实参身上执行隐式类型转换.条款25: 考虑写出一个不抛异常的swap函数
第5章 实现
条款26: 尽可能延后变量定义式的出现时间
详见 这里.只要定义了一个变量而其类型带有一个构造函数或析构函数,那么当程序的控制流到达这个变量定义式时,便要承受构造成本;当这个变量离开其作用域时,便要承受析构成本.即使这个变量最终并未被使用,仍需耗费这些成本,所以应该尽量避免这种情形.尽可能延后变量定义式的出现,这样做可增加程序的清晰度并改善程序效率.
条款27: 尽量少做转型动作
详见 这里.如果可以,尽量避免转型,特别是在注重效率的代码中避免dynamic_cast.宁可使用C++ style(新式)转型,不要使用旧式转型.前者很容易辨识出来,而且也比较有着分类的执掌.条款28: 避免返回handles指向对象内部成分
条款29: 为"异常安全"而努力是值得的
条款30: 透彻了解inlining的里里外外
详见 这里.inline 函数背后的整体观念是,将"对此函数的每一个调用"都以函数本体替换.inline 只是对编译器的一个申请,不是强制命令,这项申请可以隐式提出,也可以显式提出.隐式方式是将函数定义于 class 定义式内.条款31: 将文件间的编译依存关系降至最低
详见 这里.分离的关键在于以"声明的依存性"替换"定义的依存性".第6章 继承与面向对象设计
条款32: 确定 public 继承模塑出is-a关系
详见 这里.以C++进行面向对象编程,最重要的一个规则是:public inheritance意味着"is-a"的关系.条款33: 避免遮掩继承而来的名称
详见 这里.derived class 内的名称会遮掩base class 内的名称.在 public 继承下从来没有人希望如此.为了让被遮掩的名称出现,可适用 using 声明式或转交函数.条款34: 区分接口继承和实现继承
条款35: 考虑 virtual 函数以外的其他选择
条款36: 绝不重新定义继承而来的non-virtual 函数
详见 这里.任何情况下都不应该重新定义一个继承而来的non-virtual 函数.这也解释了为什么多态性base class 内的析构函数应该是 virtual.条款37: 绝不重新定义继承而来的缺省参数值
条款38: 通过复合模塑出has-a货"根据某物实现出"
条款39: 明智而审慎地使用 private 继承
条款40: 明智而审慎地使用多重继承
第7章 模板与泛型编程
条款41: 了解隐式接口和编译期多态
详见 这里.面向对象编程世界总是以显式接口(explicit interface)和运行期多态(runtime polymorphism)解决问题.Templates以及泛型编程的世界,与面向对象有根本上的不同.在这个世界中显式接口和运行期多态仍然存在,但重要性降低.反倒是隐式接口和编译器多态变得重要.
编译器多态和运行期多态之间的差异,类似于"哪一个重载函数被调用"(发生在编译期)和"哪一个virtual函数该被绑定"(发生在运行期)之间的差异.