【c++】类和对象(四)深入了解拷贝构造函数

Alt

🔥个人主页:Quitecoder

🔥专栏:c++笔记仓

Alt

朋友们大家好啊,本篇内容带大家深入了解拷贝构造函数

目录

  • 1.拷贝构造函数
    • 1.1传值调用的无限调用
    • 1.2浅拷贝
    • 1.3深拷贝
    • 1.4深拷贝的实现

1.拷贝构造函数

拷贝构造函数是一种特殊的构造函数,在对象需要以同一类的另一个对象为模板进行初始化时被调用。它的主要用途是初始化一个对象,使其成为另一个对象的副本

我们先引用前面所用到的日期类的例子:

class Date
{
public:Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}
private:int _year;int _month;int _day;
};

简单来说,假如我现在定义了一个日期对象:

int main()
{Date d1(2005, 6, 23);return 0;
}

我需要定义一个d2,与我的d1的数据相同,如何定义呢?

方法如下:

int main()
{Date d1(2005, 6, 23);Date d2(d1);return 0;
}

这里用到了拷贝构造,那么拷贝函数是如何实现的呢?我们接下来来探讨一下

拷贝构造函数通常声明为接受一个对同一类对象的常量引用参数:

class ClassName {
public:ClassName(const ClassName& other);
};
  • 参数:const ClassName& other是对另一个同类型对象的引用,使用const确保不会无意中修改other。
  • 函数体:在函数体内部,你可以决定如何复制other对象的成员到新对象中。对于简单的情况,这可能仅仅是复制每个成员变量的值。对于涉及动态分配内存或其他资源的类,可能需要进行深拷贝

下面来探讨上述的Date类的实现

class Date
{
public:Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}Date(const Date& d){_year = d._year;_month = d._month;_day = d._day;}
private:int _year;int _month;int _day;
};
int main()
{Date d1(2005, 6, 23);Date d2(d1);return 0;
}

拷贝构造函数是构造函数的一个重载形式,拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错,因为会引发无穷递归调用,这个我们后面进行讲解

Date(const Date& d){_year = d._year;_month = d._month;_day = d._day;}

这里的d2就相当于this,d1就是另一个参数
在这里插入图片描述

1.1传值调用的无限调用

我们上面提到,拷贝构造函数参数只有一个且必须是类类型对象的引用,那么如果我使用传值调用会有什么结果呢??

我们下面先来进行简单的铺垫

void fun1(Date d)
{}
void fun2(Date& rd)
{}
int main()
{Date d1(2005, 6, 23);fun1(d1);fun2(d1);return 0;
}

构造两个函数,他们的参数不同,第一个函数为传值传参,在c语言中我们知道,传值传参是一个拷贝的过程,即把d1的值拷贝给dc++规定,自定义类型的拷贝,都会调用拷贝构造

我们进行调试
在这里插入图片描述

在这里按F11,我们目的是进入fun1,函数,这里却跳入拷贝构造函数
在这里插入图片描述
再按f11,才会进入fun1函数中
在这里插入图片描述
大概过程如下
在这里插入图片描述
传值传参需要调用拷贝构造

在这里插入图片描述
在这里插入图片描述
fun2函数可以直接进入
在这里插入图片描述

在上述讲解后,我们来探讨,如果拷贝函数是传值引用,会发生什么?

调用拷贝构造,需要传参,这里传值传参,就会调用一个新的拷贝构造

在这里插入图片描述
所以,这里也是我们为什么只能用引用传参

1.2浅拷贝

class Date
{
public:Date(int year = 1, int month = 1, int day = 1){_year = year;_month = month;_day = day;}void Print(){cout << _year << "-" << _month << "-" << _day << endl;}
private:int _year;int _month;int _day;
};
int main()
{Date d1(2005, 6, 23);Date d2(d1);d1.Print();d2.Print();return 0;
}

我们现在屏蔽掉拷贝构造,看会发生什么
在这里插入图片描述

若未显式定义,编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象(内置类型成员)按内存存储按字节序完成拷贝,这种拷贝叫做浅拷贝,或者值拷贝

那如果有自定义类型呢?
我们看下面的代码:

class Time
{
public:Time(){_hour = 1;_minute = 1;_second = 1;}Time(const Time& t){_hour = t._hour;_minute = t._minute;_second = t._second;cout << "Time::Time(const Time&)" << endl;}
private:int _hour;int _minute;int _second;
};
class Date
{
private:// 基本类型(内置类型)int _year = 2024;int _month = 1;int _day = 1;// 自定义类型Time _t;
};
int main()
{Date d1;Date d2(d1);return 0;
}

在这个代码示例中,我们有两个类:TimeDateDate 类中包含了一些基本类型的成员变量(_year, _month, _day)和一个自定义类型的成员变量(_t,一个 Time 类型的对象)。当创建 Date 类的对象时,不仅会初始化其基本类型的成员变量,也会调用其自定义类型成员的构造函数来初始化

函数的调用过程

  1. Date 对象的默认构造函数调用:当 Date 类的对象被创建时,它的默认构造函数(编译器自动生成的,因为没有显式定义)会被调用。由于成员变量 _year, _month, _day 在类定义中已经被直接初始化,编译器将这些初始化纳入默认构造函数的操作中。

  2. Time 成员的构造函数调用:在 Date 的构造函数执行过程中,会自动调用 _tTime 类型的成员变量)的默认构造函数来初始化 _tTime 的默认构造函数设置 _hour, _minute, _second 为 1,并不打印任何信息。

  3. 拷贝 Date 对象:当 Date d2(d1); 执行时,d2 是通过拷贝构造函数初始化的。因为 Date 类没有显式定义拷贝构造函数,编译器会为它生成一个默认的拷贝构造函数。这个默认的拷贝构造函数会逐个拷贝 Date 类中的所有成员变量,包括基本类型和自定义类型的成员。

    • 对于基本类型成员(如 _year, _month, _day),直接进行值的复制
    • 对于自定义类型的成员(_t),会调用该成员的拷贝构造函数(Time 类中定义的 Time(const Time&))来进行拷贝。在这个过程中,Time 的拷贝构造函数会输出信息:Time::Time(const Time&)

因此,在执行 Date d2(d1); 时,调用过程如下:

  1. 首先,调用 Date 的默认拷贝构造函数(自动生成)来初始化 d2
  2. 在初始化 d2 的过程中,对于其自定义类型成员 _t,调用 Time 的拷贝构造函数来初始化,此时会输出 Time::Time(const Time&)

这就是自定义类型成员在 Date 类拷贝过程中构造函数的调用情况,其他的基本类型成员变量则是通过简单的值复制来初始化的

在编译器生成的默认拷贝构造函数中,内置类型是按照字节方式直接拷贝的,而自定义类型是调用其拷贝构造函数完成拷贝的

如果我们删掉Time的默认的拷贝构造函数呢?

class Time
{
public:Time(const Time& t){_hour = t._hour;_minute = t._minute;_second = t._second;cout << "Time::Time(const Time&)" << endl;}
private:int _hour;int _minute;int _second;
};
class Date
{
private:// 基本类型(内置类型)int _year = 2024;int _month = 1;int _day = 1;// 自定义类型Time _t;
};
int main()
{Date d1;Date d2(d1);return 0;
}

拷贝构造本身就是一种构造函数,所以编译器不会生成默认构造函数

在这个代码中,由于 Time 类中没有显式定义一个无参数的默认构造函数(只定义了一个拷贝构造函数),而 Date 类的实现依赖于 Time 类的这个默认构造函数来初始化其 _t 成员,所以编译器将尝试调用 Time 类的默认构造函数时会失败,因为找不到合适的构造函数来初始化 _t

当尝试创建 Date 类的实例 d1 时,Date 类的默认构造函数(由编译器隐式生成)会被调用。默认构造函数会尝试初始化所有成员变量,对于基本类型的成员变量 _year,_month, _day,由于它们已经在类定义中直接初始化,不会有问题。但对于 _tTime 类型的成员变量),编译器需要调用 Time 类的默认构造函数来初始化它。由于 Time类中没有定义无参数的默认构造函数,编译过程中会出现错误

当尝试通过拷贝构造函数创建 d2 时(Date d2(d1);),同样会遇到问题。虽然 Date 类的拷贝构造函数(编译器自动生成的)会尝试逐个拷贝所有成员变量,对于 _t,它会尝试调用 Time类的拷贝构造函数,这部分没有问题。但在创建 d1 时已经失败,因此这一步也无法成功执行

c++也可以加入这串代码进行强制生成:

Time() = default;

1.3深拷贝

如果你没有为类显式定义拷贝构造函数,C++编译器会自动生成一个默认的拷贝构造函数。默认拷贝构造函数会逐个复制对象的所有成员(浅拷贝)。对于基本数据类型和指向动态分配内存的指针成员这意味着只复制指针值而不复制指针指向的数据

我们来看下面的代码:

typedef int DataType;
class Stack
{
public:Stack(size_t capacity = 10){_array = (DataType*)malloc(capacity * sizeof(DataType));if (nullptr == _array){perror("malloc申请空间失败");return;}_size = 0;_capacity = capacity;}void Push(const DataType& data){// CheckCapacity();_array[_size] = data;_size++;}~Stack(){if (_array){free(_array);_array = nullptr;_capacity = 0;_size = 0;}}
private:DataType* _array;size_t _size;size_t _capacity;
};
int main()
{Stack s1;s1.Push(1);s1.Push(2);s1.Push(3);s1.Push(4);Stack s2(s1);return 0;
}

我们没有提供拷贝构造函数,编译器默认提供,我们来看运行结果:
在这里插入图片描述
程序崩溃,我们进行调试观察
在这里插入图片描述
当通过 Stack s2(s1); 这样的语句创建一个 Stack 类的对象时,如果没有显式定义拷贝构造函数,C++ 编译器会提供一个默认的拷贝构造函数,它进行浅拷贝。这意味着 _array 指针的值被复制过来,但指向的内存空间没有被复制。这会导致多个对象共享同一块内存空间,进而导致双重释放等问题

在这里插入图片描述

类中如果没有涉及资源申请时,拷贝构造函数是否写都可以;一旦涉及到资源申请时,则拷贝构造函数是一定要写的,否则就是浅拷贝

  • **浅拷贝(Shallow Copy)**只复制对象的顶层结构,如果对象中包含指针指向动态分配的内存,则副本的这些指针将指向与原始对象相同的内存地址。这意味着两个对象共享部分资源。浅拷贝通常是通过默认的拷贝构造函数和赋值操作符实现的
  • 深拷贝则复制对象所有的层级结构。对于对象内部的每一个指针指向的内存,深拷贝都会在堆上分配新的内存,然后将原始数据复制到这块新分配的内存中。这样,原始对象和副本对象将拥有完全独立的数据副本

1.4深拷贝的实现

深拷贝需要我们手动实现,对于上述的代码,我们需要手动补充,于对象内部的每个指向动态分配内存的指针,都需要:

  1. 为副本分配新的内存空间
  2. 将原始对象指针指向的数据复制到新分配的内存中
typedef int DataType;
class Stack
{
public:Stack(size_t capacity = 10){_array = (DataType*)malloc(capacity * sizeof(DataType));if (nullptr == _array){perror("malloc申请空间失败");return;}_size = 0;_capacity = capacity;}//注意,这里s2是this,s是s1Stack(const Stack& s){DataType* tmp == (DataType*)malloc(sizeof(DataType) * s._capacity);if (tmp = nullptr){perror("malloc fail");exit(-1);}memcpy(tmp, s._array, sizeof(DataType) * s._size);_array = tmp;_size = s._size;_capacity = s._capacity;}void Push(const DataType& data){// CheckCapacity();_array[_size] = data;_size++;}~Stack(){if (_array){free(_array);_array = nullptr;_capacity = 0;_size = 0;}}
private:DataType* _array;size_t _size;size_t _capacity;
};
int main()
{Stack s1;s1.Push(1);s1.Push(2);s1.Push(3);s1.Push(4);Stack s2(s1);return 0;
}
//注意,这里s2是this,s是s1Stack(const Stack& s){DataType* tmp = (DataType*)malloc(sizeof(DataType) * s._capacity);if (tmp == nullptr){perror("malloc fail");exit(-1);}memcpy(tmp, s._array, sizeof(DataType) * s._size);_array = tmp;_size = s._size;_capacity = s._capacity;}

这个拷贝构造函数的主要功能是创建一个新的 Stack 对象,该对象是对现有 Stack 对象(称为 s)的深拷贝。深拷贝意味着新对象将拥有与原对象相同的数据副本,但这些数据存储在新分配的内存中。这样,两个对象的状态互不影响,修改一个对象的内容不会影响另一个

  • 内存分配
    使用 malloc 根据原栈 (s) 的容量 (_capacity) 分配足够的内存空间来存储数据副本。这里的内存大小是 s._capacity * sizeof(DataType)

  • 数据复制
    使用 memcpy 将原栈 (s) 的数据 _array 复制到新分配的内存 tmp 中。复制的长度是 s._size * sizeof(DataType),即仅复制原栈中实际存在的元素

  • 更新成员变量
    将新栈的 _array 指针更新为指向新分配的内存 tmp
    将新栈的 _size 和 _capacity 设置为与原栈 (s) 相同的值。这样保证了新栈在逻辑上与原栈完全相同,拥有相同数量的元素和相同的容量

在这里插入图片描述
这下我们的问题也就解决了
在这里插入图片描述

class myqueue {private:Stack st1;Stack st2;
};
int main()
{myqueue q1;myqueue q2(q1);return 0;
}

有一个 Stack 类,它实现了一个简单的栈,并提供了深拷贝功能。然后,创建一个 myqueue 类,它内部使用了两个 Stack 实例。在 main 函数中,创建了一个 myqueue 对象 q1 并尝试使用 q1 来初始化另一个 myqueue 对象 q2。这里的关键点在于理解 Stack 的深拷贝实现如何影响 myqueue 对象的复制行为

  • myqueue 类及其复制行为
    myqueue 类内部包含两个 Stack 对象:st1st2。当使用一个 myqueue 对象来初始化另一个(如 myqueue q2(q1);)时,myqueue 的隐式(或默认)拷贝构造函数被调用。C++ 默认的拷贝构造函数会逐个复制类的成员,使用各成员自己的拷贝构造函数。因此,q1 中的 st1st2 会使用它们各自的深拷贝构造函数来初始化 q2 中的 st1st2

由于 Stack 类已经提供了深拷贝的实现,myqueue 类中的 st1st2 成员在 myqueue
对象被复制时也会被深拷贝。这意味着 q1q2 中的 st1st2 在内存上是独立的:q1.st1
q2.st1 指向不同的内存区域,q1.st2q2.st2 同理。因此,q1q2
在逻辑上是完全独立的队列,它们内部的栈互不影响

  • 隐式拷贝构造函数myqueue 类在这段代码中并没有显式定义自己的拷贝构造函数。它依赖于 C++ 自动生成的默认拷贝构造函数来正确地复制其成员。这在 Stack 提供深拷贝的情况下是安全的

在这里插入图片描述
本篇内容到此结束,感谢大家观看!!!!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/773682.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

yolov5+pyside6+登录+用户管理目标检测可视化源码

一、软件简介 这是基于yolov5目标检测实现的源码&#xff0c;提供了用户登录功能界面&#xff1b; 用户需要输入正确的用户名和密码才可以登录。如果是超级管理员&#xff0c;可以修改普通用户的信息&#xff0c;并且在检测界面的右上角显示【管理用户】按钮。 支持图片、视频、…

程序员快速上手一门技术

1 明确需求 明确学这个技术的需求&#xff1a;如工作需求或职业发展 2 了解技术 2.1 这个技术是做什么&#xff1f; 2.2 这个技术的优缺点&#xff1f; 2.3 这个技术适用什么场景&#xff1f; 3 去官网文档查看技术 4 快速上手 4.1 快速学习增删改查&#xff0c;写出一…

访问二维数组本质

先从一维数组讲起 int main() {int arr[5] { 1,2,3,4,5 };for (int i 0; i < 5; i) {printf("%d",arr[i]); //对数组进行访问}return 0; } 其实 arr [ i ] * (arr i) 这两个是完全相等的&#xff0c;在c语言指针&#xff08;1&#xff09;8.数组名与 …

机器人深度学习IMU和图像数据实现焊接精细操作

在双电极气体保护金属弧焊 &#xff08;DE-GMAW&#xff09; 中&#xff0c;对焊枪和旁路电极位置的精确控制是至关重要的。为了这一过程&#xff0c;科研团队提出了安装微型惯性测量单元&#xff08;IMU&#xff09;传感器和摄像头&#xff0c;来记录焊工控制焊枪的移动和微调…

如何配置高质量的告警

运维工程师吐槽起告警问题&#xff0c;人人都是BBKing&#xff01; 每天应对花式告警问题&#xff0c; 无关紧要的、短时急剧爆发的 被疲劳告警淹没的重要告警 和每天崭新的太阳一样&#xff0c; 每次的告警也是独一无二的&#xff01; 想躺平&#xff0c;不可能 下一秒…

01背包(acwing闫氏DP分析法)

题目描述&#xff1a; 有 N 件物品和一个容量是 V的背包。每件物品只能使用一次。 第 i 件物品的体积是 vi&#xff0c;价值是 wi。 求解将哪些物品装入背包&#xff0c;可使这些物品的总体积不超过背包容量&#xff0c;且总价值最大。 输出最大价值。 输入格式&#xff1a…

MATLAB:微分方程(组)数值解

一、显式微分方程 clc,clear tspan [0:10]; y0 2; [t1,y1] ode23(odefun_1,tspan,y0); %求数值解&#xff0c;精度相对低 [t2,y2] ode113(odefun_1,tspan,y0); %求数值解&#xff0c;精度相对高 yt sqrt(tspan1)1; %求精确解 subplot(1,2,1) plot(t1,y1,bo,t2,y2,r*,tspa…

C语言:动态内存管理(malloc,calloc,realloc,free)

目录 前言 malloc函数 free函数 calloc函数 realloc函数 前言 在这一章节将讲解动态内存分配&#xff0c;它可以在程序的堆区创建一块内存&#xff0c;在这块内存中存什么值就是由自己决定的了 开辟的空间有两个特点&#xff1a; 1. 空间开辟的大小是固定的 2. 数组在…

视频 | 轨迹模型及其它潜变量模型理论与实践

2024年3月20日&#xff0c;郑老师开办了“春分”临床统计学沙龙&#xff0c;本期沙龙和诸位分享了轨迹增长模型&#xff0c;以及其它潜变量模型包括潜类别模型和潜剖面模型的详细介绍和文献解读&#xff0c;R语言代码实践也有分享&#xff01; 非常感谢各位朋友在忙碌的工作生活…

线性数据结构----(数组,链表,栈,队列,哈希表)

线性数据结构 数组链表栈使用场景 队列应用场景 哈希表特点哈希函数&#xff0c;哈希值&#xff0c;哈希冲突键值对 Entry 开放寻址法和拉链法 参考文档 数组 数组(Array) 是一种很常见的数据结构。由相同类型的元素组成&#xff0c;并且是使用一块连续的内存来存储的。 在数组…

安装redis时候修改过的配置文件

只要是石头&#xff0c;到哪里都不会发光的 bind 绑定主机某个网卡对应的IP地址&#xff0c;如果某个主机有两个网卡A和B&#xff0c;那么绑定了A&#xff0c;通过B连接就会无法访问protected-mode 保护模式 Yes为只能本地访问port 启动的端口号pidfile pid存放的位置&#xff…

python django实战开发序列化器的一个应用心得分享

需求: 查询的时候返回不包括SharePasswd 字段, 但是新增操作需要用到该字段 再不写多个model模型和序列化器的前提下实现 如果您在查询&#xff08;GET 请求&#xff09;时不希望返回 SharePasswd 字段&#xff0c;但在新增&#xff08;POST 请求&#xff09;时需要用到该字段…

Python3爬取2023省市区

爬取地址https://www.stats.gov.cn/sj/tjbz/tjyqhdmhcxhfdm/2023/ import re import requests import pandas as pd import warnings warnings.filterwarnings("ignore") import time from lxml import etree import pymysql t ,urls ,names [],[],[] INDEX_URL &…

Java两地经纬度通过高德api获取两地距离(公里)

代码如下&#xff1a; String startLongitude entity.getLONGITUDE(); // 起点&#xff08;当前位置&#xff09;经度String startLatitude entity.getLATITUDE(); // 起点纬度String endLongitude entity.getLO(); // 终点经度String endLatitude entity.getLA(); …

Spring框架介绍及详细使用

前言 本篇文章将会对spring框架做出一个比较详细的讲解&#xff0c;并且每个知识点基本都会有例子演示&#xff0c;详细记录下了我在学习Spring时所了解到全部知识点。 在了解是什么spring之前&#xff0c;我们要先知道spring框架在开发时&#xff0c;服务器端采用三层架构的方…

电子元器件批发采购的数字化转型与技术应用

电子元器件批发采购的数字化转型和技术应用是提高效率、优化供应链管理以及增强竞争力的关键。以下是一些数字化转型和技术应用的方面&#xff1a; 电子商务平台&#xff1a;建立并优化电子商务平台&#xff0c;提供在线采购功能&#xff0c;使客户能够方便地浏览产品、下订单、…

ABNDP: Co-optimizing Data Access and Load Balance in Near-Data Processing——论文泛读

ASPLOS 2023 Paper 论文阅读笔记整理 问题 近数据处理&#xff08;NDP&#xff09;是一种很有前途的体系结构范式&#xff0c;可以解决数据密集型应用程序的内存墙挑战。基于3D堆叠存储器的典型NDP系统包含大量并行处理单元&#xff0c;每个并行处理单元都可以访问其本地存储…

HTML基础:8个常见表单元素的详解

你好&#xff0c;我是云桃桃。 一个希望帮助更多朋友快速入门 WEB 前端程序媛。 后台回复“前端工具”可免费获取开发工具&#xff0c;持续更新。 今天来说说 HTML 表单。它是用于收集用户输入信息的元素集合。例如文本框、单选按钮、复选框、下拉列表等。 用户经常填写的表…

​深入理解JMeter性能测试日志:分析并发用户行为与吞吐量指标

在进行软件性能测试时&#xff0c;使用Apache JMeter等工具能够生成详尽的测试报告和日志。这些数据对于评估应用程序的性能至关重要。本文将针对JMeter生成的压测日志数据进行详细解析&#xff0c;并解释特定字段的意义。 日志数据摘要&#xff1a; 以下是整个JMeter压测日志…

2024智能EDM邮件营销系统使用攻略

在数字化营销领域&#xff0c;智能EDM&#xff08;Electronic Direct Mail&#xff09;邮件营销作为一种高效、精准的推广方式&#xff0c;正日益受到企业的高度重视。而要实现这一策略的成功落地&#xff0c;一个高可靠性和高稳定性的专业邮件发送平台则是不可或缺的关键环节。…