好的接口很容易被正确使用,不容易被误用。你应该在你的所有接口中努力达成这些性质。
"促进正确使用"的办法包括接口的一致性,以及与内置类型的行为兼容。
"阻止误用"的办法包括建立新类型、限制类型上的操作,束缚对象值,以及消除客户的资源管理责任。
std::shared_ptr 支持定制型删除器( custom deleter) 。这可防范 DLL 问题,可被用来自动解除互斥锁 (mutexes; 见条款 14) 等等。
个人理解:让接口被正常使用,不能被误用。
设计规范:
新 type 的对象应该如何被创建和销毁
对象的初始化和对象的赋值该有什么样的差别
新 type 的对象如果被 passed by value ( 以值传递) ,意味着什么
什么是新 type 的"合法值”
你的新 type 需要配合某个继承图系(inheritance graph) 吗
你的新 type 需要什么样的转换
什么样的操作符和函数对此新 type 而言是合理的
什么样的标准函数应该驳回
谁该取用新 type 的成员
什么是新 type 的"朱声明接口”
你的新 type 有多么一般化
你真的需要一个新 type 吗
尽量以 pass-by-reference-to-const 替换 pass-by-value。 前者通常比较高效,并可避免切割问题 (slicing problem)。
以上规则并不适用于内置类型,以及 STL 的迭代器和函数对象。对它们而言,pass-by-value 往往比较适当。
个人理解:不清楚为什么 迭代器和函数对象使用pass by value 更方便; 内置类型:整型/浮点/void STL 的迭代器其实是一种“泛型指针”,本身就是一种指针; 函数对象的size 为1 切割问题:当一个derived class对象被by value方式并且被视为base class对象,base class的copy构造函数将会被调用,而造成对象的行为像个derived对象的那些性质全被切割掉,仅留下一个base class对象。
绝不要返回 pointer 或 reference 指向一个 local stack 对象,或返回 reference 指向一个 heap-allocated对象,或返回 pointer 或 reference 指向一个 local static 对象而有可能同时需要多个这样的对象。
个人理解:local stack 是因为脱离作用域,对象就被销毁。堆上分配的对象是因为在函数外面不能够确认对象是否需要被销毁。当多线程访问local static 对象时,要注意竞争的问题。
切记将成员变量声明为private。这可赋予客户访问数据的一致性、可细微划分访问控制、允诺约束条件获得保证,并提供class 作者以充分的实现弹性。
protected 并不比 public 更具封装性。
个人理解:将成员变量声明为private,后期更改的时候,不会对使用者有影响。
宁可拿 non-member non- friend 函数替换 member 函数。这样做可以增加封装性、包裹弹性 (packaging flexibility )和机能扩充性。
个人理解:个人还没理解。
如果你需要为某个函数的所有参数(包括被this 指针所指的那个隐喻参数)进行类型转换,那么这个函数必须是个non-member。
个人理解:因为只有当参数被列于参数列内,这个参数才是隐式类型转换的合格者。
当 std: :swap 对你的类型效率不高时,提供一个swap 成员函数,并确定这个函数不抛出异常。
如果你提供一个 member swap ,也该提供一个 non-member swap 用来调用前者。对于 classes (而非 templates) ,也请特化 std: :swap。
调用 swap 时应针对 std::swap 使用 using 声明式,然后调用 swap 并且不带任何"命名空间资格修饰"。
为"用户定义类型"进行 std templates 全特化是好的,但千万不要尝试在 std 内加入某些对 std 而言全新的东西。
个人理解: