C++对象拷贝


#include 
#include 
 
class CObject
{
private:
	int x;
	int y;
public:
	CObject() {}
	CObject(int x,int y)
	{
		this->x = x;
		this->y = y;
	}
};
 
int main()
{
 
	return 0;
}

我们定义了一个类，这个类有两个成员x和y，然后有两个构造函数；

那么C++中拷贝构造函数是什么样的呢？如下：

我们先验证一下，是否真正地实现了拷贝：

没问题；但是问题来了，我们没有写任何拷贝构造函数，那么上面的拷贝又是如何实现的呢？

这就是C++比较人性化的一个特点，其实我们写好了任意一个类（类型）的时候，它默认都已经生成了一个拷贝构造函数，帮我们实现了最简单的内存复制；

那么这个拷贝构造函数是如何实现的呢？

断点打在拷贝构造的地方，编译、调试、ALT+8转到反汇编：

其实C++默认提供的拷贝构造函数是很简单的，就是把第一个对象的值从内存地址取出来放到第二个对象里；

我们上面的拷贝方式是在栈区进行对象拷贝，下面我们看如何在对象拷贝构造对象；

堆区拷贝

我们知道，我们平常在堆区创建一个对象，基本new一个无参构造函数，或者有参构造函数：

那么如果我们new一个拷贝构造函数，不就是在堆区进行拷贝构造了嘛，如下：

没有问题，那么我们看看堆区的拷贝构造函数如何实现的，一样转到反汇编：

我们拿下来一步一步分析：

010113EA push 8 -- 给new函数传入8，意为申请8字节内存
010113EC call operator new (1011181h) -- 调用new，之前的文章讲过new底层
010113F1 add esp,4 -- 外平栈
010113F4 mov dword ptr [ebp-0E4h],eax -- 将eax(new返回的地址)放到ebp-E4这个地址里
010113FA cmp dword ptr [ebp-0E4h],0 -- 将0与new的返回地址进行比较
01011401 je main+62h (1011422h) -- 如果返回地址等于0（申请堆区内存为空）就跳转到1011422h
01011403 mov eax,dword ptr [ebp-0E4h] -- 如果不为空，将返回地址(堆区地址)放到eax里
01011409 mov ecx,dword ptr [c1] -- 将c1的首地址(第一个值)取出，放到ecx里
0101140C mov dword ptr [eax],ecx -- 将ecx里的值放到eax这个地址里，也就是将c1的第一个成员放到堆区申请的地址中
0101140E mov edx,dword ptr [ebp-8] -- 将ebp-8（c1的第二个成员地址）里的值放到edx里，ebp-8指的就是c1的第二个成员，这里vs2010编译器生成的汇编有点乱
01011411 mov dword ptr [eax+4],edx -- 将c1的第二个成员的值，放到申请到的堆区首地址+4的位置上
01011414 mov eax,dword ptr [ebp-0E4h] -- 将ebp-0E4中的堆区地址再次赋值给eax，反正我是没有明白这一步的意义是什么，如果是怕别人修改了eax的值，导致后面返回给c2指针的是一个别人想要的地址的话，可以解释的通；当然大家如果有不同的看法，或者我讲错了，请评论告诉我，这里我迷瞪了老半天了
0101141A mov dword ptr [ebp-0ECh],eax -- 将eax中存放的堆区地址存放到ebp-EC
01011420 jmp main+6Ch (101142Ch) -- 如果堆区地址不为空，跳过下一步
01011422 mov dword ptr [ebp-0ECh],0 -- 申请的堆区地址为空的话，将ebp-EC地址中的值置空，因为下面要将EC中的值赋值给对象指针c2，如果申请地址为空，那就赋值空
0101142C mov ecx,dword ptr [ebp-0ECh] -- 无论此时EC地址中的值是一个已经拷贝了c1值的堆区地址，还是一个空地址，都要赋值给ecx
01011432 mov dword ptr [c2],ecx -- 将ecx赋值给对象指针c2

我们可以看到如果是在堆区拷贝的话，是直接把c1的值放到堆区申请的地址里，然后再将这个已经赋好值的堆区地址赋值给指针c2；

父类的值是否会被拷贝

我们现在知道，C++提供的默认拷贝构造，可以将一个类的对象的值全部拷贝给另一个对象，那么问题来了，如果第一个对象有父类，构造的时候构造了一个父类，那么第二个对象能否继承第一个对象父类的值呢？

代码如下：


#include 
#include 
 
class CBase
{
private:
	int x;
	int y;
public:
	CBase(){}
	CBase(int x,int y)
	{
		this->x = x;
		this->y = y;
	}
};
 
class CTeach:public CBase
{
private:
	int z;
public:
	CTeach(){}
	CTeach(int x,int y,int z):CBase(x,y)
	{
		this->z = z;
	}
};
 
int main()
{
	CTeach ct(10,20,30);
 
	CTeach ct1(ct);
 
	return 0;
}

断点打到return 0;

调试：

可以看到父类的也被拷贝过来了；

如果是堆区拷贝呢？如下：

一样，也被拷贝了过来；

我们现在知道了，通过拷贝构造也是可以将源对象父类的值拷贝过来的；

上面这么一说，听起来默认拷贝构造很完美啊，但是真的是这样吗？如果是这样，那本篇文章也该结束了；

下面说说默认拷贝构造的不足之处；

默认拷贝构造---浅拷贝存在的问题

我们先来看如下代码：


#include 
#include 
#include 
 
class CString
{
private:
	int   m_length;
	char* m_str;
public:
	CString() {}
	CString(const char* str)
	{
		m_length = strlen(str)+1;    // m_length大小为传入的str长度+1 
		m_str = new char[m_length];  // 申请m_length长度的堆区空间
		memset(m_str,0,m_length);    // 初始化申请到的堆区空间
		strcpy(m_str,str);           // 将传入的str拷贝到该堆区空间中
	}
    ~CString()
	{
		delete[] m_str;
	}
};
 
int main()
{
	CString cs01("C语言");
	CString cs02(cs01);
	return 0;                         // 断点打在这里
}