拷贝构造（深拷贝、浅拷贝）

一、概念介绍

拷贝构造：拷贝构造函数，又称构造函数，是一种特殊的构造函数，它由编译器调用来完成一些基于同一类的其他对象的构造及初始化。

其唯一的形参必须是引用，但并不限制为const，一般普遍的会加上const限制。

在类中如果没有显式给出拷贝构造函数时，则C++编译器自动给出一个缺省的拷贝构造函数。

浅拷贝：浅拷贝就是对象的数据成员之间的简单赋值。

c++默认的拷贝构造函数是浅拷贝，如你设计了一个没有类而没有提供它的拷贝构造函数，当用该类的一个对象去给令一个对象赋值时所执行的过程就是浅拷贝，如：

class a {
public:
	int size;
public:
	a(int size) : size(size) {
		
	}
};

int main()
{
	a s(5), b = s;
    return 0;
}

b = s就是浅拷贝，执行完这条语句后，b.size = 5， 如果对象中没有其他的资源（如：堆，文件，系统资源等），则深拷贝和浅拷贝没有什么区别。
但当对象中有指针等变量的时候，比如：

class a {
public:
	int size;
	int* data;
public:
	a(int size) : size(size) {
		data = new int[size];
	}
	~a() {
		delete data;
		data = nullptr;
	}
};

int main()
{
	a s(5), b = s;
    return 0;
}

这个时候再执行代码就会报错，因为浅拷贝只是单纯的让

b.size = s.size

b.data = s.data

这时b和s中的data指向同一块堆内存，在b和s的执行析构函数时，对同一块内存进行了两次释放（指针悬挂），这样的结果是未定义的，会导致内存泄漏或者程序崩溃。

这时，我们需要用到深拷贝来解决这个问题。

深拷贝：当拷贝对象中有对其他资源（如堆、文件、系统等）的引用时（引用可以是指针或引用），对象会另开辟一块新的资源，而不再对拷贝对象中有对其他资源的引用的指针或引用进行单纯的赋值。

class a {
public:
	int size;
	int* data;
public:
	a(int size) : size(size) {
		data = new int[size];
	}
	a(const a& as) : size(as.size) {
		data = new int[size];
	}
	~a() {
		delete data;
		data = nullptr;
	}
};

int main()
{
	a s(5), b = s;
    return 0;
}

这样在进行b=s赋值之后就不会出现同一块内存二次释放的错误了。 

1.调用拷贝构造的情形

①当对象作为函数参数时

void fun(aa a)
{
	cout << "fun" << endl;
}

int main()
{
	aa a;
	fun(a);
    return 0;
}

②当对象作为函数返回值时

aa pfun()
{
	aa b;
	return b;
}

int main()
{
	aa a;
	pfun();
    return 0;
}

 

③当用一个对象初始化另一个对象时

class aa {
public:
	aa() {
		cout << "construct" << endl;
	}
	aa(const aa& as) {
		cout << "copy" << endl;
	}
};

int main()
{
	aa a(5);
	aa b(a), c = a;
    return 0;
}

上面两条语句均会执行拷贝构造。

 但是这句话不会执行拷贝构造，只是赋值。

class aa {
public:
	aa() {
		cout << "construct" << endl;
	}
	aa(const aa& as) {
		cout << "copy" << endl;
	}
};

int main()
{
	aa a,b;
	b = a;
    return 0;
}

 

二、注意事项

1.深拷贝和浅拷贝的区别：

浅拷贝会把指针变量的地址复制; 深拷贝会重新开辟内存空间。

2.当数据成员中有指针时，必须要用深拷贝。

3.拷贝构造的参数必须是对象的引用，const条件不是严格必须的，但是加上最好。

为什么一定要是引用呢？

如果拷贝构造函数中的参数不是一个引用，即形如CClass(const CClass c_class)，那么就相当于采用了传值的方式(pass-by-value)，而传值的方式会调用该类的拷贝构造函数，从而造成无穷递归地调用拷贝构造函数。因此拷贝构造函数的参数必须是一个引用。

注意：不是为了减少一次内存拷贝，而是为了防止无限制的内存拷贝！！！