Effective C++ 学习备忘录二

构造 / 析构 / 赋值运算

  • 条件 05 - 了解 C++ 默默编写并调用哪些函数
  • 编译器可以暗自为 class 创造 default 构造函数、copy 构造函数、copy assignment 操作符函数以及析构函数。
  • 条件 06 - 若不想使用编译器自动生成的函数,就该明确拒绝
  • 为驳回编译器自动暗自提供的机能,可将相应的成员函数声明为 private 并且不予实现。使用像 Uncopyable 这样的 base class 也是一种做法。
  • 条款 07 - 为多态基类声明 virtual 析构函数
  • polymorphic (带多态性质的)base classes 应该声明一个 virtual 析构函数。如果 class 带有任何 virtual 函数,它就应该拥有一个 virtual 析构函数。
  • Classes 的设计目的如果不是作为 base classes 使用,或者不是为了具备多态性 (polymorphically),就不该声明 virtual 析构函数。
  • 条款 08 - 别让异常逃离析构函数
  • 析构函数绝对不要吐出任何异常。如果析构函数所调用的函数可能抛出异常,那么析构函数应该捕获所有异常然后吞掉或者结束程序。
  • 如果客户需要关注运行期间的某个函数的错误,那么 class 应该提供一个普通函数供客户调用,而不是放到析构函数中。
  • 条款 09 - 绝不在构造和析构函数中调用 virtual 函数
  • 在构造和析构期间不要调用 virtual 函数,因为这类调用从不下降至 derived class (比起当前执行构造和析构函数的那层)
  • 条款 10 - 令 operator= 返回一个 reference to *this
  • 令赋值(assignment)操作符返回一个 reference to *this
  • 条款 11 - 在 operator= 中处理自我赋值
  • 确保当对象自我赋值时 operator= 有良好的行为。其中技术包括比较 “来源对象” 和 “目标对象” 的地址,精心周到的语句顺序以及 copy-and-swap。
  • 确定任何函数如果操作一个以上的对象,而其中多个对象是同一个对象,其行为仍然正确。
  • 条款 12 - 复制对象勿忘其每一个部分
  • Copy 函数应该确保复制 “对象内的所有成员变量” 及 “所有 base class 部分”。
  • 不要尝试以某个 Copy 函数去实现另一个 Copy 函数。应该将共同机能放进第三个函数中,并由两个函数共同调用。

推荐阅读更多精彩内容