README.md

Effective C++: 55 Specific Ways to Improve Your Programs and Designs

Scott Meyers. Effective C++: 55 Specific Ways to Improve Your Programs and Designs. 电子工业出版社. 侯捷译. 第三版

本书局限于 C++ 98 说实在有点过时。

C++ 11 是十分有必要学习的，快速把本书过完吧，然后再学 STL -> More Effective C++ -> Modern Effective C++ 。

• 1 | 让自己习惯 C++
• 2 | 构造/析构/赋值运算
• 3 | 资源管理
• 4 | 设计与声明
• 5 | 实现
• 6 | 继承与面型对象设计
• 7 | 模板与泛型编程
• 8 | 定制 new 和 delete
• 9 | 杂项讨论

1 | 让自己习惯 C++

./drafts/cpp55.01.know.md

• 导读部分
  • 定义一定调用构造函数
  • 命名习惯 Naming Conventions
• 01 | 视 C++ 为一个语言联邦
• 02 | 尽量以 const, enum, inline 替换 ./drafts/cpp55.01.know.md#define
  • 声明与定义的区别
  • class 专属常量被特殊处理
  • 滥用 ./drafts/cpp55.01.know.md#define 的坏处
• 03 | 尽可能使用 const
  • const 与指针
  • const 在声明中的作用
  • const 成员函数
  • mutable 之于 const 成员函数
  • 在 const 和 non-const 中避免重复
• 04 | 确定对象被使用前已先被初始化
  • 成员初值列 member initialization list
  • 关于 static 以及 local static

2 | 构造/析构/赋值运算

./drafts/cpp55.02.constructors.destructors.assignment.md

• 05 | 了解 C++ 默默编写并调用哪些函数
  • C++ 默认实现了构造函数等内容
  • 更好地理解 static
• 06 | 若不想使用编译器自动生成的函数，就该明确拒绝
  • 将 copy 构造函数或操作符设为 private 以防止拷贝对象
  • 函数声明不写参数名称是可以的
• 07 | 为多态基类声明 virtual 析构函数
  • 基类的析构函数 non-virtual 带来灾害
  • 别无端声明虚函数
  • 不要继承标准容器或者其他带有 non-virtual 析构函数的类！
  • 纯虚函数 pure virtual 导致抽象类 abstract class
• 08 | 别让异常逃离析构函数
  • 把异常反应留给使用者，而非析构函数
• 09 | 绝不在构造和析构过程中调用 virtual 函数
  • 在基类构造期间，虚函数不是虚函数
• 10 | 令 operator= 返回一个 reference to *this
  • 不仅适用于=，适用于所有赋值相关运算，是一个协议，合理的协议
• 11 | 在 operator= 中处理“自我赋值”
  • 自我赋值可能带来的错误
  • 证同测试 identity test
  • 调整语句顺序保证异常安全性
  • copy-and-swap
• 12 | 复制对象时勿忘其每一个成份
  • Copying 函数应该确保复制所有成份
  • 不要用 copying 函数实现另一个 copying 函数

3 | 资源管理

./drafts/cpp55.03.resource.management.md

• 13 | 以对象管理资源
  • 智能指针 std::auto_ptr
  • RCSP 的 shared_ptr 解决 auto_ptr 唯一所有权问题
• 14 | 在资源管理类中小心 copying 行为
  • 资源取得时机便是初始化时机
  • mutex 为例： RAII 复制行为
• 15 | 在资源管理类中提供对原始资源的访问
  • 智能指针重载了指针取值操作符
  • 重载隐式转换函数
• 16 | 成对使用 new 和 delete 时要采取相同形式
• 17 | 以独立语句将 newed 对象置入智能指针

4 | 设计与声明

./drafts/cpp55.04.designs.declarations.md

• 18 | 让接口容易被正确使用，不易被误用
• 19 | 设计 class 犹如设计 type
• 20 | 宁以 pass-by-reference-to-const 替换 pass-by-value
  • 传引用可以防止参数被切割
• 21 | 必须返回对象时，别妄想返回其 reference
  • 函数创建新对象之 stack-based 与 heap-based 的问题
• 22 | 将成员变量声明为 private
• 23 | 宁以 non-member 、 non-friend 替换 member 函数
  • 使用命名空间函数替代成员函数
• 24 | 若所有参数皆需类型转换，请为此次采用 non-member 函数
  • 成员函数中的函数难以对外部变量转换类型
• 25 | 考虑写出一个不抛出异常的 swap 函数
  • 典型的 std::swap 可能浪费性能
  • 全特化 total template specialization
  • 偏特化 paritally specialize 与 swap class template 而非 classes

5 | 实现

./drafts/cpp55.05.implementations.md

• 26 | 尽可能延后变量定义式的出现时间
• 27 | 尽量少做转型动作
  • 四种新式转型动作
  • 在子类中乱用转型案例及纠错
  • 在容器迭代中乱用转型案例及纠错
• 28 | 避免返回 handles 指向对象内部成份
• 29 | 为“异常安全”而努力是值得的
  • 什么是 copy-and-swap 策略？
• 30 | 透彻了解 inlining 的里里外外
• 31 | 将文件间的编译依存关系降至最低
  • Handle classes / pimpl idiom
  • Interface classes 与 factory method

6 | 继承与面型对象设计

./drafts/cpp55.06.inheritance.md

• 32 | 确定你的 public 继承塑模出 is-a 关系
• 33 | 避免遮掩继承而来的名称
  • 子类的名称会遮掩基类的名称
  • 使用 using 声明或者转交函数 forwarding functions 可以让名称取消遮掩
• 34 | 区分接口继承和实现继承
• 35 | 考虑 virtual 函数以外的其他选择
  • 基类中最常规的 virtual 方法
  • 非虚接口实现 Template Method 模式
  • 由 Function Pointers 实现 Strategy 模式
  • 由 tr1::function 完成 Strategy 模式
  • 古典的 Strategy 模式
• 36 | 绝不重新定义继承而来的 non-virtual 函数
  • non-virtual 函数带来静态绑定 statically bound
• 37 | 绝不重新定义继承而来的缺省参数值
  • 虽然 virtual 函数是动态绑定 dynamically bound ，但是参数值却是静态绑定
• 38 | 通过复合塑模出 has-a 或“根据某物实现出”
• 39 | 明智而审慎地使用 private 继承
  • 为什么宁用符合也不用 private 继承
  • 什么时候用 private ？ EBO empty base optimization
• 40 | 明智而审慎地使用多重继承
  • 多重继承可能导致歧义
  • virtual 继承

7 | 模板与泛型编程

./drafts/cpp55.07.templates.generic.md

• 41 | 了解隐式接口和编译期多态
  • 显示接口 explicit interface 和隐式接口 valid expressions
• 42 | 了解 typename 的双重意义
  • typename 告诉编译器从属名称 dependent name 也是个类型
  • 不能使用 typename 之处
• 43 | 学习处理模板化基类内的名称
  • 防止“拒绝在模板化基类”中寻找继承的名称三种方法
• 44 | 将与参数无关的代码抽离 templates
• 45 | 运用成员函数模板接受所有兼容类型
  • 必须同时声明泛化 copy 构造函数和“正常的” copy 构造函数
• 46 | 需要类型转换时请为模板定义非成员函数
  • template 在实参推导过程中不将隐式类型转换纳入考虑
  • 应用 friend 函数让成员函数成为非成员函数
• 47 | 请使用 traits classes 表现类型信息
  • STL 迭代器分类
  • Traits 是一个 C++ 协议
• 48 | 认识 template 元编程
  • 使用 TMP 计算阶乘

8 | 定制 new 和 delete

./drafts/cpp55.08.new.md

• 49 | 了解 new-handler 的行为
  • new 的错误处理函数 new-handler
  • 设计专属的 set_new_handler
  • 设计模板化的 new_handler
  • nothrow 形式：分配失败返回 null
• 50 | 了解 new 和 delete 的合理替换时机
• 51 | 编写 new 和 delete 时需固守常规
  • 即便客户要求 0 bytes ， new 也得返回一个合法指针
• 52 | 写了 placement new 也要写 placement delete
  • 考虑 placement new 异常的情况
  • placement new 会覆盖正常的 new

9 | 杂项讨论

./drafts/cpp55.09.miscellany.md

• 53 | 不要轻忽编译器的警告
• 54 | 让自己熟悉包括 TR1 在内的标准程序库
• 55 | 让自己熟悉 Boost