C++——类和对象之拷贝构造

Forward♞

于 2023-11-01 00:03:03 发布

阅读量174

点赞数 1

分类专栏： C++学习之路文章标签： c++ 开发语言 1024程序员节

本文链接：https://blog.csdn.net/l315225/article/details/134151925

版权

C++学习之路专栏收录该内容

20 篇文章 1 订阅

订阅专栏

拷贝构造

本章思维导图：

在这里插入图片描述

注：本章思维导图对应的xmind文件和.png文件都已同步上传到”资源“

如果我们想要用一个已经存在的对象实例化一个与之完全相同的对象，怎么做呢？

C++提供了一个简单的方法——拷贝构造

拷贝构造是C++类里面默认成员函数之一

1.1 拷贝构造的声明

在这里插入图片描述

拷贝函数是构造函数的重载
拷贝函数没有返回值
只有一个形参，该形参必须是类类型的引用，且最好由const修饰

例如，对于Date类的拷贝构造，应该声明为：

Date(const Date& d);

如果形参不是引用类型，那么就会报错：

“Date”: 非法的复制构造函数: 第一个参数不应是“Date”

我们来进行分析：

在这里插入图片描述

所以我们才说：形参必须是类类型的引用

1.2 拷贝构造的定义

在这里插入图片描述

要知道如何正确的定义拷贝构造，就需要先对浅拷贝和深拷贝有简单的了解：

1.2.1 浅拷贝

浅拷贝又称值拷贝
浅拷贝只是对成员变量值的简单复制，而不是复制指向的动态分配的资源（如堆内存）
原对象和拷贝对象将共享相同的资源。

例如，对于Date类的拷贝构造：

Date(int year = 1, int month = 1, int day = 1)
{
    //只是对成员变量值的简单复制
    _year = year;
    _month = month;
    _day = day;
}

而如果我们将Stack类的拷贝构造写成浅拷贝：

Stack(const Stack& st)
{
    _a = st._a;
    _capacity = st._capacity;
    _top = st._top;
}

那么代码 _a = st._a就会带来极大的危险：

这是对两个指针进行简单的值拷贝，即让这两个指针的值相同，即指向相同的内容。如图：
那么，如果在这种情况下**，调用析构函数就会出现错误**：
~Stack()
{
    free(_a);
    _capacity = _top = 0;
}
int main()
{
	Stack st1;
	Stack st2(st1);

	return 0;
}
这是因为，_a和st._a这两个指针都指向了相同的区域，当对象st1调用析构函数后，其指向的空间就被销毁了，成了野指针，当st2再次调用析构函数时，就会造成对野指针的销毁，而free是不能对野指针进行操作的，因此会报错。

因此，当涉及到指针类型的拷贝时，仅靠浅拷贝是不够的，这就我们的需要深拷贝了。

1.2.2 深拷贝

深拷贝又称址拷贝
相较于浅拷贝只是对成员变量值的简单赋值，深拷贝会复制对象的成员变量以及指向的资源，包括指针指向的数据
这确保了原对象和拷贝对象拥有彼此独立但内容相同的资源副本。

例如，Stack类的拷贝构造的正确写法为：

Stack(const Stack& st)
{
    //址拷贝
    _a = (int*)malloc(sizeof(int) * st._capacity);	//开辟相同大小的空间
    memcpy(_a, st._a, st._capacity * sizeof(int));	//使新空间的内容和原来的一样

    _capacity = st._capacity;
    _top = st._top;
}