【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，一经查实，立即删除！

相关文章

什么是哈希表

什么是哈希表

为了解力扣第一题自学哈希表&#xff0c;做总结。 哈希函数的原理&#xff1a; 如果输入一个参数&#xff0c;那么哈希函数就会输出一个数字&#xff0c;并且不同的输入会有不同的输出&#xff0c;相同的输入会有相同的输出。例如&#xff1a; 苹果————89 苹果————…
阅读更多...
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…
阅读更多...
Python IO流

Python IO流

1.什么是IO&#xff1f; IO&#xff08;输入/输出&#xff09;是计算机程序与外部世界进行数据交换的一种方式。在Python中&#xff0c;IO操作通常涉及文件、网络、标准输入和输出等。Python的IO操作可以分为两种类型&#xff1a;文本IO和二进制IO。 文本IO&#xff1a;用于读…
阅读更多...
网络数据包嗅探器工具

网络数据包嗅探器工具

组织的网络非常庞大&#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; 命令…
阅读更多...
MySQL 8.0性能优化实战培训

MySQL 8.0性能优化实战培训

课程介绍 【云贝独家】MySQL 性能优化进阶课程&#xff0c;引领你的职业巅峰&#xff01; 同学们&#xff0c;你们是否被各种工作中的性能问题困扰&#xff1f;是否渴望提升自己在MySQL数据库方面的技术能力&#xff0c;掌握最新最前沿的技术知识呢&#xff1f; 我们讲师为你带…
阅读更多...
深度学习中的黑科技：自监督学习（Self-Supervised Learning）

深度学习中的黑科技：自监督学习（Self-Supervised Learning）

在人工智能领域&#xff0c;深度学习已成为推动技术革新的核心力量。然而&#xff0c;深度学习的一个重要瓶颈是对大量标记数据的依赖性。在这个背景下&#xff0c;自监督学习(Self-Supervised Learning, SSL)作为一种新兴的学习范式&#xff0c;越来越受到研究者的关注。自监督…
阅读更多...
Java23种设计模式-创建型模式之工厂方法模式

Java23种设计模式-创建型模式之工厂方法模式

工厂方法模式&#xff08;Factory Method Pattern&#xff09; 一种创建型设计模式&#xff0c;它定义了一个用于创建对象的接口&#xff0c;让子类决定将哪一个类实例化&#xff0c;从而将产品的实例化推迟到子类中。这种模式的主要角色包括&#xff1a; 角色1&#xff1a;抽…
阅读更多...
内核技术解析

内核技术解析

GitHub - floesen/KExecDD: Admin to Kernel code execution using the KSecDD driver https://security.stackexchange.com/questions/270383/how-does-the-av-inject-their-own-dll-in-each-new-process
阅读更多...
spdlog 日志库部分源码说明——让你可以自定义的指定自动切换日志时间

spdlog 日志库部分源码说明——让你可以自定义的指定自动切换日志时间

前言 针对 网络上spdlog日志库目前存在的使用方式固定&#xff0c;不能发挥这个库本身应有价值的情况&#xff0c;这里对一些支持场景进行说明&#xff0c;以供初学者省去阅读源码的时间&#xff0c;直接上手使用 涉及源码 在说明过程中使用spdlog库自身提供的使用说明示例&…
阅读更多...
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…
阅读更多...
主从模式与AI大模型的结合

主从模式与AI大模型的结合

主从模式是一种分布式计算的模式&#xff0c;其中一个节点作为主节点负责接收和分发任务&#xff0c;其他节点作为从节点负责执行任务并将结果返回给主节点。AI大模型是指参数量非常庞大的人工智能模型&#xff0c;如深度学习的神经网络模型。 将主从模式与AI大模型结合可以实…
阅读更多...
Revit二次开发环境Addin和Lookup配置快速上手教程

Revit二次开发环境Addin和Lookup配置快速上手教程

一、背景 经常有小伙伴被开发环境的配置难倒&#xff0c;总不能让这些兄弟倒在第一步吧&#xff0c;骑士特意做了一个傻瓜式的教学&#xff0c;希望对初学者有所帮助&#xff01; 二、教程 Revit开发利器Addin和RevitLookup快速安装教学 https://www.bilibili.com/video/BV1…
阅读更多...
vue实现弹窗的动态导入（:is=“dialogName“）

vue实现弹窗的动态导入（:is=“dialogName“）

组件的动态挂载 弹窗aaa.vue <template><el-dialogwidth"700px "v-dialog-outdestroy-on-closev-if"dialogVisible":title"title":visible"dialogVisible":before-close"hideDialog":close-on-click-modal"…
阅读更多...
多功能气象传感器解析

多功能气象传感器解析

TH-WQX5多功能气象传感器在监测要素上越来越丰富。除了传统的温度、湿度、风速、风向等基本气象要素外&#xff0c;现代的多功能气象传感器还能够监测降雨量、大气压力、光照强度、紫外线强度、土壤温湿度等多种参数。这些数据的获取&#xff0c;使得农业生产者能够更全面地了解…
阅读更多...
【计算机系统】

【计算机系统】

常用的寄存器%rsp、%rip、%rdi、%rsi、%rax有什么特殊作用 %rsp&#xff1a;保存栈顶地址%rip&#xff1a;保存下一条将要被执行的指令的内存地址%rdi&#xff1a;函数第一个参数传参%rsi&#xff1a;函数第二个参数传参%rax&#xff1a;保存函数返回值 程序GDB、GCC、OBJDUMP、…
阅读更多...
redisson有几种分布式算法

redisson有几种分布式算法

Redisson 提供了多种分布式锁算法&#xff0c;以适应不同的应用场景和需求。其中一些常见的分布式锁算法包括&#xff1a; 可重入锁&#xff08;Reentrant Lock&#xff09;&#xff1a; 可重入锁允许同一个线程多次获取锁&#xff0c;每次获取后计数器加 1&#xff0c;释放锁…
阅读更多...
最新文章

Copyright @ 2022~2023