1.C++侯捷老师课程 拷贝复制&拷贝构造&析构

背景知识

不含指针的类（complex为例）

有两个经典的类：complex（复数）& string 。前者不含指针（内部数据为两个double值，分别代表实部和虚部），后者含有指针。下面为complex，其中3-5行是complex类的构造函数。这一类不含指针的类不含拷贝构造 & 拷贝复制 &析构函数。

class complex {
public:
	complex(double r = 0, double i = 0)  // 想到构造函数，经典三行
		: re(r), im(i)				//初值列，特殊语法
	{}
	complex&	operator +=  (const complex&);   //操作符重载,放入成员
	double real() const{ return re; };//const 表示这个函数不会对数据进行任何改动
	double imag() const { return im; };//一是增强可读性，二是可能会安全一些

private:
	double re, im;   //1.首先想到实数的主要部分，并将其放置在private
	friend complex& _dopl(complex*,const complex&);
};

含指针的类（string为例）

string类，内部含有一个指针，以这个指针来指向任意长度的字符串数据。其中第四行和complex一样，是一个构造函数。其中5-9行是 拷贝构造、拷贝复制、析构函数。后文详述这三个函数的作用，

class string
{
public:
	string(const char* cstr = 0);
	string(const string& str);//拷贝构造，类似 string a;string b(a);
	string& operator = (const string& str);//class带指针一定要带这两行。拷贝复制
	~string();//析构函数
	char* get_c_str() const { return m_data; }
private: char* m_data;
};

一、拷贝复制

为什么带有指针的类就得有拷贝构造呢？string类如下图，是一个指针指向一个数组数据。

试想这么一种情况，已有string类 a，string类 b，然后 执行代码b = a。我们的目的是想开辟两片内存，只是这两片区域存放着相同的数据，两个指针分别指向这两片区域。但是按照 =操作符的默认执行过程，会按照下图进行，实际执行结果会变成：b的指针指向a的指针指的区域。这样不仅达不到我们想要的目的，还会造成问题：1.b的指针最初指向的那片区域还没收回来，2.b相当于是一个a的别名，没达到我们想要的效果。

所以为了达成目的：开辟两片内存，只是这两片区域存放着相同的数据，两个指针分别指向这两片区域。写出代码如下：

inline
string& string::operator = (const string& str) //拷贝赋值
{
	if (this == &str) { return *this; }   //检查是不是在自我赋值，因为自我赋值上来把右边杀了。。就没复制的东西了。
										//所以这一步是必要的。。不然结果也错了
	delete[] m_data;	                       //把指针指的老值杀了
	m_data = new char[strlen(str.m_data) + 1];  //建立新地盘
	strcpy(m_data, str.m_data);					//给新地盘放上复制的新值
		return  *this;
}

为了实现 a=b
先忽略 if那一行的代码。先解释后面部分，按照三步来进行，先把a的指针指向的那片区域收回来，再按照b指针指向区域内容的长度new 一个新的char数组，最后将a指针指向的区域的内容拷贝至b指针指向的char数组中。
if那一行是为啥呢？因为有这么一种情况，如果有人 写代码 a = a。按照我们的需求，这一行代码我们想要他什么也不做即可。但是按照以上代码三步走，第一步就把a指向数组给释放了，第二三步完全进行不下去了，和我们的需求大相径庭。所以为了防止这种情况，我们写上这一行，如果遇到自我赋值，什么都不做直接返回即可。

二、拷贝构造

拷贝构造是为了应对这样一种应用场景：现有string 类 a，执行代码 string b=string(a)。按照默认的拷贝规则（令两指针指向同一片区域），一样会造成内存泄漏，达不到想要的目的（原因同拷贝复制）。

inline
string::string(const string& str)
{
	m_data = new char[strlen(str.m_data) + 1];
	strcpy(m_data, str.m_data);
}

原理同拷贝复制，两步走而已。

三、析构函数

按照上文的分析，发现，存在指针指向别处，导致原本所指区域被放养的现象（此即内存泄漏，相当于失去对这片区域的掌控，且这片区域还白白地占着宝贵的资源）。析构函数会在此类对象被释放时自动执行，如下的析构函数表示，释放此对象指针所指的区域。

inline
string :: ~string(){ delete[] m_data; }