Inside the c++ object model读书笔记之拷贝构造函数（三）

在上篇文章中总共说有四种情况，如果没有显式的声明拷贝构造函数，编译器就需要合成一个拷贝构造函数，前面介绍了两种情况，分别是有数据成员为类对象，且该类有拷贝构造函数和继承自有拷贝构造函数的类。接着介绍剩下的两种情况。

3.首先，我们知道如果一个类含有虚函数，那么在编译时期，编译器需要做两个扩充操作：

a.生成一个虚函数表来存放虚函数的地址

b.安插一个指向虚函数表的指针（vptr）

那么当一个类含有虚函数时，如果没有提供显示的拷贝构造函数，编译器会合成一个拷贝构造函数，来设定虚函数表指针的正确位置，以便能够正确的设定vptr。

class Base
{
public:
Base()
{}
virtual ~Base()
{}
virtual void  fun()
{
cout << "This is base fun" << endl;
}
};

class Derived : public Base
{
public:
Derived()
{}
virtual ~Derived()
{}
void fun()
{
cout << "This is derived fun" << endl;
}
};

int main()
{
Derived obj;
Base Obj(obj);
Obj.fun();
return 0;
}

测试结果为：



说明了此时Obj调用的是Base的fun函数，这需要合成一个拷贝构造函数来设定Obj的vptr指向Base的虚函数表，而不是把右侧的obj的vptr直接赋值给左侧。这里需要注意的是这种情况只会发生在基类和派生类之间，而如果同类对象初始化的情况，按位逐次拷贝就足够了。

4.最后一种需要编译器合成拷贝构造函数的情况是（当然，首先是没有显式的声明一个拷贝构造函数）：当有虚基类的时，每一个编译器对于虚拟继承都不许承诺让派生类中的虚基类对象位置在执行期就准备妥当，维护“位置完整性”是编译器的责任。

class Base
{
public:
Base()
{}
virtual ~Base()
{}
};
class Derived : public virtual Base
{
Public:
Derived()
{}
~Derived()
{}
};
class Test:public Derived
{
Public:
Test()
{}
~Test()
{}
}

Test obj;
Derived Obj(obj);

这里简单的按位逐次拷贝还不够，必须要将Obj的虚基类指针正确初始化，但是对虚下面的情况，编译器无法知道是否按位逐次拷贝是否有用：

Derived* ptr;
Derived Obj (*ptr);

这种情况下，编译器不知道ptr是否是指向一个真正的Derived对象，而对于下面的情况，按位逐次拷贝已经足够：

Derived obj;
Derived Obj(obj);

总结：

在前两篇和这篇文章中分析了一下有四种情况下，类不再使用简单的按位逐次拷贝，而如果拷贝构造函数没有显式的声明的话，编译器会合成一个拷贝构造函数，使得可以正确处理以一个类对象作为另一个类对象的初值。