浅拷贝与深拷贝

前言

拷贝构造函数用于将一个对象复制到新创建的对象中。换而言之，它用于初始化的过程中（包括按值传递参数），而不是常规的赋值过程中。类的拷贝构造函数原型通常如下：
Class_name(const Class_name&);

案例背景

本文将利用一个MyString类示例来深入研究类的两种拷贝方法——浅拷贝和深拷贝，下面是MyString类的实现代码：

• MyString.h

#pragma once
using namespace std;

class MyString {
private:
	char* str;
	int len;
	static int strNum;
public:
	MyString(const char*);
	MyString();
	~MyString();
	void print();
};

该类具有字符指针char* str、字符串长度len和字符串个数static int strNum三个私有数据成员，以及一个默认构造函数MyString();、一个以字符串常量为参数的构造函数MyString(const char*);、一个析构函数~MyString();和一个打印字符串的函数void print();。其实现见下文MyString.cpp。

• MyString.cpp

#include <iostream>
#include "MyString.h"
using std::endl;

int MyString::strNum {0};

MyString::MyString(const char* str_) {
	len = strlen(str_);
	str = new char[len + 1];
	strcpy(str, str_);
	strNum++;
	cout << "Object " << "\"" << str << "\"" " created." << endl;
	cout << strNum << " Object(s) left." << endl;
}

MyString::MyString() {
	len = 1;
	str = new char[1];
	*str = 0;
	strNum++;
	cout << "Default Object created." << endl;
	cout << strNum << " Object(s) left." << endl;
}

MyString::~MyString() {
	cout << "Object " << "\"" << str << "\"" << " deleted." << endl;
	strNum--;
	cout << strNum << " Object(s) left." << endl;
	delete[] str;
}

void MyString::print() {
	cout << str << endl;
}

此外还有两个用来测试拷贝构造的函数void passByReferece(MyString&);和void passByValue(MyString);，其中前者采用按引用传递对象，后者采用按值传递对象。定义见下文Copy.cpp。

• Copy.cpp

#include <iostream>
#include "MyString.h"
using std::endl;
void passByReferece(MyString& mystr_) {
	cout << "<Ending> Object passed by reference." << endl;
}

void passByValue(MyString mystr_) {
	cout << "<Ending> Object passe by value." << endl;
}

代码测试

• 运行

我们编写Main.cpp来测试代码的运行情况：

#include <iostream>
#include "MyString.h"
using namespace std;
void passByReferece(MyString&);
void passByValue(MyString);

int main() {
	MyString s1 {"MyString1"};
	MyString s2 {"MyString2"};
	MyString s3 {"MyString3"};
	cout << "<Starting> Object passed by reference." << endl;
	passByReferece(s1);
	cout << "<Starting> Object passe by value." << endl;
	passByValue(s1);
	return 0;
}

首先函数体创建了三个MyString对象s1，s2和s3。并分别将s1作为参数传递给函数void passByReferece(MyString&);和void passByValue(MyString);。运行结果如下：

Object "MyString1" created.
1 Object(s) left.
Object "MyString2" created.
2 Object(s) left.
Object "MyString3" created.
3 Object(s) left.
<Starting> Object passed by reference.
<Ending> Object passed by reference.
<Starting> Object passe by value.
<Ending> Object passe by value.
Object "MyString1" deleted.
2 Object(s) left.
Object "MyString3" deleted.
1 Object(s) left.
Object "MyString2" deleted.
0 Object(s) left.
Object "葺葺葺葺葺葺葺" deleted.
-1 Object(s) left.

我们可以观察到，程序运行时发生了一些我们意料之外的情况。程序结束时对象计数器的值变为了-1，而且删除最后一个对象时输出的字符串内容已经变为乱码，说明访问了不合理的内存地址。继续溯源我们发现，存储字符串"MyString1"的某一对象在按值传递参数的函数执行结束后被销毁了，这是一条线索。事实上，在 Visual Studio IDE 上运行该程序时，程序会被强制中断。

• 问题分析

在 C++ 语言中，每当程序生成了对象副本时，编译器都将使用一种函数——拷贝构造函数，拷贝构造函数用于将一个对象复制到新创建的对象中。具体而言，当程序调用void passByValue(MyString);函数时，其实会自动调用拷贝构造函数，因为按值传递意味着创建原始变量的一个副本。

如果用户没有自定义类的拷贝构造函数，那么编译器将会自动生成一个默认的拷贝构造函数，默认的拷贝构造函数逐个复制非静态成员，复制的是成员的值。

回到问题中来，首先分析对象计数器的值为何会变为-1。由于一个类的析构函数只能有一个，而构造函数可以有多个，所以表明程序调用了一个不含strNum++;语句的构造函数；而销毁对象一定会执行析构函数，也必定执行其代码块中的strNum--;语句。进一步地，我们可以断定，在按值传递参数的过程中，调用了默认的拷贝构造函数，而没有执行strNum++;语句。

其次，为何对象中存储的字符串会变为乱码？我们知道，默认的拷贝构造函数逐个复制非静态成员，复制的是成员的值。因此在函数void passByValue(MyString);创建对象s1的副本时，自然复制了对象s1中的str的值，而这个值却是极其特殊的——内存地址。这意味着对象s1的副本和对象s1中存储的字符串共享着同一块内存地址。而当函数void passByValue(MyString);结束时，会销毁对象s1的副本，调用类的析构函数，即会回收存储字符串的那块内存区域。这样一来，虽然销毁的是对象s1的副本，但是也把对象s1中存储字符串的那块内存地址回收了，因此造成了异常。这种默认拷贝构造函数的行为称之为浅拷贝。

• 代码优化

知道了问题的原因，我们就能很容易地修改代码解决上述问题。我们只需自己编写一个拷贝构造函数，实现深拷贝。避免内存地址共享（浅拷贝）的发生。下面为MyString类自定义拷贝构造函数：
MyString(const MyString&);

MyString::MyString(const MyString& str_) {
	len = str_.len;
	str = new char[len + 1];
	strcpy(str, str_.str);
	strNum++;
	cout << "Object " << "\"" << str << "\"" " copied." << endl;
	cout << strNum << " Object(s) left." << endl;
}

重新运行测试程序，结果如下：

Object "MyString1" created.
1 Object(s) left.
Object "MyString2" created.
2 Object(s) left.
Object "MyString3" created.
3 Object(s) left.
<Starting> Object passed by reference.
<Ending> Object passed by reference.
<Starting> Object passe by value.
Object "MyString1" copied.
4 Object(s) left.
<Ending> Object passe by value.
Object "MyString1" deleted.
3 Object(s) left.
Object "MyString3" deleted.
2 Object(s) left.
Object "MyString2" deleted.
1 Object(s) left.
Object "MyString1" deleted.
0 Object(s) left.

可见对象的创建、拷贝和销毁都是正常进行的。

以上的MyString类依旧是不够完善的，还需要对=运算符进行重载，等等。本文不再赘述。