深入探索C++对象模型-语义

  有三种情况，这将是一个object的内容，以及一class object早期值：
           

class X { ... };
X x;

X xx = x;               // 情况1,赋值对象

extern void foo( X x);

void bar()
{

    X xx;

    foo( xx );         // 情况2，作为參数

}

X foo_bar()
{

    X xx;

    return xx;         // 情况3。作为返回值
}

    
               
        Default Memberwise Initalization

            假设class 没有提供一个explicit copy constructor又当怎样？当class object 以 “同样class的还有一个object”作为初值时，其内是以所谓的default memberwise initalization手法完毕的。也就是把每个内建的或派生的data member的值，从某个object拷贝一份到还有一个object身上。

只是它不会拷贝当中的member class object, 而是以递归的方式实行memberwise initalization.
           
            样例：

class String
{

    public:

        //..没有explicit copy constructor

    private:

        char *str;
        int   len;

};

class Word
{
    public:

        //..没有explicit copy constructor
    private:

        int _occurs;
        String _word;  //String object成为class word的一个member. 此处以递归的方式实行memberwise initalization.
                  // Word 是否合成 copy constructor 取决于 bitwise copy semantics.
                //此样例不合成copy constructor 编译器会自己主动复制每个数据成员
};

 
                指出一个错误概念：“假设一个class没有定义copy constructor。编译器就自己主动为它产生出一个”这句话不正确
                正确的概念：Default constructor 和 copy constructor在必要的时候才由编译器产生出来。“必要”意指当class不展现bitwise copy semantics时。

        Bitwise Copy Semantics（位逐次拷贝）

            上例展示了Bitwise copy Semantics.

            有一点非常值得注意：在被合成出来的copy constructor中，如整数、指针、数组等等的nonclass memebers也都会被复制。正如我们所期待的一样。   

        不要Bitwise Copy Semantics
       
            有四种情况不展示Bitwise Copy Semantics, 不展示的时候须要编译器合成copy constructor:

                (1)当class内含一个member object而后者的class声明有一个copy constructor时
                (2)当class继承自一个base class 而后者存在有一个copy constructor时
                (3)当class声明了一个或多个virtual functions时
                (4)当class派生自一个继承串链，当中有一个或多个virtual base classes时

        结论：假设是自己定义复制构造函数时，须要自己把每个数据成员复制；假设是没有自己定义复制构造函数。不管是合成或非合成，编译器都会自己主动复制每个数据成员。复制构造函数的用途是：假设构造函数中存在动态内存分配，则必须定义复制构造函数，否则会出现“指针悬挂问题”。

class A
{
    private:
        int *p;

    public:
        A()
        {
            p = new int(3);
        }
};

 
       
        在这样的情况下，复制对象。会造成两个对象的成员指向同一地址。

        又一次设定Virtual Table的指针
   
            样例：

class ZooAninal
{
    public:
        ZooAnimal();
        virtual ~ZooAnimal();

        virtual void animate();
        virtual void draw();
};

class Bear : public ZooAnimal()
{

    public:
        Bear();
        void animate();
        void draw();
        virtual void dance();

};

 
                Bear yogi;
                Bear winnie = yogi;

                把yogi 的vptr值拷贝给winnie的vptr是安全的

               

 

                ZooAnimal franny = yogi; // 这会发生分割行为

               

 

                合成出来的ZooAinmal copy constructor会明白设定object的vptr指向ZooAnimal class的virtual table,而不是直接从右手边的class object中将其vptr现值拷贝过来。

       

        处理Virtual Base Class Subobject

总结：

能够这么觉得，并非在没有自己定义copy constructor的时候编译器就合成一个copy constructor，而是在没有着bitwise copy semantics当将合成 ，在运行default memberwise initialization什么时候。

我没有参加这次行动中copy constructor当运行，此操作不会认为这是在copy constructor当完成。

这是我的这一部分本书的理解。