编译器在下面几种情况下会给程序员没有提供拷贝构造函数的类自动生成拷贝构造函数
1.类中有虚函数
当这个类中有虚函数的时候,意味着这个类的对象中一定包含了指向其虚函数表的指针
试想,如果讲该类的派生类的对象作为该类的初始化对象,即
B继承A
class A
{
private:
int m_a;
public:
virtual void ShowVal();
}
void A::ShowVal()
{
printf("%d", m_a);
}
Class B
{
private:
int m_b;
public:
void ShowVal();
}
void B::ShowVal()
{
printf("%d", m_a);
}
int main()
{
B b;
A a = b; // 此处应该调用A类的拷贝构造函数
}
在main中A a = b;时,如果程序员没有提供拷贝构造函数,而编译器也不提供,那么就会按照简单的位拷贝进行拷贝,即将b对象中a子对象的部分按位拷贝给a对象,这是就会出现一个问题,b对象中包含的vbpt指向的时B类的虚函数表,而不是A类的。如果这样直接位拷贝的时候,当调用a.ShowVal函数,执行的时B类的ShowVal,就不正确了。
因此,这里编译器判断A类在拷贝构造的时候并没有显现出位拷贝的特征,不能只是用位拷贝,因此编译器会为A类合成一个拷贝构造函数,如下
A::A(A& a)
{
this->vptr = A类的虚函数表的地址;
}
即编译器必须查收生成一个拷贝构造函数用来重新设置vptr的值。
在这里插一句,如果程序员提供了拷贝构造函数的话,编译器会不会做什么动作?
答案时当然会,因为程序员提供的拷贝构造函数中也不会去做重新设置vptr的动作,这里当然会由编译器代劳了,编译器会在程序员提供的拷贝构造函数中