深拷贝与浅拷贝在C++类开发中是一类棘手的问题,稍不留神就会出现诸如内存泄漏,野指针等问题。尤其是在类中成员变量存在动态分配内存的时候(指针,引用)。浅拷贝就是对象的数据成员之间的简单赋值,如类的默认拷贝构造函数,即用该类的一个对象去给令一个对象赋值时所执行的默认过程就是浅拷贝。
首先我们来看一个简单的情况,也就是类中成员属性仅有普通类型数据,而不包含指针和引用。代码如下:
class A
{
public:
A(int _data)
:data(_data){} //有参构造
A(){} //无参构造
private:
int data; //仅包含普通成员属性
};
int main()
{
A a(5), b = a; // 仅仅是数据成员之间的赋值
}
上面程序中b = a;就是浅拷贝,执行完这句后b.data = 5。但是对象中没有其他的资源(如:堆,文件,系统资源等),则深拷贝和浅拷贝没有什么区别,b和a中data是相互独立空间的变量,如下图所示的关系:
但是如果对象中包含指针与引用,或者说存在堆,文件和系统资源等,那么浅拷贝就大大不同了。看下面的程序:
class A
{
public:
A(int _size)
: size(_size)
{
data = new int[size]; // 假如其中有一段动态分配的内存
}
A(){};
~A()
{
delete [] data; // 析构时释放资源
}
private:
int* data;
int size;
}
int main()
{
A a(5), b = a; // 调用默认拷贝构造函数
}
这里的b = a会造成访问野指针,并且出现未定义错误。因为类A中的复制构造函数是编译器生成的,所以b = a执行的是一个浅拷贝过程。无论指针还是普通数据,浅拷贝执行的就是简单赋值,如下所示:
b.size = a.size;
b.data = a.data;
这样也就是如图下的结果:
当然size成员属性没有特殊情况,但是这里b的指针data和a的指针指向了堆上的同一块内存(b的data指针根本没有调用构造函数开辟一个新的空间),a和b析构时,b先把其data指向的动态分配的内存释放了一次,而后a析构时又将这块已经被释放过的内存再释放一次。
对同一块动态内存执行2次以上释放的结果是未定义的,所以这将导致内存泄露或程序崩溃(第二次想去访问释放同一内存,属于访问野指针)。
所以这里就需要深拷贝来解决这个问题,深拷贝指的就是当拷贝对象中有对其他资源(如堆、文件、系统等)的引用时(引用可以是指针或引用)时,对象的另开辟一块新的资源,而不再对拷贝对象中有对其他资源的引用的指针或引用进行单纯的赋值。深拷贝程序如下:
class A
{
public:
A(int _size)
: size(_size)
{
data = new int[size]; // 假如其中有一段动态分配的内存
}
A(){};
A(const A& _A) // 深拷贝
: size(_A.size)
{
data = new int[size];
}
~A() // 析构时释放资源
{
delete [] data;
}
private:
int* data;
int size;
}
int main()
{
A a(5), b = a; // 这次就没问题了
}
而上面的图b的data就开辟了一个新的空间,完成的是值拷贝,即b.data[0] = a.data[0]; … b.data[4] = a.data[4]。图示如下:
总结:
深拷贝和浅拷贝的区别是在对象状态中包含其它对象的引用的时候,当拷贝一个对象时,如果需要拷贝这个对象引用的对象,则是深拷贝,否则是浅拷贝。
在某些状况下,类内成员变量需要动态开辟堆内存,如果实行位拷贝,也就是把对象里的值完全复制给另一个对象,如A=B。这时,如果B中有一个成员变量指针已经申请了内存,那A中的那个成员变量也指向同一块内存。这就出现了问题:当B把内存释放了(如:析构),这时A内的指针就是野指针了,出现运行错误。
深拷贝和浅拷贝可以简单理解为:如果一个类拥有资源,当这个类的对象发生复制过程的时候,资源重新分配,这个过程就是深拷贝,反之,没有重新分配资源,就是浅拷贝。
参考文章:
http://www.cnblogs.com/fickleness/p/3342435.html
http://blog.csdn.net/lpp0900320123/article/details/39007047