■ 好的接口很容易被正确使用,不容易被误用。你应该在你的所有接口中努力达成这些性质。
■ “促进正确使用”的办法包括接口的一致性,以及与内置类型的行为兼容。
■ “阻止误用”的办法包括建立新类型、限制类型上的操作,束缚对象值,以及消除客户的资源管理责任。
■ shared_ptr支持定制型删除器(custom deleter)。这可防范DLL问题,可被用来自动解除互斥锁(mutexes;见条款14)等等。
Class的设计就是type的设计。
在设计class之前考虑下面这些问题:
- 新type的对象应该如何被创建和销毁?
- 对象的初始化和对象的赋值该有什么样的差别?
- 新type的对象如果被passed by value(以值传递),意味着什么?
- 什么是新type的“合法值”?
- 你的新type需要配合某个继承图系(inheritance graph)吗?
- 你的新type需要什么样的转换?
- 什么样的操作符和函数对此新 type 而言是合理的?
- 什么样的标准函数应该驳回?
- 谁该取用新 type 的成员?
- 什么是新type的“未声明接口”(undeclared interface)?
- 你的新type有多么一般化?
- 你真的需要一个新type吗?
- 尽量以pass-by-reference-to-const替换pass-by-value。
- 以上规则并不适用于内置类型,以及STL的迭代器和函数对象。对它们而言,pass-by-value往往比较适当。
- 对象切割(slicing):当一个derived class对象以by value方式传递并被视为一个base class对象,base class的copy构造函数会被调用,而“造成此对象的行为像个derived class对象”的那些特化性质全被切割掉了,仅仅留下一个base class对象。
绝不要返回pointer或reference指向一个local stack对象,或返回reference指向一个heap-allocated对象,或返回pointer或reference指向一个local static对象而有可能同时需要多个这样的对象。
条款22:Declare data members private.- 切记将成员变量声明为private。
- protected并不比public更具封装性。
- 如果public接口内的每样东西都是函数,客户就不需要在打算访问class成员时迷惑地试着记住是否该使用小括号(圆括号)。
宁可拿non-member non-friend函数替换member函数。这样做可以增加封装性、包裹弹性(packaging flexibility)和机能扩充性。
条款24:Declare non-member functions when type conversions should apply to all parameters.如果你需要为某个函数的所有参数(包括被this指针所指的那个隐喻参数)进行类型转换,那么这个函数必须是个non-member。
- member函数的反面是non-member函数,不是friend函数。
- 无论何时如果你可以避免friend函数就该避免。
- 当std::swap对你的类型效率不高时,提供一个swap成员函数,并确定这个函数不抛出异常。
- 如果你提供一个member swap,也该提供一个non-member swap用来调用前者。对于classes(而非templates),也请特化std::swap。
- 调用swap时应针对std::swap使用using声明式,然后调用swap并且不带任何“命名空间资格修饰”。
- 为“用户定义类型”进行std templates全特化是好的,但千万不要尝试在std内加入某些对std而言全新的东西。