Effective C++ （第三版）读书笔记

0.导读

术语

1.声明式（declaration）：告诉编译器某个东西的名称和类型（type），但略去细节。

extern int x;                         // 对象（object）声明式
std::size_t numDigits(int number);    // 函数（function）声明式
class Widget;                         // 类（class）声明式

2.定义式（definition）：提供编译器一些声明式所遗漏的细节。（代码本体）

int x;                                       // 对象的定义式
std::size_t numDigits(int number)            // 函数的定义式
{
    ...
}

class Widget                                 // class的定义式
{
    ...
}

3.初始化（initialization）：给予对象初值的过程。由构造函数执行。

关键字 explicit ：阻止它们被用来执行隐式类型转换。

命名习惯

lhs：左手端        rhs：右手端

1.让自己习惯C++

条款01：视C++为一个语言联邦

C++的四个主要的次语言：

•  C：区块（blocks）、语言（statements）、预处理器（preprocessor）、内置数据类型（built-in data types）、数组（arrays）、指针（pointers）
• Object-Oriented C++：classes（包括构造函数和析构函数）、封装（encapsulation）、继承（inheritance）、多态（polymorphism）、virtual 函数（动态绑定）......
• Template C++：C++泛型编程部分。
• STL：标准模板库。

条款02：尽量以const，enum，inline 替换 #define

• 对于单纯常量，最好以const 对象或enums 替换 #define。
• 对于形似函数的宏（macros），最好改用inline 函数替换 #define

关键词 enum：枚举

enum Color { red, green, blue };
Color r = red;
switch(r)
{
    case red  : std::cout << "red\n";   break;
    case green: std::cout << "green\n"; break;
    case blue : std::cout << "blue\n";  break;
}

inline：inline 指定符的目的是提示编译器做优化，譬如函数内联，这要求编译方能见到函数的定义。

若编译器进行函数内联，则它会以函数体取代所有对它的调用，以避免函数调用的开销（将数据置于栈上并取得结果），这可能会生成更大的可执行文件，因为函数可能会被重复多次。

// file test.h
#ifndef TEST_H_INCLUDED
#define TEST_H_INCLUDED
inline int sum (int a, int b)
{
    return a+b;
}
#endif
 
// 文件sum.c
#include "test.h"
extern inline int sum (int a, int b); // 提供外部定义
 
// 文件test1.c
#include <stdio.h>
#include "test.h"
extern int f(void);
 
int main(void)
{
    printf("%d\n", sum(1, 2) + f());
}
 
// 文件test2.c
#include "test.h"
 
int f(void)
{
    return sum(2, 3);
}

条款03：尽可能使用const

• 将某些东西声明为const 可帮助编译器侦测出错误用法。const 可被施加于任何作用域内的对象、函数参数、函数返回类型、成员函数本体。
• 编译器强制实施 bitwise constness ，但你编写程序时应该使用“概念上的常量性”（conceptual constness）。
• 当const 和 non-const 成员函数有着实质等价的实现时，令non-const 版本调用const 版本可避免代码重复。

条款04：确定对象被使用前已先被初始化

• 为内置型对象进行手工初始化，因为C++不保证初始化它们。
• 构造函数最好使用成员初值列（member initialization list），而不要在构造函数本体内使用赋值操作（assignment）。初值列列出的成员变量，其排列次序应该和它们在class 中的声明次序相同。
• 为免除“跨编译单元之初始化次序”问题，请以local static 对象替换 non-local static 对象。

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

条款05：了解C++默默编写并调用哪些函数

• 编译器可以暗自为 class 创建 default 构造函数、copy 构造函数、copy assignment 操作符，以及析构函数。

条款06：若不想使用编译器自动生成的函数，就该明确拒绝

• 为驳回编译器自动（暗自）提供的机能，可将相应的成员函数声明为 private 并且不予实现。使用像Uncopyable 这样的 base class 也是一种做法。

条款07：为多态基类声明virtual 析构函数

• 当derived class 对象经由一个base class 指针被删除，而该base class 带着一个non-virtual 析构函数，其结果未有定义——实际执行时通常发生的是对象的derived 成分没被销毁。造成“局部销毁”对象。
• 无端地将所有classes 的析构函数声明为 virtual 是错误的，只有当class 内含至少一个virtual 函数，才将它声明 virtual 析构函数。

条款08：别让异常逃离析构函数

• 析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们（不传播）或结束程序。
• 如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么 class 应该提供一个普通函数（而非在析构函数中）执行该操作。

条款09：绝不在构造和析构过程中调用 virtual 函数

• 在构造和析构期间不要调用 virtual 函数，因为这类调用从不下降至 derived class （比起当前执行构造函数和析构函数的那层）。

条款10：令 operator= 返回一个reference to *this

class Widget {
public:
    ...
    Widget& operator=(const Widget& rhs)    // 返回类型是个reference，
    {                                       // 指向当前对象。
        ...
        return *this;                       // 返回左侧对象
    }
    ...
};

条款11：在 operator= 中处理“自我赋值”

• 确保当对象自我赋值时 operator= 有良好行为。其中技术包括比较“来源对象”和“目标对象”的地址、静心周到的语句顺序、以及 copy-and-swap。
• 确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。

条款12：复制对象时勿忘其每一个成分

• copying 函数应该确保复制“对象内的所有成员变量”及“所有 base class 成分”。
• 不要尝试以某个copying 函数实现另一个copying 函数。应该将共同机能放进第三个函数中，并由两个copying 函数共同调用。