【C++】类和对象③(类的默认成员函数:拷贝构造函数 | 赋值运算符重载)

🔥个人主页:Forcible Bug Maker

🔥专栏:C++

目录

前言

拷贝构造函数

概念

拷贝构造函数的特性及用法

赋值运算符重载

运算符重载

赋值运算符重载

结语


前言

本篇主要内容:类的6个默认成员函数中的拷贝构造函数赋值运算符重载

在上篇文章中我们讲到了类的默认成员函数的构造函数和析构函数,这两个默认成员函数在对象的生命周期中起着至关重要的作用。而今天我们要讲的拷贝构造函数和赋值运算符重载,作为类默认成员函数的其中之二,则是在对象间的初始化和拷贝当中起着重要作用。再次强六个默认成员函数的共性,这些函数会在你不提供的情况下由编译器自动生成。接下来开始我们今天的内容。

拷贝构造函数

概念

在创建对象时,你可能需要创建一个与已经存在的对象一模一样的新对象。

拷贝构造函数:只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象创建新对象时由编译器自动调用

拷贝构造函数的特性及用法

拷贝构造函数是一种特殊的构造函数,用于创建一个新对象作为现有对象的副本。

1. 拷贝构造函数是构造函数的一个重载形式

2. 拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器报错,因为会引发无穷调用。

拿一个Date类来举例:

class Date
{
public:Date(int year = 1900, int month = 1, int day = 1){_year = year;_month = month;_day = day;}// Date(const Date& d) // 正确写法Date(const Date& d) // 错误写法:编译报错,会引发无穷递归{_year = d._year;_month = d._month;_day = d._day;}
private:int _year;int _month;int _day;
};
int main()
{Date d1;Date d2(d1);return 0;
}

在 Date d2(d1); 这句,将调用拷贝构造函数,其中d1通过传引用传参传递给函数中的d,d2以this指针的形式隐式传递。在运行完拷贝构造函数之后,d2创建好就是和d1相同的一个对象了。接下来详细讲解为什么构造中不加应用会导致无穷调用。

void Fun1(Date d)
{cout << "Fun1" << endl;
}int main()
{Date d1(2024, 4, 16);Fun1(d1);return 0;
}

运行以上代码,会发现,在进入函数Fun1之前,会先调用一次拷贝构造,将d1的值赋给d,下面是调试观察,可以看到调试进入Fun1前先进入了拷贝构造。

说明类的传值传递在调用时会先调用类内部的拷贝构造,如果不写拷贝构造中的引用,拷贝构造的传应用传递就会变成类的传值传递,而类的传值传递又需要先调用拷贝构造,最终逻辑形成了一个闭环,导致无穷调用。

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

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 = 1970;int _month = 1;int _day = 1;// 自定义类型Time _t;
};
int main()
{Date d1;// 用已经存在的d1拷贝构造d2,此处会调用Date类的拷贝构造函数// 但Date类并没有显式定义拷贝构造函数,则编译器会给Date类生成一个默认的拷贝构造函数Date d2(d1);return 0;
}

上述代码中Date的拷贝构造函数我们并没有提供,由编译器默认生成。 

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

4. 编译器生成的默认拷贝构造函数既然已经可以完成字节序的拷贝,那么是否还有自己实现的必要?像日期类这样的类是没什么必要的,但是当类涉及资源的打开和关闭,开辟和释放时,默认生成的浅拷贝构造就无法解决问题了。

看如下的Stack类:

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时使用了编译器默认生成的拷贝构造函数,在main函数代码运行的过程中,似乎并没有什么问题,但是当整个程序运行结束时,程序崩溃了。这是因为Stack类涉及到了堆中空间资源的开辟,由于编译器默认生成的拷贝构造是浅拷贝,s1和s2中的_array指针指向相同的堆空间,在程序运行到结尾会调用析构函数,s1和s2对象各调用一次析构时,会导致_array指向的堆空间被释放两次,最终程序崩溃。

注:类中如果没有涉及资源申请时,拷贝构造函数是否写都可以一旦涉及到资源申请,则拷贝构造函数是一定要写的,否则就是浅拷贝,导致上述问题。

5. 拷贝构造函数典型应用场景

  • 使用已存在对象创建新对象
  • 函数参数类型为类类型对象
  • 函数返回值类型为类类型对象

代码示例:

class Date
{
public:Date(int year, int minute, int day){cout << "Date(int,int,int):" << this << endl;}Date(const Date& d){cout << "Date(const Date& d):" << this << endl;}~Date(){cout << "~Date():" << this << endl;}
private:int _year;int _month;int _day;
};
Date Test(Date d) // 第二种
{Date temp(d); // 第一种return temp; // 第三种
}
int main()
{Date d1(2022, 1, 13);Test(d1);return 0;
}

为了提高效率,一般对象传参时,尽量使用引用类型,返回时根据实际场景,能引用尽量使用引用。

6. 拷贝构造函数其实还有一种调用方式

类名  对象名 = 已有对象名

赋值运算符重载

运算符重载

运算符重载是C++中的一个重要特性,它允许我们为自定义的数据类型(如类)重新定义或重载已有的运算符,以便它们能像内置类型(如int、float等)的运算符那样工作。通过运算符重载,我们可以让自定义类型的对象像内置类型一样进行运算和操作提高代码的可读性和易用性
函数名字为:关键字operator后面接重载的运算符符号。
函数原型:返回值类型  operator操作符(参数列表)

简单来说,运算符重载就是给运算符“赋予新的意义”,让它在不同的数据类型上有不同的作用

重载的基本规则:

  1. 不能通过连接其他符号来创建新的操作符,如:operator@
  2. 重载操作符必须有一个类类型参数
  3. 用于内置类型的运算符,其含义不能改变,如,内置类型的+,不能改变含义
  4. 最为类成员函数重载时,其形参看起来比操作数目少1,因为成员函数的第一个参数为隐藏的this
  5.   .*  ::  sizeof  ?:  .  这五个运算符不能重载。 

上面代码中重载了一个全局的operator==,但是全局要求成员变量是公有的,这就牵扯到一个问题,如何保证封装性?

解决方式有三:

  1. 提供可以获取到成员变量的成员函数
  2. 使用友元(后面将会学习)
  3. 重载成成员函数
class Date
{
public:Date(int year = 1900, int month = 1, int day = 1){_year = year;_month = month;_day = day;}// bool operator==(Date* this, const Date& d2)// 这里需要注意的是,左操作数是this,指向调用函数的对象bool operator==(const Date& d2){return _year == d2._year&& _month == d2._month&& _day == d2._day;}
private:int _year;int _month;int _day;
};

上面的代码就成功将==操作符重载成了成员函数,在使用时与全局的==并无区别。

赋值运算符重载

经过上面对操作符重载的简单介绍,赋值重载简单说就是字面意思,重载了=这一符号,使其可以用于对象之间的相互赋值。

1. 赋值运算符重载格式

  • 参数类型:const T&,传引用提高效率
  • 返回值类型:T& 返回引用可以提高返回效率,有返回值的目的是为了支持连续赋值
  • 检测是否给自己赋值
  • 返回*this:要符合连续赋值的含义

代码示例(完整的赋值运算符重载):

class Date
{
public:Date(int year = 1900, 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;}Date& operator=(const Date& d){if (this != &d){_year = d._year;_month = d._month;_day = d._day;}return *this;}
private:int _year;int _month;int _day;
};

2. 赋值运算符只能重载成类的成员函数不能重载成全局函数

原因:赋值运算符如果不显式实现,编译器会生成一个默认的。此时用户再在类外自己实现一个全局的赋值运算符重载,就和编译器在类中生成的默认赋值运算符重载冲突了,故赋值运算符重载只能是类的成员函数。

3. 用户没有显式实现时,编译器会生成一个默认赋值运算符重载,以值的方式逐字节拷贝。注意:内置类型成员变量是直接赋值的,而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。虽然编译器生成的默认赋值运算符可以完成字节序的值拷贝,但一旦涉及到资源的管理时,编译器生成的依然是不够用的,原因和默认生成的拷贝构造函数类型。

故:如果类中未涉及到资源管理,赋值运算符是否实现都可以一旦涉及到资源管理则必须要实现

结语

本篇博客主要讲了拷贝构造函数和赋值运算符重载,它们在类中扮演着至关重要的角色,是对象复制和赋值操作的基础,确保对象在复制和赋值过程中保持正确的状态和行为。如果没有正确地实现这两个函数,可能会导致数据不一致、内存泄漏或其他严重问题。因此,在编写自定义类时,通常需要仔细考虑是否需要显式定义拷贝构造函数和赋值运算符重载,并根据类的具体需求来实现它们。对于某些类(如包含动态分配内存的类),显式定义这两个函数是必不可少的。下篇博客将会讲到最后两个类的默认成员函数,以及操作符重载更多的使用情境。

本篇博客到此结束,感谢大家的支持!♥

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

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

相关文章

el-drawer二次封装进行可拖拽

1.想要的效果 鼠标放到上面出现箭头显示可拖拽得图标 2.代码实现 2.1封装成自定义指令 // drawerDragDirective.js // 定义指令 const drawerDragDirective {// 指令绑定时的处理函数bind(el, ) {const minWidth 300;const dragDom el.querySelector(.el-drawer);// 创…

掀起区块链开发狂潮!Scaffold-eth带你一键打造震撼DApp

文章目录 前言一、Scaffold-eth是什么&#xff1f;二、安装和配置1.准备工作2.安装3.配置开发环境 三、进阶使用1.放入自己的合约2.部署运行 总结 前言 前面的文章传送&#x1f6aa;&#xff1a;hardhat入门 与 hardhat进阶 在之前的文章中&#xff0c;我们已经探讨了使用Har…

【Linux】提升Linux命令行效率:光标移动和文本操作的键盘快捷键

Just 那么年少 还那么骄傲 两眼带刀 不肯求饶 即使越来越少 即使全部都输掉 也要没心没肺地笑 Just 那么年少 我向你招手 让你看到 我混账到老 天涯海角 天荒地老 只等你摔杯为号 &#x1f3b5; 朴树《Forever Young》 Linux命令行界面&#xff08;CLI&am…

设计模式系列:简单工厂模式

作者持续关注 WPS二次开发专题系列&#xff0c;持续为大家带来更多有价值的WPS二次开发技术细节&#xff0c;如果能够帮助到您&#xff0c;请帮忙来个一键三连&#xff0c;更多问题请联系我&#xff08;QQ:250325397&#xff09; 目录 定义 特点 使用场景 优缺点 (1) 优点…

故障转移-redis

4.4.故障转移 集群初识状态是这样的&#xff1a; 其中7001、7002、7003都是master&#xff0c;我们计划让7002宕机。 4.4.1.自动故障转移 当集群中有一个master宕机会发生什么呢&#xff1f; 直接停止一个redis实例&#xff0c;例如7002&#xff1a; redis-cli -p 7002 sh…

保持微软Microsoft Teams始终在线的方案

保持微软Microsoft Teams始终在线的方案 背景方案 背景 目前使用微软Teams办公的小伙伴很多&#xff0c;但是长时间不操作电脑就被自动设置成离线状态。对于在电脑前学习书本或者在思考问题的小伙伴就显得不太友好&#xff0c;因为即使我们不操作电脑我们也时刻在电脑前&#…

定时器产生延时停止

1&#xff0c;需求&#xff1a; 当按下按钮SB1,输出信号为0N,指示灯点亮;按下按钮SB2,经过10s的延时后,指示灯熄灭 2&#xff0c;关闭使用定时的常闭触电

Python 如何的调试模式使用 Python 的内置调试器 pdb 或者集成开发环境(IDE)如 PyCharm、Visual Studio Code

Python 的调试模式通常是通过使用 Python 的内置调试器 pdb 或者集成开发环境&#xff08;IDE&#xff09;如 PyCharm、Visual Studio Code 等中的调试工具来实现的。 使用 pdb pdb 是 Python 的标准库中的一个模块&#xff0c;它提供了一个交互式的源代码调试器。你可以使用…

Graphql mock 方案

GraphQL API 的强类型本质非常适合模拟。模拟是 GraphQL Code-First 开发过程的重要组成部分&#xff0c;它使前端开发人员能够构建 UI 组件和功能&#xff0c;而无需等待后端实现。 我们期望基于 TS 强类型定义的特点以及中后台常见列表、详情的数据类型共性&#xff0c;实现…

HG泄露(ctfhub)

工具准备&#xff1a;dirsearch、dvcs-ripper 网络安全之渗透测试全套工具篇&#xff08;内含安装以及使用方法&#xff09;_dvcs-ripper-CSDN博客 dvcs-ripper&#xff1a;一款perl的版本控制软件信息泄露利用工具&#xff0c;支持bzr、cvs、git、hg、svn... tree //树状…

APP开发_Android 与 js 互相调用

1 js 调用 Android 方法 当使用 JavaScript 调用 Android 原生方法时&#xff0c;主要涉及到 Android 的 WebView 组件&#xff0c;它允许你在 Android 应用中嵌入网页内容&#xff0c;并提供了 JavaScript 与 Android 代码交互的能力。 &#xff08;1&#xff09;创建JavaSc…

项目升级到jdk21后 SpringBoot相关组件的适配

了解到jdk21是一个LTS版本&#xff0c;可以稳定支持协程的功能。经过调研&#xff0c;将目前线上的jdk8升级到21&#xff0c;使用协程提升并发性能。 目前系统使用springBoot 2.0.3.RELEASE&#xff0c;并且引入了mybatis-spring-boot-starter、spring-boot-starter-data-redi…

MySql数据库从0-1学习-第四天多表查询

多表查询,指从多张表查询数据 连接查询 内连接: 相当于查询A和B交集部分数据外连接 左外连接: 查询左表所有的数据(包括两张表交集部分的数据)有外连接: 查询右表所有的数据(包括两张表交集部分的数据) 子查询 内连接查询 隐式内连接查询 select 字段列表 from 表1,表2 whe…

聪明利用ChatGPT,让你的论文更加出色

ChatGPT无限次数:点击直达 聪明利用ChatGPT&#xff0c;让你的论文更加出色 引言 近年来&#xff0c;人工智能技术的快速发展给我们的学术研究带来了前所未有的便利。其中&#xff0c;自然语言处理技术中的ChatGPT模型&#xff0c;作为一种生成式预训练模型&#xff0c;为我们…

【电控笔记2.3】速度回路+系统延迟

2.3.1速度回路pi控制器设计 pi伯德图近似设计(不考虑延时理想情况下) Tl:负载转矩 PI控制器的转折频率:Ki/Kp

VScode插件发布

背景 上期在初涉 VS Code 插件开发-CSDN博客中&#xff0c;通过Yeoman工具创建了第一个插件项目&#xff0c;在helloworld的基础上修改&#xff0c;实现预期的功能后&#xff0c;需要将VScode插件发布到插件市场中使用。 官方文档&#xff1a;Publishing Extensions | Visual…

【C语言】带你完全理解指针(六)指针笔试题

目录 1. 2. 3. 4. 5. 6. 7. 8. 1. int main() {int a[5] { 1, 2, 3, 4, 5 };int* ptr (int*)(&a 1);printf("%d,%d", *(a 1), *(ptr - 1));return 0; } 【答案】 2&#xff0c;5 【解析】 定义了一个指向整数的指针ptr&#xff0c;并将其初始化为&…

动态规划专练( 198.打家劫舍)

198.打家劫舍 你是一个专业的小偷&#xff0c;计划偷窃沿街的房屋。每间房内都藏有一定的现金&#xff0c;影响你偷窃的唯一制约因素就是相邻的房屋装有相互连通的防盗系统&#xff0c;如果两间相邻的房屋在同一晚上被小偷闯入&#xff0c;系统会自动报警。 给定一个代表每个…

设计模式学习笔记 - 设计模式与范式 -总结:1.回顾23中设计模式的原理、背后的思想、应用场景等

1.创建型设计模式 创建型设计模式包括&#xff1a;单例模式、工厂模式、建造者模式、原型模式。它主要解决对象的创建问题&#xff0c;封装复杂的创建过程&#xff0c;解耦对象的创建代码和使用代码。 1.单例模式 单例模式用来创建全局唯一的对象。一个类只允许创建一个对象…

Angular 使用DomSanitizer防范跨站脚本攻击

跨站脚本Cross-site scripting 简称XSS&#xff0c;是代码注入的一种&#xff0c;是一种网站应用程序的安全漏洞攻击。它允许恶意用户将代码注入到网页上&#xff0c;其他用户在使用网页时就会收到影响&#xff0c;这类攻击通常包含了HTML和用户端脚本语言&#xff08;JS&…