《Effective C++》读书笔记第四章——设计与声明（Designs and Declarations）

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

（Make interfaces easy to use correctly and hard to use incorrectly）

• 好的接口很容易被正确使用，不容易被误用。
• “促进正确使用”的办法包括接口的一致性，以及与内置类型的行为兼容。
• “阻止误用”的办法包括建立新类型、限制类型上的操作，束缚对象值，以及消除客户的资源管理责任。
• tr1::shared_ptr支持定制型删除器（custom deleter）。这可防范DLL问题，可被用来自动解除互斥锁（mutexes；见条款14）等等。

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

（Treat class design as type design）

• 新type的对象应该如何被创建和销毁？ eg：构造、析构、内存分配和释放函数
• 对象的初始化和对象的赋值该有怎样的差别？ eg：构造函数和赋值操作符
• 新type的对象如果被passed by value，意味着什么？ eg：拷贝构造函数
• 什么是新type的“合法值”？
• 你的新type需要配合某个继承图系吗？ eg：virtual
• 你的新type需要什么样的转换？ eg：explicit
• 什么样的操作符和函数对新type是合理的？
• 什么样的标准函数应该驳回？ eg：声明为private
• 谁该取用新type成员？ eg：friends、public、private
• 什么是新type的“未声明接口”？
• 你的新type有多么一般化？ eg：template
• 你真的需要一个新type吗？

条款20：宁以pass-by-reference-to-const替换pass-by-value

（Prefer pass-by-reference-to-const to pass-by-value）

• 尽量以pass-by-reference-to-const替换pass-by-value。前者通常比较高效，并可避免切割问题。
  eg：func(base b)可写成func(const base& b)
• 以上规则并不适用于内置类型，以及STL的迭代器和函数对象。对它们而言，pass-by-value往往比较适当。

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

（Don’t try to return a reference when you must return an object）

• 绝不要返回pointer或reference指向一个local stack对象，或返回reference指向一个heap-allocated对象，或返回pointer或reference指向一个local static对象而有可能同时需要多个这样的对象。 条款4已经为“在单线程环境中合理返回reference指向一个local static对象”提供了一份设计实例。

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

（Declare data members private）

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

条款23：宁以non-member、non-friend替换member函数

（Prefer non-member non-friend functions to member functions）

• 宁可拿non-member non-friend函数替换member函数。这样做可以增加封装性、包裹弹性和机能扩充性。
  eg：将所有便利函数放在多个头文件内但隶属同一个命名空间，意味着客户可以轻松扩展这一组便利函数。他们需要做的就是添加更多non-member non-friend函数到此命名空间内。

条款24：若所有参数皆需类型转换，请为此采用non-member函数

（Declare non-member functions when type conversions should apply to all parameters）

• 如果你需要为某个函数的所有参数（包括被this指针所指的那个隐喻参数）进行类型转换，那么这个函数必须是个non-member。
  eg：
  1、当将有理数相乘的操作符声明为成员函数时：
  const Rational operator*(const Rational& rhs) const;
  Rational oneHalf(1, 2);
  Rational res1 = oneHalf * 2; // 正确，等价于 Rational res1 = oneHalf.operator*(2); // 发生隐式类型转换
  Rational res2 = 2 * oneHalf; // 错误， 等价于 Rational res2 = 2.operator*(oneHalf);
  因为oneHalf是一个内含operator* 函数的class的对象，而整数2没有相应class，也就没有operator* 成员函数，编译器也会尝试寻找可被这样调用的non-member operator*（也就是在命名空间内或在global作用域内）：
  Rational res2 = operator*(2, oneHalf);
  2、因此，可将该相乘操作符声明为非成员函数：
  const Rational operator*(const Rational& lhs, const Rational& rhs);

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

（Consider support for a non-throwing swap）

• 当std::swap对你的类型效率不高时，提供一个swap成员函数，并确定这个函数不抛出异常。
• 如果你提供一个member swap，也该提供一个non-member swap用来调用前者。对于classes（而非templates），也请特化std::swap。
• 调用swap时应针对std::swap使用using声明式，然后调用swap并且不带任何“命名空间资格修饰”。
• 为“用户定义类型”进行std templates全特化是好的，但千万不要尝试在std内加入某些对std而言全新的东西。