设计与声明
条款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函数
略