目录
1、对象赋值问题引入
2、Bitwise Copy Semantics（位逐次拷贝）
3、处理class virtual function
4、处理virtual base class subobject
1、对象赋值问题引入
在C++中，有三种情况会以一个object的内容作为另一个class object的初值。这三种情况分别如下：
第一种，显式地以一个object的内容作为另一个class object的初值 X xx = x;
第二种，当object被当作参数交给某个函数时，例如：
extern void foo(X x);
void bar()
{
X xx;
//以xx作为foo()的第一个参数初值（隐式的初始化操作）
foo(xx);
//...
}第三种，当一个函数传回一个class object时，例如
X
foo_bar()
{
X xx;
//...
return xx;
}那么问题来了，以一个object的内容作为另一个class object的初值，C++语言是怎么进行操作的？
假设class设计者显示定义了一个copy constructor，像这个样子。
//user-defined copy constructor 的实例
//可以是多参数的形式，其第二参数以及后继参数以一个默认值供应之
X::X(const X &x);
Y::Y(const Y & y,int = 0);在大部分的情况下，以上的问题将会调用copy constructor。少数情况会执行Bitwise Copy。
如果class没有提供一个explicit copy constructor，当class object以相同的class的另外一个object作为初值，其内部以default memberwise initialization的方法完成。也就是每一个内建的或者派生的data member的值，从一个object拷贝到另外的一个object上。不过它不会拷贝其中的member class object，而是以递归的方式施加memberwise initialization。例如，有一个下面的class声明：
class String
{
public:
//...没有explicit copy constructor
private:
char *str;
int len;
};对于String verb = noun;语句，他的完成方式像是设定每一个members一样：
//语意相等
verb.str = noun.str;
verb.len = noun.len;以上是一种memberwise initialization。如果String object是另外一个class的member，像这样子：
class Word
{
public:
//...没有explicit copy constructor
private:
int _occurs;
String _world;
};对于Word verb = noun;语句，他的完成方式像是设定每一个members一样：
//语意相等
verb.occurs = noun.occurs;//bitwise copy
verb._world = String::String(noun._world);//编译器生成copy constructor，并执行拷贝构造函数Default constructors和copy constructors在必要的时候才由编译器产生出来。这里“必要的时候”指的是当class不展示bitwise copy semantics时候。
2、Bitwise Copy Semantics（位逐次拷贝）
一个class什么时候不展示“bitwise copy semantics”?有下面的4种情况：
1）当一个class内含一个member object而后者的class声明一个copy constructor时（不论是class设计者显示的声明，还是编译器隐式的合成），例如下面的代码，String显示的声明了，而Word隐式的合成。
class String
{
public:
String(const char *);
String(const String &);
~String();
//...
};
class Word
{
public:
Word(const String &);
~Word();
//...
private:
int cnt;
String str;
};2）当class继承一个base class而后者存在一个copy constructor时（不论是显示声明还是隐式的被合成）。例如class Dog没有拷贝构造函数，当发生一个Dog object的内容作为另一个Dog object的初值，Dog会被编译器合成一个copy constructor。
class Animal
{
public:
Animal(const char *);
Animal(const Animal &);
~Animal();
//...
};
class Dog:public Animal
{
public:
Dog(char * name);
~Dog();
};3）当class声明一个或者多个virtual function时。
class Student
{
public:
Student();
~Student();
String virtual get_name();
};4）当class派生自一个继承串链，其中一个或多个virtual base classes时。
class Postgraduate : virtual public Student
{
public:
Postgraduate();
~Postgraduate();
String get_Thesis_topic();
};3、处理class virtual function
在前一节的bitwise copy semantics，提到当class声明一个或者多个virtual function时会被编译器合成一个copy constructor。此外class会进行两种扩张操作：
- 增加一个virtual function table（vtbl），内含每一个有作用的virtual function的地址。
- 一个指向virtual function table的指针（vtpr），安插在每一个class object内部。
首先，我定义两个class，ZooAnimal和Bear：
class ZooAnimal
{
public:
ZooAnimal();
virtual ~ZooAnimal();
virtual void animate();
virtual void draw();
//...
private:
//ZooAnimal 的animate() 和 draw()
//所需的数据
};
class Bear : public ZooAnimal
{
public:
Bear();
void animate();//译注：虽未写明是virtual，但它其实是virtual
void draw();//译注：虽未写明是virtual，但它其实是virtual
virtual void dance();
//...
private:
//Bear 的animate() 、 draw() 和 dance()
//所需的数据
};然后，Bear class object以另一个Bear class object作为初值，我可以看到yogi的vptr值拷贝给了winnie的vptr了，这样的操作是安全的，它是通过编译器合成的拷贝构造函数完成的。
最后，当一个base class object以其derived class的object内容做初始化操作时，其vptr复制操作也必须保证安全，例如：
ZooAnimal franny = yogi; //译注：派生类给基类赋值
4、处理virtual base class subobject
Virtual base class 的存在需要特别的处理。一个class object如果以另一个object作为初值，而后者有一个virtual base class subobject，那么也会使“bitwise copy semantics”失效。看看如下继承关系的代码。
class ZooAnimal
{
public:
ZooAnimal();
virtual ~ZooAnimal();
virtual void animate();
virtual void draw();
//...
private:
//ZooAnimal 的animate() 和 draw()
//所需的数据
};
class Raccon : public virtual ZooAnimal
{
public:
Raccon(){/*设定private data的初值*/}
Raccon(int val){/*设定private data的初值*/}
//...
private:
//所有必要的数据
};
class RedPanda : public virtual Raccon
{
public:
RedPanda(){/*设定private data的初值*/}
RedPanda(int val){/*设定private data的初值*/}
//...
private:
//所有必要的数据
};对于如下的代码，little_red和little_critter的关系如下图所示。
RedPanda little_red;
Raccon little_critter = little_red;
在这种情况下，为了完成正确的设定little_critter初值设定，编译器必须合成一个copy constructor，安插一些代码以设定virtual base class pointer/offset的初值。
