Effectvie C++ note2

2.构造/析构/赋值运算

1、只有当类的默认构造函数，析构函数，copy构造函数和assignment赋值操作符函数被需要（被调用时），它们才会被编译器创建出来。如果用户声明了一个构造函数，那么编译器不再创建default构造函数。

2、编译器产生的析构函数是non-virtual类型的。

3、如果打算在一个“内含reference成员”的class内支持赋值操作，必须自己定义一个copy assignment操作符函数，否则编译器编译出错。如：

class Widget{

public:

   Widget(string  val):r_val_(val){}

   Widget& operator=(const Widget&rhs)

   {

      r_val_ = rhs.r_val_;

      return *this;

   }

private:

   string& r_val_;

};

4、为了驳回编译器自动（暗自）提供的机能，可以将相应的成员函数声明为private并且不予实现。使用像Uncopyable这样的base class也是一种做法。如

（1）class Widget{

public:

   //...

private:

   Widget(constWidget&);

   Widget& operator=(const Widget&);

};

（2）

class Noncopyable{

protected:

   Noncopyable(){;}

   ~Noncopyable(){;}

private:

   Noncopyable(constNoncopyable&);

   Noncopyable& operator=(const Noncopyable&)

};

 

class Widget:private Noncopyable

{}

5、带多态性质的base class应该声明一个virtual 的析构函数，如果class带有任何virtual函数，那么也应该拥有一个virtual析构函数。

6、如果class不是作为base class或者具备多态性使用，那么这个class不该声明为virtual析构函数。

7、析构函数绝对不要吐出异常，如果一个被析构函数调用的函数可能抛出异常，那么析构函数应该捕捉任何异常，然后吐下它们或者结束程序。

8、如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么class应该提供一个普通函数（不在析构函数中）执行该操作，比如关闭数据库连接，关闭文件访问等。

9、不要在构造函数和析构函数调用本身定义的virtual函数，因为这类调用从不下降至derived class（比起当前执行构造函数和析构函数的那层）。

10、令operator=或operator+=返回一个refernce to *this，可以实现“连锁赋值”，适用于所有赋值相关运算。

11、确保当对象自我赋值时operator=有良好的行为，其中的技术包括比较“来源对象”和“目标对象”的地址、精心周到的语句顺序、以及copy-and-swap。

 

copy-and-swap的方法如下：

 

class Widget{

…

void swap(Widget& rhs);

…

};

 

Widget& Widget::operator=(const  Widget& rhs)

{

           Widget  temp(rhs);

        swap(rhs);

           return *this;

}

 

12、  copy构造函数和assignment操作符重复的代码放在private模块的的init（）函数中定义。

13、复制对象时候勿忘每一个成分。特别是声明子类copy构造函数和assignment操作符，除了复制子类本身的成员变量，一定要记得在这之前先将父类的成员复制好，示例代码：

Class Base{

Public:

 

Base(const Base& rhs)

{

m_name = rhs. m_name；

}

Base & Base::operator(const Base& rhs)

{

m_name = rhs. m_name；

return *this;

}

 

Private:

Std::string m_name;

};

 

Class Derived{

Public:

 

Derived (const Derived & rhs):Base(rhs)

{

m_count = rhs. m_count；

}

Derived & Derived::operator(const Base& rhs)

{

Base::operator=(rhs);

m_count = rhs. m_count；

return *this;

}

 

Private:

Int  m_count;

};