Effective c++ 阅读笔记

第一节 让自己习惯 C++

条款 2：尽量以const, enum, inline替换#define

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

 

条款 3： 尽可能使用const

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

 

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

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

 

第二节 析构 构造 赋值运算

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

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

 

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

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

 

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

• polymorphic(带多态性质的) base classes 应该声明一个virtual析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数。
• classes的设计目的如果不是作为base classes使用，或不是为了具备多态性，就不该声明。

 

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

析构函数绝对不要突出异常。如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下他们（不传播）或结束程序。

• 如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么class 应该提供一个普通函数（而非在析构函数中）执行该操作。

 

条款 9：绝不在狗仔和析构过程中调用virtual函数

• 在构造和析构函数期间不要调用virtual函数，因为这类调用从不下降至derived class。

 

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

• 令赋值操作符返回一个reference to *this

 

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

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

 

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

• copy函数应该确保copying函数实现另一个copying函数。应该将共同机能放进第三个函数中，并由两个copying函数共同调用

 

第三节 资源管理

条款13 ： 以对象管理资源

• 为防止资源泄露，请使用RAII对象，他们在构造函数中获得资源并在析构函数中释放资源。
• 两个经常被使用的RALL classes 分别是 share_ptr 和 auto_ptr。share_ptr 通常是较佳的选择，因为其copy行为比较直观。若选择 auto_ptr , 复制动作会使它（被复制物）指向 null 。

条款14 ： 在资源管理类中小心coping行为

• 复制RALL对象必须一并复制它所管理的资源，所以资源的coping行为决定RALL对象的coping行为。
• 普遍而常见的RALL class coping行为是：抑制coping，施行引用计数法。不过其他行为也都可能被实现。

条款15 ： 在资源管理类中提供对原始资源的访问

• APIs往往需要访问原始资源，，所以每一个RALL class应该提供一个 “ 取得其管理之资源 ” 的方法。
• 对原始资源的访问可能经由显示转换和隐身转换。一般而言显示转换比较安全，但是隐身转换对客户比较方便。

条款16 ： 成对使用 new 和 delete时要采用相同形式。

• 如果你在 new 表达式中使用 [ ]，必须在相应的 delete 表达式中也使用 [ ]。如果你在new表达式中不使用 [ ]，一定不要在相应的delete中使用 [ ]。

条款17 ： 以独立语句将newed对象置入智能指针

• 以独立语句将 newed 对象存储于（置入）智能指针内。如果不这样做，一旦异常被抛出，有可能导致难以察觉的资源泄漏。

 

第四节 设计与声明

条款18 ：让接口容易被正确使用，不易被误用

• 阻止被误用的办法包括建立新类型、限制类型上的操作，束缚对象值，以及消除客户的资源管理责任。
• share_ptr支持定制型删除器。这可防止DLL问题。可被用来自动解除互斥锁

条款19：设计 class 犹如设计 type

 

条款20：宁以pass-by-reference-to-const替换pass-by-value

• 尽量以pass-by-reference-to-const替换pass-by-value。前者比较高效，兵可避免切割问题。
• 以上规则并不适合内置类型，以及STL的迭代器和函数对象。对他们而言pass-by-value往往比较适当。

条款21：必须返回对象时，别妄想返回其reference

• 绝不要返回pointer或reference指向一个local stack对象，或返回reference指向一个heap-allocated对象，或返回pointer或者reference指向一个local static对象而有可能同时需要多个这样的对象。

条款22：将成员变量声明为private

• 切记将成员变量声明为private。这可赋予客户访问数据的一致性、可细微划分访问控制、允许约束条件获得保证，并提供class作者以充分的实现弹性。
• protected并不比public更具封装性。

条款23：宁以non-member、non-friend替换member函数

• 宁可拿non-member non-friend替换member函数。这样做可以增加封装性、包裹弹性和技能扩充性。

条款24：若所有参数皆需类型转换，请为此采用non-member函数

• 如果你需要为某个函数的所有参数（包括被this指针所指的那个隐喻参数）进行类型转换，那么这个函数必须是个non-member。

条款25：考虑写出一个不抛异常的swap函数

1. 在类中提供了一个public swap成员函数，这个函数直接交换指针本身（因为指针本身是int类型的，所以会调用std的普通swap函数），像下面这样：

1 void Sample::swap(Sample &s)
2 {
3     swap(p, s.p); // 也可以写成std::swap(this->p, s.p);
4 }

2. 在与Sample在同一个namespace的空间里提供一个non-member swap，并令他调用成员函数里的swap，像下面这样：

1 template <>
2 void swap<Sample>(Sample& s1, Sample& s2){s1.swap(s2);} // 如果Sample是普通类，则定义swap位于mysample空间中，同时多定义一个位于std空间中（这个多定义不是必须的，只是防御式编程）

或者

1 template <class T>
2 void swap(Sample<T>& s1, Sample<T>& s2){s1.swap(s2);} // 如果Sample是模板类时，只能定义在mysample空间中

 

好了，最后一段终于说到了不抛异常的问题，书上提到的是不要在成员函数的那个swap里抛出异常，因为成员函数的swap往往都是简单私有成员（包括指针）的置换，比如交换两个int值之类，都是交换基本类型的，不需要抛出异常，把抛出异常的任务交给non-member的swap吧。

 

最后总结一下：

1. 当std::swap对你的类型效率不高时，提供一个swap成员函数，这个成员函数不抛出异常，只对内置类型进行操作

2. 如果提供一个member swap，也该提供一个non-member swap来调用前者，对于普通类，也请特化std::swap

3. 调用swap时，区分是调用自身命名空间的swap还是std的swap，不能乱加std::符号

4. 为“用户自定义类型”进行std template全特化是好的，但千万不要尝试在std内加入某些对std而言全新的东西。

 

第五节 实现

条款26：尽可能延后变量定义式的时间

• 可增加程序的清晰度并改善程序的效率

条款27：尽量少做转型动作

• 如果可以，尽量避免转型，特别是在注重效率的代码中避免使用dynamic_cast
• 尽量使用c++ 新式转型，少用旧式转型。

条款28：避免返回handles指向对象内部成分

• 避免返回handle（包括reference，指针、迭代器）指向对象内部。遵守这个条款可增加封装性，帮助const成员函数的行为像个const，并将发生“虚吊号码牌（dangle handles）”的可能性降至最低。

条款29：为“异形安全”是值得的