2 Constructors, Destructors, and Assignment Operators
条款 10：Have assignment operators return a reference to *this.
为了实现“连锁赋值”，赋值操作符必须返回一个reference指向操作符的左侧实参。
Remember：
- 令赋值（assignment）操作符返回一个reference to *this。
条款 11：Handle assignment to self in operator =.
设计良好的面向对象系统（OO-systems）会将对象的内部封装起来，只留两个函数负责对象拷贝（复制），即copy构造函数和copy assignment操作符，不妨称它们为copying函数。
Remember：
- 确保当对象自我赋值时operator=有良好行为，其中技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap；
- 确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。
条款 12：Copy all parts of an object.
设计良好的面向对象系统（OO-systems）会将对象的内部封装起来，只留两个函数负责对象拷贝（复制），即copy构造函数和copy assignment操作符，不妨称它们为copying函数。
Remember：
- Copying函数应该确保复制“对象内的所有成员变量”及“所有base class成分”；
- 不要尝试以某个copying函数实现另一个copying函数，应该将共同机能放进第三个函数中，并由两个copying函数共同调用。
4 Designs and Declarations
- 好的接口很容易被正确使用，不容易被误用，在接口中应努力达成这些性质；
- “促进正确使用”的办法包括接口的一致性，以及与内置类型的行为兼容；
- “阻止误用”的办法包括建立新类型、限制类型上的操作，苏复对象值，以及消除客户的资源管理责任。
- 新type的对象应该如何被创建和销毁？
- 对象的初始化和对象的赋值该有什么样的差别？
- 新type的对象如果被pass by value，意味着什么？（记住，copy构造函数用来定义一个type的pass-by-value该如何实现）
- 什么是新type的“合法值”？
- 你的新type需要配合某个继承图系（inheritance graph）吗？
- 你的新type需要什么样的转换？如果希望允许类型T1被隐式转换为类型T2，就必须在class T1内写一个类型转换函数（operator T2）或在T2内写一个non-explicit-non-argument构造函数，如果只允许explicit构造函数存在，则需要写出专门负责执行转换的函数，且不得为类型转换操作符（type conversion operators）或non-explicit-one-argument构造函数。
- 什么样的操作符和函数对此新type而言是合理的？
- 什么样的标准函数应该驳回？（必须声明为private）
- 谁该取用新type的成员？（哪个成员为public，哪个为protected，哪个为private）
- 什么是新type的“未声明接口”（undeclared interface）？
- 你的新type有多么一般化？（定义一个class还是一个class template）
- 你真的需要一个新type吗？（说不定一个或多个non-member函数或templates即可）
- Class的设计就是type的设计，在定义一个新type之前，请确定已经考虑过本条款覆盖的所有讨论主题。
- 尽量以 pass-by-reference-to-const 替换 pass-by-value，前者通常比较高效，并可避免切割问题；
- 以上规则并不适用于内置类型，以及STL的迭代器和函数对象，对它们而言，pass-by-value 往往比较适当。
- （Hunger：pass-by-value+浅copy 会带来意外的bug）
- 绝不要返回pointer或reference指向一个local stack对象，或返回reference指向一个heap-allocated对象，或返回pointer或reference指向一个local static对象而有可能同时需要多个这样的对象。
- 切记将成员变量声明为private，这可赋予客户访问数据的一致性、可细微划分访问控制、允诺约束条件获得保证，并提供class作者以充分的实现弹性；
- protected并不比public更具封装性。
- 以non-member non-firend函数替换member函数，可以增加封装性、包裹弹性（packaging flexibility）和机能扩充性。
- 如果你需要为某个函数的所有参数（包括被this指针所指的那个隐喻参数）进行类型转换，那么这个函数必须是个non-member。
- 如果你需要为某个函数的所有参数（包括被this指针所指的那个隐喻参数）进行类型转换，那么这个函数必须是个non-member。
5 Implementations
条款29：Strive for exception-safe code.
异常安全函数（Exception-safe functions）提供以下三个保证之一：
- 基本承诺：如果异常被抛出，程序内的任何事物仍然保持在有效状态下，没有任何对象或数据结构会因此而败坏，所有对象处于一种内部前后一致的状态，虽然程序的实现状态（exact state）恐怕不可预料；
- 强烈保证：如果异常被抛出，程序状态不改变，即如果函数成功，就是完全成功，否则，程序回到“调用函数之前”的状态，程序只有两种可能状态：如预期般地到达函数成功执行后的状态，或回到函数被调用前的状态，而只提供基本承诺的函数，若真的出现异常，程序有可能处于任何状态——只要那个状态合法；
- 不抛掷（nothrow）保证：承诺绝不抛出异常，因为它们总能完成原先承诺的功能。
Remember：
- 异常安全函数（Exception-safe functions）即使发生异常也不会泄漏资源或允许任何数据结构败坏，这样的函数区分为三种可能的保证：基本型、强烈型、不抛异常性；
- “强烈保证”往往能够以copy-and-swap实现出来，但“强烈保证”并非对所有函数都可实现或具备实现意义；
- 函数提供的“异常安全保证”通常最高只等于其所调用的各个函数的“异常安全保证”中的最弱者。
条款31：Minimize compilation dependencies between files.
“接口与实现分离”的关键在于以”声明的依存性“替换”定义的依存性“，那正是编译依存性最小化的本质：实现中让头文件尽可能自我满足，万一做不到，则让它与其它文件内的声明式（而非定义式）相依。
- 如果使用object references或object points可以完成任务，就不要使用objects；
- 如果能够，尽量以class声明式替换class定义式，如果能够将”提供class定义式“（通过#include完成）的义务从”函数声明所在“的头文件转移到”内含函数调用“的客户文件，便可将”并非真正必要的类型定义“与客户端之间的编译依存性去掉；
- 为声明式和定义式提供不同的头文件。
Remember：
- 支持”编译依存性最小化“的一般构想是：相依于声明式，不要相依于定义式，基于此构想的两个手段是Handle classes和Interface class；
- 程序库头文件应该以”完全且仅有声明式（full and declaration-only forms）“的形式存在，这种做法不论是否涉及templates都适用。
6 Inheritance and Object-Oriented Design
条款32：Make sure public inheritance model "is-a".
Remember：
- "public继承"意味is-a。适用于base classes身上的每一件事情一定也适用于derived classes身上，因为每一个derived class对象也都是一个base class对象。
条款33：Avoid hiding inherited names.
Remember：
- derived classes内的名称会遮掩base classes内的名称。在public继承下从来没有人希望如此；
- 为了让被遮掩的名称再见天日，可使用using声明或转交函数（forwarding functions）。
条款34：Differentiate between inheritance of interface and inheritance of implementation.
Remember：
- 接口继承和实现继承不同，在public继承之下，derived classes总是继承base class的接口；
- pure virtual 函数只具体指定接口继承；
- impure virtual 函数具体指定接口继承及缺省实现继承；
- non-virtual 函数具体指定接口继承以及强制性实现继承。
条款35：Consider alternatives to virtual functions.
藉由 Non-Virtual Interface 手法实现 Template Method 模式
这一基本设计，即“令客户通过 public non-virtual 成员函数间接调用 private virtual 函数”，称为non-virtual interface(NVI)手法。它是所谓Template Method设计模式的一个独特表现形式，这个non-virtual函数可称为virtual函数的外覆器（wrapper）。
NVI手法的一个优点隐身在上述代码注释“做一些事前工作”和“做一些事后工作”之中。wrapper确保一个virtual函数在被调用之前设定好适当场景，并在调用结束之后清理场景，如果你让客户直接调用virtual函数，就没有任何好办法可以做这些事。
NVI手法涉及在derived classes内重新定义private virtual函数，而derived classes并不调用这些函数。这赋予了derived classes“如何实现机能”的控制能力，但base class保留“函数何时被调用”的权利。
藉由Function Pointers实现Strategy模式
运用函数指针替换virtual函数，其优点是“每个对象可各自拥有自己的计算函数”和“可在运行期改变计算函数”，缺点是必须降低类的封装性，这是唯一能够解决“需要以non-member函数访问class的non-public成分”的办法。例如class可声明该non-member函数为friends，或是为其实现的某一部分提供public访问函数（其它部分则宁可隐藏起来）。
古典的Strategy模式
将继承体系内的virtual函数替换为另一个即成体系内的virtual函数，这是strategy设计模式的传统实现手法。
条款36：Never redefine an inherited non-virtual function.
non-virtual 函数是静态绑定（statically bound）（指针），而 virtual 函数是动态绑定（dynamically bound），任何情况下都不该重新定义一个继承而来的non-virtual函数（overwrite）。
条款37：Never redefine a function's inherited default parameter value.
virtual 函数是动态绑定（dynamically bound），而缺省参数值确是静态绑定（statically bound）。当你想令 virtual 函数表现出你想要的行为却遭遇麻烦，聪明的做法是考虑替代设计。
条款38：Model "has-a" or "is-implemented-in-terms-of" through composition.
复合（composition）指某种类型的对象内含其它类型的对象。
Remember：
- 复合（composition）的意义和public继承完全不同，public继承带有is-a（是一种）的意义；
- 在应用域（application domain），复合意味has-a（有一个）；在实现域（implementation domain），复合意味is-implemented-in-term-of（根据某物实现出）。
条款39：Use private inheritance judiciously.
C++将public继承视为is-a关系，编译器在必要时刻（为了让函数调用成功）会将派生类暗自转换为基类。如果class之间的继承关系是private，编译器不会自动将一个derived class对象转换为一个base class对象。
Empty class可以不是真正的empty，它们没有non-static成员变量，却可以内含typedefs，enums，static成员变量，或non-virtual函数。
Remember：
- Private继承意味is-implemented-in-term-of（根据某物实现出），它通常比复合（composition）的级别低，但是当derived class需要访问protected base class的成员，或需要重新定义继承而来的virtual函数时，这设计是合理的；
- 和复合（composition）不同，private继承可以造成empty base最优化（empty base optimization），EBO一般只在单一继承（而非多重继承）下才行，统治C++对象布局的那些规则通常表示EBO无法被施行于“拥有多个base”的derived class身上，这对致力于“对象尺寸最小化”的程序库开发者而言，可能很重要。
条款40：Use multiple inheritance judiciously.
非必要不使用virtual base，平常请使用non-virtual继承；如果必须使用virtual base class，尽可能避免在其中放置数据。
Remember：
- 多重继承比单一继承复杂，它可能导致新的歧义性，以及对virtual继承的需要；
- virtual继承会增加大小、速度、初始化（赋值）复杂度等等成本，如果virtual base class不带任何数据，将是最具实用价值的情况；
- 多重继承的确有正当用途，其中一个情节涉及“public继承某个Interface class”和“private继承某个协助实现的class”的两相组合。
8 Customizing new and delete
条款49：Understand the behavior of the new-handler.
当operator new抛出异常以反映一个未获满足的内存需求之前，它会先调用一个客户指定的错误处理函数，即new-handler（以前它会返回一个null指针，某些旧式编译器目前也还那么做）。为了指定这个“用以处理内存不足”的函数，客户必须调用set_new_handler，一个声明于<new>的标准程序库函数：
namespace std
{
typedef void (*new_handler)();
new_handler set_new_handler(new_handler p) throw();
}- new_handler是个typedef，定义一个指针指向函数，该函数没有参数也不返回任何东西；
- set_new_handler是“获得一个new_handler并返回一个new_handler”的函数；
- throw()是一份异常明细，表示该函数不抛出任何异常。
然后，operator new做以下事情：
- 调用标准set_new_handler，告知类的错误处理函数，这会将类的new_handler安装为global new_handler；
- 调用global operator new，执行实际的内存分配。如果分配失败，global operator new会调用类的new_handler，因为类的new_handler被安装为global new handler。
- 如果global operator new能够分配足够一个类对象所用的内存，类的operator new会返回一个指针，指向分配所得。类的析构函数会管理global new_handler，即自动将类的operator new被调用前那个global new_handler恢复回来。
传统的C++要求operator new必须在无法分配足够内存时返回null，这个形式被称为nothrow形式。Nothrow new是一个颇为局限的工具，因为它只适用于内存分配，后继的构造函数调用还是可能抛出异常。
条款52：Write placement delete if you write placement new.
当你写一个new表达式，共有两个函数被调用，一个是用以分配内存的operator new，一个是类的default构造函数。假设其中第一个函数调用成功，第二个函数却抛出异常，则步骤以的内存分配所得必须取消并恢复旧观，否则会造成内存泄漏（memory leak）。此时，客户没有能力归还内存，因为如果类构造函数抛出异常，类指针尚未被赋值，客户手上就没有指针指向该被归还的内存，而取消步骤一并恢复旧观的责任因此落到C++运行期系统身上。运行期系统会高高兴兴地调用步骤一所调用的operator new的相应operator delete版本，前提当然是它必须知道哪一个（因为可能有多个）operator delete该被调用。
如果operator new接受的参数除了一定会有的那个size_t之外还有其它，这个就是placement new。众多placement new版本中特别有用的一个是“接受一个指针指向对象该被构造之处”，如下：
void* operator new(std::size_t, void *pMemory) throw();- 如果你需要为某个函数的所有参数（包括被this指针所指的那个隐喻参数）进行类型转换，那么这个函数必须是个non-member。
扫一扫
1068
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
