Effective C++学习笔记——构造/析构/拷贝运算

条款9：决不再构造和析构过程中调用virtual函数，包括通过函数间接调用virtual函数。

应用：想在一个继承体系中，一个derived class被创建时，某个调用（例如生成相应的日志log）会有相对应的实现。

原因： base class的构造函数会先被调用，而在base class 构造期间virtual函数绝不会下降到dedrived class阶层。事实上，C++的其它部分（dynamic_cast & typeid），在此期间也是一样的把对象视为base class。

 

解决办法：籍由”令derived class 将必要的构造信息向上（通过函数参数）传递至base class的构造函数“。可以在dedrived class中定义一个private static函数来得到该构造信息, 定义为static是为了避免使用尚未初始化好的dedrived class 成员。

 

条款10、11： 令assignment操作符返回一个reference to *this。同时注意在operator=中处理”自我复制“！

说明：operator=要考虑”自我复制安全性“和”异常安全性“。涉及的技术包括：比较”来源对象“和”目标对象“的地址、精心周到的语句顺序、以及copy-and-swap技术。

   1: class A

   2: {

   3:     ...

   4: private:

   5:     int *p;            

   6: }

   7: //1 各种不安全

   8: A& A::operator=(const A& rhs)

   9: {

  10:     delete p;

  11:     p = new A(*rhs.p);

  12:     return *this;

  13: }

  14:  

  15: //2 语句顺序的改变，带来“自我复制安全”（虽然也许不够高效）与“异常安全”。

  16: A& A::operator=(const A& rhs)

  17: {

  18:     pOrig = p;

  19:     p = new A(*rhs.p);

  20:     delete pOrig;

  21:     return *this;

  22: }

  23:  

  24: //3 copy-and-swap技术

  25: void A::swap(A& rhs)

  26: {

  27:     ...//交换*this与rhs

  28: }

  29: A& A::operator=(const A& rhs)

  30: {

  31:     A temp(rhs);

  32:     swap(rhs);

  33:     return *this;

  34: }

  35:  

  36: //4 巧妙伶俐的利用值传递在制造临时副本，即使有可能更为高效（在“函数参数构造”）却牺牲了清晰性。

  37: A& A::operator=(const A rhs)

  38: {

  39:     swap(rhs);

  40:     return *this;

  41: }

 

条款12：复制对象时勿忘其每一个成分

备注：不要尝试以某个copying函数来实现另一个copying函数（copy构造函数，operator=函数）。