C++类基础3——深复制与浅复制(复制构造函数,默认复制构造函数)

文章详细解释了C++中的复制构造函数如何工作,区分浅复制(仅复制成员变量值)和深复制(复制数据副本)。同时讨论了赋值运算符中的浅复制问题以及何时选择浅复制和深复制。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

复制构造函数(拷贝构造函数)

复制构造函数用于将一个对象复制到新创建的对象中。也就是说它用于初始化过程中(包括按值传递参数),而不是常规的赋值过程中

类的复制构造函数原型通常如下:

class name(const class name&);

什么时候调用复制构造函数

新建一个对象并将其初始化为同类现有对象时,复制构造函数将被调用。

这在很多情况下都可能会发生,最常见的情况是将新对象显式的初始化为现有对象。

比如下面这些情况

#include<iostream>
using namespace std;
class AA
{
private:
	int a_;
public:
	AA(const AA& t)
	{
		a_ = t.a_;
	}
	AA(int a)
	{
		a_ = a;
	}
};
int main()
{
	AA t ={2} ;
	AA w = t;//下面4句都将调用复制构造函数
	AA e = AA(t);
	AA* r = new AA(t);
	AA y(t);
}

还有一些情况是每当程序生成了程序副本时,编译器都将使用复制构造函数。

准确的说是当函数按值传递对象和函数返回对象时,都将使用复制构造函数。

我们举个例子

#include<iostream>
using namespace std;
class AA
{
private:
	int a_;
public:
	AA(const AA& t)
	{
		cout << "调用了复制构造函数" << endl;
		a_ = t.a_;
	}
	AA(int a)
	{
		a_ = a;
	}
	void A(AA a)
	{
		cout << a.a_ << endl;
	}
	AA B(AA&t)
	{
		AA w(t);
		return w;
	}
};


int main()
{
	AA e = { 3 };
	AA r = { 9 };
	e.A(r);
	AA t = e.B(r);

}

结果是

调用了复制构造函数
9
调用了复制构造函数

默认的复制构造函数

如果我们没有提供复制构造函数,编译器就会自动提供一个复制构造函数,这个复制构造函数也叫默认复制构造函数。默认的复制构造函数逐个复制非静态成员(成员复制也叫浅复制)

我们可以看个例子

#include<iostream>
using namespace std;
class AA
{
private:
	int a_;
public:
	AA(int a)
	{
		a_ = a;
	}
};
int main()
{
	AA a = { 9 };
	AA t = a;
	/*与下面的语句等效
	AA t;
	t.a_=a.a_;
	*/
}

浅复制

默认复制构造函数的浅复制

我们先来看这么一个例子

#include<iostream>
using namespace std;
class AA
{
private:
	int*a_;
public:
	AA(int a)
	{
		a_ = new int(a);
	}
	void A()
	{
		cout << *a_ << endl;
	}
};
int main()
{
	AA a(9);
	a.A();//结果是9
	AA t = a;
	t.A();//结果是9

}

结果是 

9
9

可能现在你还没发现什么异样,那我们再看下面这个例子

#include<iostream>
using namespace std;
class AA
{
private:
	int*a_;
public:
	AA(int a)
	{
		a_ = new int(a);
	}
	void A()
	{
		cout << *a_ << endl;
	}
	void shan()
	{
		delete a_;
	}
};
int main()
{
	AA a(9);
	a.A();
	AA t = a;
	t.A();
	a.shan();
	t.A();

}

结果是

9
9
-572662307

我们会发现,啊嘞?第三行怎么是一堆乱码。这是什么情况呢?

原来啊,上面这个情况在对对象进行复制时,只简单地复制对象的成员变量值,而没有复制对象内部的动态分配的资源,这个叫浅复制

这是因为浅复制只复制了指针的值,而没有复制指针所指向的内存。因此,两个对象的a_成员变量指向同一块内存,修改任何一个对象的a_值都会影响到另一个对象。

自定义复制构造函数的浅复制

不用以为我们定义了复制构造函数,进行的复制就不叫浅复制了。实际上,下面这种也叫浅复制。

上例子

#include<iostream>
using namespace std;
class AA
{
private:
	int*a_;
public:
	AA(int a)
	{
		a_ = new int(a);
	}
	AA(const AA&a)
	{
		a_ = a.a_;
	}
	void A()
	{
		cout << *a_ << endl;
	}
	void shan()
	{
		delete a_;
	}
};
int main()
{
	AA a (9);
	a.A();
	AA t = a;
	t.A();
	a.shan();
	t.A();

}

结果是

9
9
-572662307

 惊奇的发现和上面的情况是一样的,这是因为我们定义的复制构造函数也仅仅是复制指针的值罢了,没有开辟新的内存块

浅复制的用武之地

浅复制在某些情况下可能是合适的,例如对于只包含基本类型成员变量的简单对象。但是对于包含动态分配的资源或指针成员变量的对象来说,浅复制可能会导致错误或内存泄漏。在这种情况下,应该使用深复制来保证每个对象都有独立的资源副本。

深复制

解决上面这种类设计中的问题的方法是进行深度复制。也就是说复制构造函数应当复制值并将副本的地址赋给a_成员,而不仅仅是复制值地址。

我们直说可能有点难懂,看个图就知道了

 必须定义复制构造函数的原因是一些类成员是使用new初始化的,指向数据的指针,而不是数据本身。

什么时候使用深复制?什么时候用浅复制?

如果类里包含了使用new初始化的指针成员,应当定义一个复制构造函数,以复制指向的数据,而不是指针,这被称作深度复制。浅复制仅浅浅的复制指针信息,而不会深入复制new出来的那块内存。

实现深复制

实现深复制就必须自己定义一个会另外开辟内存的复制构造函数,而不是简单的逐成员复制

我们看个例子

#include<iostream>
using namespace std;
class AA
{
private:
	int*a_;
public:
	AA(int a)
	{
		a_ = new int(a);
	}
	AA(const AA&a)
	{
		int* w = new int(*a.a_);//深度复制的体现
		a_ = w;
	}
	void A()
	{
		cout << *a_ << endl;
	}
	void shan()
	{
		delete a_;
	}
};
int main()
{
	AA a = { 9 };
	a.A();
	AA t = a;
	t.A();
	a.shan();
	t.A();

}

这便是深度复制了

赋值运算符里的浅复制

我们得先知道,C++允许把一个对象赋值给另一个同类对象

初始化的时候总是会调用复制构造函数,而使用=运算符时也允许调用赋值运算符

将已有对象赋给另一个对象时,将采用重载的赋值运算符

初始化时不一定会使用赋值运算符

使用赋值运算符的情况和那个隐式复制构造函数一样,都是浅复制的问题。

我们可以使用友元函数来重载运算符=,使其成为深度赋值

### C++复制构造函数 #### 定义 复制构造函数是一种特殊的构造函数,其作用是在创建新对象通过已有的对象初始化该新对象。此构造函数的名字必须名相同,并且接受一个同型的常量引用作为唯一参数[^1]。 对于 `CExample` 而言: ```cpp class CExample { public: // 构造函数和其他成员... // 自定义的拷贝构造函数 CExample(const CExample& other); }; ``` 上述代码展示了如何声明一个名为 `CExample` 的及其对应的复制构造函数。 #### 使用场景 当满足特定条件之一,编译器会自动调用复制构造函数: - 当使用一个对象去初始化另一个同的对象; - 函数返回值为型并按值传递; - 将临对象赋给某个型的变量; 这些情况下如果用户没有提供自己的版本,则编译器将会合成默认的行为[^3]。 #### 实现细节 为了正确处理资源管理(比如动态分配内存),通常需要实现深拷贝而非浅拷贝。下面是一个简单的例子说明这一点: 假设有一个包含指针成员的 `StringHolder`: ```cpp #include <cstring> #include <iostream> class StringHolder { private: char* data; public: explicit StringHolder(const char* str) : data(new char[strlen(str)+1]) { strcpy(data, str); } ~StringHolder() { delete[] data; } /// @brief 显式的拷贝构造函数实现了深拷贝逻辑 StringHolder(const StringHolder &other):data(nullptr){ size_t length = strlen(other.data); this->data = new char[length + 1]; strncpy(this->data, other.data, length + 1); } void showData() const { std::cout << "Data: " << (this->data ? this->data:"null") << &#39;\n&#39;; } }; int main(){ StringHolder sh1("Hello"); StringHolder sh2(sh1); sh1.showData(); // 输出 Hello sh2.showData(); // 同样输出 Hello return 0; } ``` 在这个例子中,`StringHolder` 拥有指向字符数组的指针 `data`. 如果不特别编写复制构造函数默认行为只会简单地复制这个指针地址——即所谓的“浅拷贝”。这可能导致两个不同对象共享同一块堆上分配的空间,在其中一个被销毁之后留下悬空指针的风险。因此这里提供了自定义的复制构造函数来进行完整的字符串副本操作,也就是执行了所谓“深拷贝”。
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值