effective c++ 笔记 (9-12)

//---------------------------15/03/29----------------------------

//#9    绝不在构造和析构过程中调头virtual函数

{

   /*

        1:在构造时调用virtual函数有两个结果

            1>如果基类实现了这个函数，就调用基类的函数。

            2>基类没有实现这个函数，链接时报错。

            原因:

            1>基类的构造函数是早于 派生类的构造函数调用的，所以如果virtual函数使用派生类版本的

            话，很可能用到未初始化的派生类的成员变量。c++为了不让你走这条危险的路，就会只调用基类的版本

            2>根本原因:在调用基类构造函数时，对象类型是base class，所以会调用基类版本。

            所以不要在构造函数中调用任何virtual函数。

        2:在析构函数中调用vitual函数：

            由于派生类的析构函数是先于基类调用的，所以轮到基类的构造函数时，派生类的成员变量依旧呈现

            未定义状态。所以c++视它们不存在，在调用基类析构函数时，对象称为一个base class对象。

        3:为了在派生类对象创建时，基类中有适当版本的显示信息调用，一个解决办法是由派生类传入一个消息，

        再调用non_virtual版本来显示。

     

     

     

    */

}

//#10   令 operator= 返回一个reference to *this

{

   /*

        关于赋值，c++中可以写成连锁形式：

        int x,y,z;

        x = y = z = 15;

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

                                                                        */

   class Widget

    {

    public:

        Widget&operator=(const Widget& rhs)

        {

            ...

           return *this;

        }

    };

}

//#11   在operator=中处理自我赋值

{

    //看下面的函数

    Widget&

    Widget::operator=(const Widget& rhs)

    {

       delete pb;

        pb =new Bitmap(*rhs.pb);

       return *this;

    }

    //这样如果是自我赋值，那就先delete了pb，最后pb就指向一个已经删除的对象

    //如果让operator=具备异常安全性 往往自动获得自我赋值安全。

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

    {

        Bitmap* pOrig = pb;

        pb =new Bitmap(*rhs.pb);

       delete pOrig;

       return *this;

    }

    //这么做会有效率问题：如果是自我赋值，那就多做了一次new以及delete；但是考虑到自我赋值的几率

    //并不建议在开头加上if判断来判断是否是自己。而且用了if语句，效率会明显下降

    //还有种方法是使用swap保证异常安全性

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

    {

        Widget temp(rhs);

        swap(temp);

       return *this;

    }

    

}

//#12   复制对象时勿忘其每一个成分

{

   /*

        1:当你自己实现operator=操作时，如果你忘记了一个成员变量的复制，编译器不会警告你

        2:当你写自己的operator=或者copy构造函数时应该记得：

            1>复制所有的自己的成员变量

            2>调用所有base classes内的适当的copying函数。

        3:如果发现copy构造函数和copy assignment操作符有相近的代码，消除重复代码的做法是

        建立一个init成员函数，供两者调用。(但是考虑到前面的条目，构造函数直接初始化效率会很高，所以

        如果相近的代码只是赋值的话，还是多动手的好)

     

    */

    PriorityCustomer::PriorityCustomer(const PriorityCustomer& rhs)

    :Customer(rhs), priority(rhs.priority)

    {

        ...

    }

    

    PriorityCustomer&

    PriorityCustomer::operator=(const PriorityCustomer& rhs)

    {

        ...;

        Customer::operator=(rhs);

        prioriy = rhs.priority;

       return *this;

    }

}