# 0.导读
本书的最佳用途就是彻底了解 C++ 如何行为、为什么那样行为,以及如何运用其行为形成优势。
## 术语(Terminology)
声明式(declaration)是告诉编译器某个东西的名称和类型,但略去细节。每个函数的声明揭示其签名式(signature),也就是参数和返回类型,一个函数的签名等同于该函数的类型。
> C++ 对签名式的官方定义并不包括函数的返回类型,不过本书把返回类型视为签名的一部分。
定义式(definition)的任务是提供编译器一些声明式所遗漏的细节:
* 对对象而言,定义式就是编译器为此对象拨发内存的地点;
* 对函数或者模板函数而言,定义式提供了代码本体;
* 对类或者模板类而言,定义式列出它们的成员;
初始化(initialization)是”给予对象初值“的过程。对用户自定义类型的对象而言,初始化由构造函数执行。所谓 default 构造函数是一个可被调用而不带任何实参者。
构造函数被声明为 explicit 可以阻止隐式类型转换(implicit type conversions),但不会阻止显式类型转换(explicit type conversions)。被声明为 explicit 的构造函数通常比 non-explicit 的要更好一些,因为它禁止编译器执行非预期的类型转换。
```cpp
class Object {
public:
explicit Object(int val);
};
void func(Object obj);
func(28); // 错误,int 到 Object 不能执行隐式转换;
func(Object(28)); // 正确,Object 用构造函数进行了显示转换;
```
copy 构造函数是”以同类对象初始化自我对象“,而 copy assignment 操作符是”从另一个同型对象中拷贝其值到自我对象“,需要注意的是”=“也可以用来调用 copy 构造函数。
```cpp
class Object {
public:
Object(); // default 构造函数;
Object(const Object& obj); // copy 构造函数;
Object& operator=(const Object& rhs); // copy assignment 操作符;
};
Object o1; // 调用 default 构造函数;
Object o2(o1); // 调用 copy 构造函数;
o1 = o2; // copy assignment 操作符;
Object o3 = o1; // 调用 copy 构造函数;
```
copy 构造函数是一个非常重要的函数,因为它定义了一个对象如何以值传递(passed-by-value)。
不明确行为(undefined behavior)即无法稳定预估运行期会发生什么事的行为,例如对一个 null 指针取值(dereferencing)和指涉一个无效的数组索引。
在 C++ 中,接口(interface)一般值函数的签名(signature)或类的可访问元素。
## 命名习惯(Naming Conventions)
lhs 和 rhs 分别表示 “left-hand side” 和 “right-hand side”;pt 为 “指向一个 T 类型的对象” 的指针;rt 为一个 T 类型的引用。
## 关于线程(Threading Consideration)
C++ 是无法直接感知线程(thread)的。
## TR1 和 Boost
TR1(Technical Report 1)是一份规范,描述加入 C++ 标准程序库的诸多新机能。
Boost 是个组织([http://boost.org](http://boost.org)\),提供可移植、同僚复审、源码开放的 C++ 程序库。
- 介绍
- 0.导读
- 1.让自己习惯 C++
- 条款01:视 C++ 为一个语言联邦
- 条款02:尽量以 const, enum, inline 替换 #define
- 条款03:尽可能使用 const
- 条款04:确定对象被使用前已先被初始化
- 2.构造/析构/赋值运算
- 条款05:了解 C++ 默默编写并调用哪些函数
- 条款06:若不想使用编译器自动生成的函数,就该明确拒绝
- 条款07:为多态基类声明 virtual 析构函数
- 条款08:别让异常逃离析构函数
- 条款09:绝不在构造和析构过程中调用 virtual 函数
- 条款10:令 operator= 返回一个reference to *this
- 条款11:在 operator= 中处理自我赋值
- 条款12:复制对象时勿忘其每一个成分
- 3.资源管理
- 条款13:以对象管理资源
- 条款14:在资源管理类中小心 copying 行为
- 条款15:在资源管理类中提供对原始资源的访问
- 条款16:成对使用 new 和 delete 时要采用相同形式
- 条款17:以独立语句将 newed 对象置入智能指针
- 4.设计与声明
- 条款18:让接口容易被正确使用,不易被误用
- 条款19:设计 class 犹如设计 type
- 条款20:宁以 pass-by-reference-to-const 替换 pass-by-value
- 条款21:必须返回对象时,别妄想返回其 reference
- 条款22:将成员变量声明为 private
- 条款23:宁以 non-member、non-friend 替换 member 函数
- 条款24:若所有参数皆需类型转换,请为此采用 non-member 函数
- 条款25:考虑写出一个不抛异常的 swap 函数
- 5.实现
- 条款26:尽可能延后变量定义式的出现时间
- 条款27:尽量少做转型
- 条款28:避免返回 handles 指向对象内部成分
- 条款29:为”异常安全“而努力是值得的
- 条款30:透彻了解 inlining 的里里外外
- 条款31:将文件间的编译依存关系降至最低
- 6.继承与面对对象设计
- 条款32:确定你的 public 继承塑模出 is-a 关系
- 条款33:避免遮掩继承而来的名称
- 条款34:区分接口继承和实现继承
- 条款35:考虑 virtual 函数以外的其他选择
- 条款36:绝不重新定义继承而来的 non-virtual 函数
- 条款37:绝不重新定义继承而来的缺省参数值
- 条款38:通过复合塑模出 has-a 或”根据某物实现出“
- 条款39:明智而审慎地使用 private 继承
- 条款40:明智而审慎地使用多重继承
- 7.模板与泛型编程
- 条款41:了解隐式接口和编译期多态
- 条款42:了解 typename 的双重含义
- 条款43:学习处理模板化基类内的名称
- 条款44:将与参数无关的代码抽离 templates
- 条款45:运用成员函数模板接收所有兼容类型
- 条款46:需要类型转换时请为模板定义非成员函数
- 条款47:请使用 traits classes 表现类型信息
- 条款48:认识 template 元编程
- 8.定制 new 和 delete
- 条款49:了解 new-handler 的行为
- 条款50:了解 new 和 delete 的合理替换时机
- 条款51:编写 new 和 delete 时需固守常规
- 条款52:写了 placement new 也要写 placement delete
- 9.杂项讨论
- 条款53:不要请忽编译器的警告
- 条款54:让自己熟悉包括 TR1 在内的标准程序库
- 条款55:让自己熟悉 Boost