【C++】：拷贝构造函数和赋值运算符重载

目录

  • 一，拷贝构造函数
    • 1. 什么是拷贝构造函数
    • 2. 拷贝构造函数的特性
    • 3. 实践总结
  • 二，赋值运算符重载
    • 2.1 运算符重载
    • 2.2 赋值运算符重载

一，拷贝构造函数

1. 什么是拷贝构造函数

拷贝构造函数是特殊的构造函数。是用一个已经存在的对象，赋值拷贝给另一个新创建的已经存在的对象。

本质：用同类型的对象拷贝初始化。

2. 拷贝构造函数的特性

拷贝构造函数也是特殊的成员函数，其特征如下：

2.1 拷贝构造函数是构造函数的一个重载形式。

2.2 拷贝构造函数的函数名域类名相同，参数只有一个且必须是类类型对象的引用，使用传值方式编译器直接报错，因为在语法上引发无穷递归调用。

注意：

  • Date d2(d1); 这句代码也等价于Date d2 = d1;也是拷贝构造的写法。
#include <iostream>
using namespace std;class Date
{
public:Date(int year, int month, int day){_year = year;_month = month;_day = day;}//拷贝构造函数//参数只有一个，必须是类类型对象的引用。//Date d2(d1); Date(Date& d)   //传引用，正确写法//Date(Date d)  //传值，错误写法
{//用来检测是否调用该拷贝构造函数cout << "Date(Date& d)" << endl;//d1是d的别名，隐含的this就是d2,相当于把d1的值拷贝给d2_year = d._year;_month = d._month;_day = d._day;
}void Print(){cout << _year << "-" << _month << "-" << _day << endl;}private:int _year;  // 年int _month; // 月int _day;   // 日
};int main()
{Date d1(2024,4,21);d1.Print();//d2对象不在按指定年月日初始化，而是想和d1对象初始化一样//拷贝构造：用同类型的对象拷贝初始化Date d2(d1);//这句代码也等价于Date d2 = d1;也是拷贝构造的写法d2.Print();return 0;
}

在这里插入图片描述

如果是传值的方式，如上述代码中的错误写法，程序会直接报错。

在这里插入图片描述

这是为什么呢？
这是因为自定义类型传值传参要调用拷贝构造，而内置类型就是直接拷贝。

通过下面的代码来侧面说明：

定义一个 func 函数，把类对象 d1 传值过去，运行的结果是调用func之前会先调用拷贝构造函数。

class Date
{
public:Date(int year, int month, int day){_year = year;_month = month;_day = day;}Date(Date& d)  
{//用来检测是否调用该拷贝构造函数cout << "Date(Date& d)" << endl;//d1是d的别名，隐含的this就是d2,相当于把d1的值拷贝给d2_year = d._year;_month = d._month;_day = d._day;
}void Print(){cout << _year << "-" << _month << "-" << _day << endl;}private:int _year;  // 年int _month; // 月int _day;   // 日
};void func(Date d)
{d.Print();
}int main()
{Date d1(2024, 4, 12);//调用func之前会先进入拷贝构造函数func(d1);return 0;
}

在这里插入图片描述

所以在 2.2 的代码中，如果进行传值调用，则在语法逻辑上会出现如下的无穷递归：

在这里插入图片描述

那如何让它不调用拷贝构造呢？

方式1：传地址（相当于变为内置类型）

class Date
{
public:Date(int year, int month, int day){_year = year;_month = month;_day = day;}Date(Date& d)  
{//用来检测是否调用该拷贝构造函数cout << "Date(Date& d)" << endl;//d1是d的别名，隐含的this就是d2,相当于把d1的值拷贝给d2_year = d._year;_month = d._month;_day = d._day;
}void Print(){cout << _year << "-" << _month << "-" << _day << endl;}private:int _year;  // 年int _month; // 月int _day;   // 日
};void func(Date* d)
{d->Print();
}int main()
{Date d1(2024, 4, 12);func(&d1);return 0;
}

在这里插入图片描述

方式2：传引用（一般都是传引用）。

class Date
{
public:Date(int year, int month, int day){_year = year;_month = month;_day = day;}Date(Date& d)  
{//用来检测是否调用该拷贝构造函数cout << "Date(Date& d)" << endl;//d1是d的别名，隐含的this就是d2,相当于把d1的值拷贝给d2_year = d._year;_month = d._month;_day = d._day;
}void Print(){cout << _year << "-" << _month << "-" << _day << endl;}private:int _year;  // 年int _month; // 月int _day;   // 日
};void func(Date& d)//d是d1的别名
{d.Print();
}int main()
{Date d1(2024, 4, 12);//调用func之前会先进入拷贝构造函数func(d1);return 0;
}

在这里插入图片描述

那有些人会想，拷贝构造函数能不能用指针呢？这能不能避免无穷递归？

答案：可以的。可以完成拷贝，但是此时这个函数就不是拷贝构造函数了，而是一个普通的构造函数。

class Date
{
public:Date(int year, int month, int day){_year = year;_month = month;_day = day;}//用指针就不会形成无穷递归，但此时它就是一个普通构造了，不是拷贝构造。//感觉怪怪的，所以一般用引用Date(Date* d){_year = d->_year;_month = d->_month;_day = d->_day;}void Print(){cout << _year << "-" << _month << "-" << _day << endl;}private:int _year;  // 年int _month; // 月int _day;   // 日
};int main()
{Date d2(2024, 4, 21);Date d3(&d2);d3.Print();return 0;
}

在这里插入图片描述

说明：

  • 虽然传地址可以避免无穷递归，并且可以完成拷贝，但是这样怪怪的。在C++中，一般是传引用。并且传引用可以减少拷贝，提高了效率。

在拷贝函数中还有一点就是：在传引用时一般要加 const 修饰。

在显式写拷贝构造函数时，参数写反了……(这就有点尴尬了)
在这里插入图片描述

运行结果是：拷贝一堆随机值。
在这里插入图片描述

加上 const 之后：

在这里插入图片描述

2.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
{
public:Date(int year, int month, int day){_year = year;_month = month;_day = day;}void Print(){cout << _year << "-" << _month << "-" << _day << endl;}private:// 基本类型(内置类型)int _year = 1970;int _month = 1;int _day = 1;// 自定义类型Time _t;
};int main()
{Date d1(2024, 4, 23);// 用已经存在的d1拷贝构造d2，此处会调用Date类的拷贝构造函数// 但Date类并没有显式定义拷贝构造函数，则编译器会给Date类生成一个默认的拷贝构造函数Date d2(d1);d2.Print();return 0;
}

在这里插入图片描述

2.4.编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了，还需要自己显式实现吗？当然像日期类这样的类是没必要的。那么下面的类呢？验证一下试试？

typedef int DataType;
class Stack
{
public:Stack(size_t capacity = 3){_array = (DataType*)malloc(sizeof(DataType) * capacity);if (NULL == _array){perror("malloc申请空间失败!!!");return;}_capacity = capacity;_size = 0;}void Push(DataType data){// CheckCapacity();_array[_size] = data;_size++;}//注意：如果没有显示写析构函数，编译器也会自动生成。//自动生成的析构对内置类型不做处理，自定义类型才会去调用它的析构~Stack(){if (_array){free(_array);_array = NULL;_capacity = 0;_size = 0;}}private:DataType* _array;int _capacity;int _size;
};int main()
{Stack st1;st1.Push(1);st1.Push(1);st1.Push(1);Stack st2 = st1;return 0;
}

运行结果：完成了拷贝，但程序崩溃！
![在这里插入图片描述](https://img-blog.csdnimg.cn/direct/445beda92a034ed38ddb19f0c614a25c.png

原因：

  • 当栈调用默认生成的拷贝构造函数时，这种函数进行的是浅拷贝(值拷贝) 本质是按字节进行拷贝的。这可能会导致当两个对象指向同一块空间时，如_array，当st1 和st2生命周期结束时，两个对象会分别析构，就相当于释放了两次。 常见的数据结构，栈，队列，链表，树等都有这个问题。

![在这里插入图片描述](https://img-blog.csdnimg.cn/direct/d9db431da4294841ad110e97d10588ec.png

解决方案：
深拷贝：当有指针指向资源时，会开辟建立一块和要拷贝的一模一样的空间，形状，再进行拷贝。


//实现栈的深拷贝
//Stack st2 = st1;  //st是st1的别名
Stack(const Stack& st)
{_array = (DataType*)malloc(sizeof(DataType) * st._capacity);if (NULL == _array){perror("malloc申请空间失败!!!");return;}//开辟好空间后再把值拷贝进去memcpy(_array, st._array, sizeof(DataType) * st._size);_size = st._size;_capacity = st._capacity;
}

在这里插入图片描述

把上面栈的深拷贝的代码插入 2.4 的类中，调试结果是：
在这里插入图片描述

3. 实践总结

1.如果没有管理资源，一般情况下不需要写拷贝构造，用编译器默认生成的拷贝构造就可以。如 Date类；

2.如果都是自定义类型成员，内置类型成员没有指向资源，用编译器默认生成的拷贝构造就可以。如 MyQueue ；
（小技巧：一般情况下，不需要写析构的，就不需要写拷贝构造。）

3.如果内部有指针或者有一些值指向资源，需要显式写析构函数释放，通常就需要显式写拷贝构造完成深拷贝。如各种数据类型栈，队列，链表，树等。

二，赋值运算符重载

2.1 运算符重载

C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其返回值类型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似。

函数名字为：关键字operator后面接需要重载的运算符符号。

函数原型：返回值类型 operator操作符(参数列表)

注意：

  • 不能通过连接其他符号来创建新的操作符：比如operator@ ;
  • 重载操作符必须有一个类类型参数 ；
  • 用于内置类型的运算符，其含义不能改变，例如：内置的整型+，不能改变其含义 (这条仅供参考)；
  • 作为类成员函数重载时，其形参看起来比操作数数目少1，因为成员函数的第一个参数为隐藏的this；
  • . * (调用成员函数的指针) ， :: (域作用限定符) ， sizeof (计算变量所占内存的大小) ，?: （三目运算符）， . (结构体变量引用符)，注意以上5个运算符不能重载。这个经常在笔试选择题中出现。

简单介绍一下 . * 运算符的用法：

class OB
{
public:void func(){cout << "void func()" << endl;}
};//重新定义成员函数指针类型
//注意：typedef void(*)()  PtrFunc; 是错误写法
typedef  void (OB::* PtrFunc)();int main()
{//成员函数要加&才能取到函数指针PtrFunc fp = &OB::func; //定义成员函数指针fp 指向函数funcOB tmp;//定义OB类对象tmp(tmp.*fp)(); //调用成员函数的指针return 0;
}

运算符重载的使用：

class Date
{
public:Date(int year , int month , int day ){_year = year;_month = month;_day = day;}//d3.operator== (d4)//d3传给了隐含的this指针，d是d4的别名bool operator== (const Date & d){return _year == d._year&& _month == d._month&& _day == d._day;}void Print(){cout << _year << "-" << _month << "-" << _day << endl;}private:int _year;  // 年int _month; // 月int _day;   // 日
};//但是如果全局重载（没有private时)和成员函数同时存在，编译不会报错，
//调用时会默认调成员函数，相当于全局重载没有任何意义了。
int main()
{Date d3(2024, 4, 12);Date d4(2024, 4, 15);//显式调用(一般不这样写)//cout << d3.operator== (d4) << endl;//转换调用 等价于d3.operator== (d4) 汇编代码//注意：如果是两个操作数，从左到右的参数是对应的，不能颠倒位置cout << (d3 == d4) << endl;return 0;
}

2.2 赋值运算符重载

2.2.1 赋值运算符重载格式

  • 参数类型：const 类名 &，传递引用可以减少拷贝，提高传参效率；
  • 返回值类型：类名 &，返回引用可以减少拷贝，提高返回的效率，有返回值目的是为了支持连续赋值；
  • 检测是否自己给自己赋值；
  • 返回*this ：要复合连续赋值的含义.
class Date
{
public:Date(int year = 2024, int month = 4, int day = 21){_year = year;_month = month;_day = day;}//拷贝构造Date(const Date& d){cout << "Date(const Date& d)" << endl;_year = d._year;_month = d._month;_day = d._day;}//d1 = d3//void operator= (const Date& d)//{//	_year = d._year;//	_month = d._month;//	_day = d._day;//}//有时候会带返回值:目的是为了连续拷贝//d1 = d2 = d3; //比如这里，d是d3的别名，从右往左，先d2 = d3,返回值是d2Date& operator= (const Date& d){//检测是否自己给自己赋值if(this != &d){_year = d._year;_month = d._month;_day = d._day;}//这里的d2的地址是this ，*this就是d2。//这里的*this才是对象本身，对象在main的作用域//里创建的，因此出main作用域才会析构销毁，//出了当前函数不会析构。所以可以用引用返回。return *this;}void Print(){cout << _year << "-" << _month << "-" << _day << endl;}private:int _year;  // 年int _month; // 月int _day;   // 日
};int main()
{Date d1(2024, 4, 12);//拷贝构造//一个已经存在的对象，拷贝给另一个要创建初始化的对象Date d2 = d1;Date d3(2024, 5, 1);//赋值拷贝/赋值重载//一个已经存在的对象，拷贝赋值给另一个已经存在的对象//d1 = d3;//连续赋值d1 = d2 = d3;return 0;
}

传值返回和传引用返回的区别：

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;}

在这里插入图片描述

总结一下：

  • 如果返回对象是一个局部对象或者临时对象，出了当前函数作用域就析构销毁了，就不能用引用返回。用引用返回是存在风险的，因为引用对象在当前函数栈帧已经被销毁了。所以虽然引用返回可以减少一次拷贝，但是出了函数作用域，返回对象还在，才能用引用返回。

在这里插入图片描述

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

2.2.3 和拷贝构造类似，用户没有显式实现时，编译器会生成一个默认赋值运算符重载，以值的方式逐字节拷贝。

注意：

  • 内置类型成员变量是直接赋值的，而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。

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

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

相关文章

SAP采购订单-条件类型-配置开发步骤

SAP采购订单-条件类型-配置开发步骤

由于采购业务变更&#xff0c;需要创建新的价格类型&#xff0c;并添加新的计算逻辑计算。首先在例程&#xff08;VOFM&#xff09;中创建计算逻辑&#xff0c;然后在系统配置&#xff08;SPRO&#xff09;中找到配置点&#xff0c;创建新的条件类型‘ZMM00’,创建定价过程‘ZM…
阅读更多...
SpringCloud系列（16）--将服务提供者Provider注册进Zookeeper

SpringCloud系列（16）--将服务提供者Provider注册进Zookeeper

前言&#xff1a;在上一章节中我们说明了一些关于Eureka自我保护模式&#xff0c;而且自上一章节起关于Eureka的知识已经讲的差不多了&#xff0c;不过因为Eureka已经停更了&#xff0c;为了安全考虑&#xff0c;我们要用还在更新维护的注册中心来取代Eureka&#xff0c;而本章…
阅读更多...
Flink面试（2）

Flink面试（2）

Flink面试&#xff08;1&#xff09;-CSDN博客 9. Flink 状态如何存储&#xff1f; 在 Flink 中&#xff0c;状态存储 被叫做 StateBackend&#xff0c;它具备两种能力&#xff1a; 在计算过程中提供访问 State 能力&#xff0c;开发者在编写业务逻辑中能够使用 StateBacken…
阅读更多...
网络数据包嗅探器工具

网络数据包嗅探器工具

组织的网络非常庞大&#xff0c;包含服务器、交换机、路由器和接入点等众多节点&#xff0c;由于许多资源和流量不断通过这些节点&#xff0c;因此很难确定大量流量是真实的还是安全攻击的迹象&#xff0c;了解和了解组织的网络流量至关重要&#xff0c;一个有用的资源是网络数…
阅读更多...
MySQL--mysql的安装（压缩包安装保姆级教程）

MySQL--mysql的安装（压缩包安装保姆级教程）

官网下载&#xff1a;www.mysql.com MySQL :: Download MySQL Community Server (Archived Versions) 1.MySQL下载流程&#xff1a; 第一步&#xff1a;点击download&#xff0c; 下滑找到MySQL community&#xff08;gpl&#xff09;Downloads>> 第二步&#xff1a;点…
阅读更多...
通俗易懂，十分钟让你了解并上手 Docker

通俗易懂，十分钟让你了解并上手 Docker

通俗易懂&#xff0c;十分钟让你了解并上手 Docker 一、Docker 能拿来解决什么问题二、Docker 的概念与模型1. 容器化技术2. 镜像的概念3. Docker与虚拟机 三. Docker的使用1. 环境安装2. 制作镜像3. 镜像管理&#xff08;1&#xff09; 图形界面&#xff08;2&#xff09; 命令…
阅读更多...
Coursera: An Introduction to American Law 学习笔记 Week 03: Property Law

Coursera: An Introduction to American Law 学习笔记 Week 03: Property Law

An Introduction to American Law 本文是 https://www.coursera.org/programs/career-training-for-nevadans-k7yhc/learn/american-law 这门课的学习笔记。 文章目录 An Introduction to American LawInstructors Week 03: Property LawKey Property Law TermsSupplemental Re…
阅读更多...
多功能气象传感器解析

多功能气象传感器解析

TH-WQX5多功能气象传感器在监测要素上越来越丰富。除了传统的温度、湿度、风速、风向等基本气象要素外&#xff0c;现代的多功能气象传感器还能够监测降雨量、大气压力、光照强度、紫外线强度、土壤温湿度等多种参数。这些数据的获取&#xff0c;使得农业生产者能够更全面地了解…
阅读更多...
4款值得推荐的AI辅助编程工具（支持C#语言）

4款值得推荐的AI辅助编程工具（支持C#语言）

前言 在这个AI迅速发展的阶段&#xff0c;涌现出了一大批好用的AI辅助编程工具。AI辅助编程工具能够提高开发效率、改善代码质量、降低bug率&#xff0c;是现代软件开发过程中的重要助手。今天大姚给大家分享4款AI辅助编程工具&#xff08;并且都支持C#语言&#xff09;&#x…
阅读更多...
ChromaDB教程

ChromaDB教程

使用 Chroma DB&#xff0c;管理文本文档、将文本嵌入以及进行相似度搜索。 随着大型语言模型 &#xff08;LLM&#xff09; 及其应用的兴起&#xff0c;我们看到向量数据库越来越受欢迎。这是因为使用 LLM 需要一种与传统机器学习模型不同的方法。 LLM 的核心支持技术之一是…
阅读更多...
Linux 文件/目录管理（头歌实训）

Linux 文件/目录管理（头歌实训）

目录 任务描述 相关知识 Linux 创建文件 Linux 删除文件 编程要求 测试说明 任务描述 相关知识 Linux 创建目录 Linux 删除目录 编程要求 测试说明 任务描述 相关知识 Linux 拷贝文件 Linux 重命名文件 编程要求 测试说明 任务描述 相关知识 Linux 拷贝目…
阅读更多...
初入数据库

初入数据库

SQL&#xff1a;操作关系型数据库的编程语言&#xff0c;定义了一套操作关系型数据库的统一标准。 DDL&#xff08;Data Definition Language&#xff09;数据定义语言 数据库 show databases;create database db01;use db01;select database(); 显示当前使用的数据库drop d…
阅读更多...
Springboot的Test单元测试操作

Springboot的Test单元测试操作

Springboot的Test单元测试操作 简单总结需要操作的步骤 1&#xff0c;导入依赖 2&#xff0c;创建目录&#xff08;目录和启动类的目录保持一致&#xff09; 3&#xff0c;添加注解 4&#xff0c;写方法测试 1&#xff0c;导入依赖 <dependency><groupId>org.spri…
阅读更多...
（八）小案例银行家应用程序-排序-数组排序

（八）小案例银行家应用程序-排序-数组排序

排序一直有很多的算法&#xff0c;今天我们仅仅来说JavaScript内置的排序方法 ● 字符串 const owners [Jonas, Zach, Adam, Martha]; console.log(owners.sort()); console.log(owners);但是注意&#xff0c;这个方法会改变原有的数组&#xff1b; ● 我们在试试数字 cons…
阅读更多...
使用excel文件生成sql脚本

使用excel文件生成sql脚本

目录 1、excel文件脚本变量2、公式示例 前言&#xff1a;在系统使用初期有一些基础数据需要从excel中导入到数据库中&#xff0c;直接导入的话可能有些字段用不上&#xff0c;所以就弄一个excel生成sql的导入脚本&#xff0c;这样可以将需要的数据填到指定的列即可生成sql。 1、…
阅读更多...
探索AI大模型在央国企的落地实践｜爱分析活动

探索AI大模型在央国企的落地实践｜爱分析活动

在这个人工智能技术迅猛发展的时代&#xff0c;AI大模型在央国企的落地实践正成为推动数字化转型和智能化升级的重要引擎。为了深入探讨AI大模型在央国企的应用场景、技术挑战与落地路径&#xff0c;爱分析邀请到一家头部互联网公司作为本次闭门研讨会的联合主办方&#xff0c;…
阅读更多...
美国网站服务器解决方案

美国网站服务器解决方案

在当今互联网时代&#xff0c;网站是企业宣传、营销和销售的最好方式&#xff0c;因此&#xff0c;选择一个适合自己企业的网站服务器解决方案很重要。美国作为全球网络基础设施最发达的国家之一&#xff0c;其网站服务器解决方案具有以下特点&#xff1a; 一、安全性高 作为全…
阅读更多...
IDEA使用中， 设置平展软件包。使用IDEA遇到的问题：src里为什么创建包为什么不在包里面

IDEA使用中， 设置平展软件包。使用IDEA遇到的问题：src里为什么创建包为什么不在包里面

使用IDEA遇到的问题&#xff1a;src里为什么创建包为什么不在包里面 如下图所示 &#xff1a; 点击齿轮设置 如何搞回来&#xff1f; 看下面的Flatten Packages&#xff08;平展软件包&#xff09;取消掉。
阅读更多...
【算法刷题 | 回溯思想 07】4.18（全排列、全排列 ||）

【算法刷题 | 回溯思想 07】4.18（全排列、全排列 ||）

文章目录 11.全排列11.1题目11.2解法&#xff1a;回溯11.2.1回溯思路&#xff08;1&#xff09;函数返回值以及参数&#xff08;2&#xff09;函数返回值&#xff08;3&#xff09;遍历过程 11.2.2代码实现 12.全排列 ||12.1题目12.2解法&#xff1a;回溯12.2.1回溯思路12.2.3代…
阅读更多...
【Redis 开发】缓存穿透解决

【Redis 开发】缓存穿透解决

缓存穿透 缓存穿透缓存空对象布隆过滤缓存空对象实现其他缓解方式 缓存穿透 缓存穿透是指客户端请求的数据在缓存中和数据库中都不存在&#xff0c;这样缓存就永远不会生效&#xff0c;这些请求都会打到数据库 常见的解决方案有两种&#xff1a; 缓存空对象&#xff0c;布隆过…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023