Effective C++读书笔记（二）构造、析构、赋值

条款05：了解C++默默编写并调用哪些函数
                Know whatfunctions C++ silently writes and calls

–C++会为默认的空类(emptyclass)添加

                      •Default 默认构造函数

                      •Copy 构造函数

                      •析构函数

                      •Copy assignment 复制赋值操作符

     –唯有这些函数被调用时，它们才会被编译器创建出来，且都是public && inline。

条款06：若不想使用编译器自动生成的函数，就该明确拒绝
                 Explicity disallow the use of compiler-generated functions you to notwant.

–方法：

               •可以自定义编译器会默认生成的函数，手动定义成private，并且不予实现;

               •或者使用空基类(emptybase class)声明空函数来继承。

条款07：为多态基类声明Virtual析构函数
                Declare destructors virtual in polymorphic base classes.

–C++明确指出，当derivedclass对象经由一个base class指针被删除，而该baseclass带着一个non-virtual析构函数，其结果未有定义----实际执行时通常发生的是对象的derived成分没被销毁。

                         •方法：给base classes定义一个virtual析构函数。

•任何class只要带有virtual函数都几乎确定应该有一个virtual析构函数。

–欲实现出virtual函数，对象必须携带某些信息，主要用来在运行期决定哪一个virtual函数被调用。这份信息通常由一个所谓vptr（virtualtable pointer）指针指出。

–令class带一个purevirtual(纯虚)析构函数会导致abstract(抽象)classes ---也就是不能被实体化(instantiated)的class.

–总结

                •Polymorphic(带多态性质的)baseclasses应该声明一个virtual析构函数。如果class带有任何virtual函数，它就应该拥有一个virtual析构函数。

                •Classes的设计目的如果不是作为baseclasses使用，或不是为了具备多态性(polymorphic),就不该声明Virtual析构函数。

条款08：别让异常逃离析构函数
                 Preventexception from leaving destructors

–当析构函数发生异常时，有以下2中解决办法

           •如果抛出异常就结束程序，通常通过调用 abort完成

DBConn::~DBConn()
{
Try{ db.close();}
Catch(…){
    std::abort();
}
}

          •吞下因调用析构函数而发生的异常；

DBConn::~DBConn()
{
Try{ db.close();}
Catch(…){

}
}

–总结

                    •析构函数绝对不要吐出异常。如果一个被析构函数调用的函数可能抛出异常，析构函数应该捕捉任何异常，然后吞下它们(不传播)或结束程序。

                    •如果客户需要对某个操作函数运行期间抛出的异常做出反应，那么class应该提供一个普通函数(而非在析构函数中)执行该操作。

条款09：绝不在构造和析构过程中调用Virtual函数
               Nevercall  virtual functions duringconstruction or destruction

–Base class构造期间virtual函数绝不会下降到derived classes阶层。（在base class构造期间，virtual函数不是virtual函数）

条款10：令operator =返回一个referenceto *this
                 Haveassignment operator return a reference to *this.

–关于赋值，你可以把它们写出连续形式：

intx,y,z;
x = y = z =15;

–同样的，赋值采用的是右结合方法，所有上述连续赋值解析为：

                  x =(y = ( z = 15));

–为了实现连续赋值，赋值操作符必须返回一个reference指向操作符的左侧实参。

条款11：在operator=中处理“自我赋值”
                Handleassignment to self in operator=.

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

class Widget{
...
void swap(Widget& rhs);
...
};
Widget& Widget::operator=(const Widget& rhs)
{
     Widget temp(rhs);
     swap(temp);
     return *this;
}

也可以将copying动作移至参数构造阶段

Widget Widget::operator=(Widget rhs)
{
 swap(rhs);
 return *this;
}

为了伶俐巧妙的修补而牺牲了清晰性。

–确定任何函数如果操作一个以上的对象，而其中多个对象是同一个对象时，其行为仍然正确。

条款12：复制对象时勿忘其每一个成分
                 Copy allparts of an object

–当你编写一个copying函数，请确保

         (1) 复制所有local成员变量，

         (2) 调用所有baseclasses内的适当的copying函数。

–Copying 函数应该确保复制“对象内的所有成员变量”及“所有baseclass成员”。

–不要尝试以某个copying函数实现另一个copying函数。应该将共同功能放进第三个函数中，并由两个copying函数共同调用。