《Effective C++ 改善程序与设计的55个具体做法》——第四章笔记

设计与声明

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

理想上，如果客户企图使用某个接口而却没有获得他所预期的行为，这个代码不应该通过编译；如果代码通过了编译，它的作为就应该是客户所想要的。

导入新类型可以预防许多客户端错误。正确类型设定后，限制其值有时候就合情合理。

预防客户端错误的另一个方法是限制类型内什么事可做，什么不可做。常见的如加const。

尽量令你的type的行为与内置类型一致。避免与内置类型不兼容，是为了提供行为一致的接口。一致性最能影响接口被正确使用的程度。STL的接口就十分一致，非常容易使用。

任何接口如果要去客户必须记得做某事，就是有不被正确使用的倾向，因为客户可能忘记。

“促进正确使用”的办法包括接口的一致性，以及与内置类型的行为兼容。

“阻止错误使用”的办法包括建立新类型、限制类型的操作、束缚对象的值，以及消除客户的资源管理责任。

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

好的type有自然的语法，直观的语义，以及一个或多个高效实现品。

设计时需要考虑的问题：

1、新type的对象应该如何被创建和销毁？这影响类的构造函数析构函数以及内存分配和释放函数；

2、对象初始化和赋值有什么差别？决定构造函数和赋值操作符的行为和差异；

3、新type的对象如果被以值传递，意味着什么？拷贝构造函数定义了值传递的实现；

4、什么是新type的合法值？成员变量通常只是某些数值有效，这决定了类必须维护约束条件，也就是决定了成员函数（特别是构造函数，赋值函数，setter函数）必须进行的错误检查工作。它影响函数抛出的异常。

5、新type需要配合某个继承图系吗？如果你继承自某类，就受该类的设计束缚，特别是virtual性。如果你允许其他类继承，那会影响你所声明的函数，尤其是析构函数是否为virtual；

6、新type需要什么样的转换？类型转换决定你的类需要什么样的构造函数和类型转换函数；

7、什么样的操作符和函数对此type而言是合理的？确定哪些是type的成员函数；

8、什么样的标准函数应该被驳回？声明为private（编译器给你生成的那些函数以及你不需要的功能）；

9、谁该取用新type的成员？决定成员的public protected private friends；

10、什么是新type的未声明接口？它对效率、异常安全以及资源运用提供何种保证？这些保证将为类实现代码加上相应的约束条件；

11、你的新type有多么一般化？是定义一个新type还是一整个type家族？决定定义一个类还是类模板；

12、你真的需要一个新type吗？如果只是定义新的派生类来为基类添加机能，说不定定义非成员函数更能达到目标。

条款20：宁以常量引用传递替换值传递

提高效率，没有任何构造析构过程。

还可以避免对象切割问题：

当一个派生类的对象以值传递的方式传递并被视为一个基类对象，基类拷贝构造函数被调用，派生类成分被切割掉，无法特化。

例如：

void process(Base obj);

Derive d;

process(d); // d被切割，如果声明函数时，参数是&就ok。

引用往往以指针实现，引用传递的是指针。内置类型值传递效率更高，STL的迭代器和函数对象也是。他们选择值传递比较恰当。

小的用户自定义对象不必然选择值传递。

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

不要传递一个指向并不存在的对象的引用，本地栈对象、堆对象、本地静态对象。

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

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

protected并不比public更具封装性。

条款23：宁以非成员、非友元替换成员函数

要正确理解面向对象真实的意义。

面向对象守则要数据及操作数据的函数应该被捆绑在一起，但不意味着所有的都用成员函数完成。

面向对象守则要求数据尽可能的被封装。

封装即不可见，愈多东西封装，愈少人可见它，我们就有愈大的弹性去改变它，因为我们的改变只影响看到改变的人。越封装我们改变东西的能力越强。封装使我们能够改变事物而只影响有限客户。

考虑对象内部数据，愈少代码可以看到数据，愈多数据可被封装，我们也就能愈自由的改变对象数据。愈多函数可访问它，数据的封装性愈低。

如果非成员非友元函数和成员函数提供相同的机能，非成员非友元函数导致的封装性更大。

C++中会把某些非成员函数放置在要访问类同一个命名空间下，单独声明和定义。

命名空间可跨越多个文件，类不行。

条款24：若所有参数皆需要类型转换，请为此采用非成员函数

只有当参数位于参数列表内时，这个参数才是隐式类型转换的合格参与者。this对象绝不是隐式类型转换的合格参与者。

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

略