深度探索C++对象模型----2 构造函数语意学

 有4种情况会导致“编译器必须为未声明的构造函数合成一个默认构造函数。被合成出来的构造函数只能满足编译器的需要。在合成的默认构造函数中，只有基类对象和成员对象会被初始化，所有其他的非静态数据成员，比如整数、整数指针、整数数组等都不会被初始化。

拷贝构造函数的建构操作

以下3种情况，会将一个对象的内容作为另一个类对象的初值。

//1.
class X {...};
X x;
//明确地以一个object的内容作为另一个class object的初值
X xx  = x;

//2.
//当object被当作参数交给某个函数
extern void foo(X x);
void bar()
{
    X xx;
    //以 xx作为foo()第一个参数的初值（不明显的初始化操作)
    foo(xx)；
    //...
}

//3.
//当函数传回一个class object时
X
foo_bar()
{
    X xx;
    //...
    return xx;
}

C++拷贝构造函数和赋值运算符的区别

默认拷贝构造函数应该如何处理vptr ?

如果是直接按位拷贝则会出现很多问题，比如

//先定义两个类 ZooAnimal 和Bear
class ZooAnimal {
public:
    ZooAnimal();
    virtual ~ZooAnimal();
    virtual void animate();
    vritual void draw();
    //...
private:
    //...
};

class Bear: public ZooAnimal{
public:
    Bear();
    void animate();   //虽未明写virtual,它其实是virtual,下同
    void draw();
    virtual void dance();
    //...
private:
    //...
};

//1.
Bear yogi;
Bear winnie = yogi;

//2.
ZooAnimal franny = yogi;

//franny 的vptr不可以被 设定指向Bear 类的virtual table.

 程序转化语意学。。。