【C++ | 移动赋值运算符】一文了解C++11的 移动赋值运算符

最新推荐文章于 2024-09-07 23:34:06 发布
最新推荐文章于 2024-09-07 23:34:06 发布
阅读量1.4k 收藏 20
点赞数 27
分类专栏： C++知识体系 文章标签： c++ 移动赋值运算符 移动赋值运算符函数 移动语义 右值引用 默认移动赋值运算符
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/wkd_007/article/details/139678777
版权

😁博客主页😁：🚀https://blog.csdn.net/wkd_007🚀
🤑博客内容🤑：🍭嵌入式开发、Linux、C语言、C++、数据结构、音视频🍭
⏰发布时间⏰：2024-06-14 12:55:32

本文未经允许，不得转发！！！

目录


在这里插入图片描述

🎄一、概述

上篇文章介绍了C++11的 移动构造函数，在清楚了 移动构造函数 之后，应该知道了移动语义、右值引用了，接下来只要了解移动赋值运算符的调用时机，什么情况要使用，怎样声明、定义移动赋值运算符即可。本文主要介绍这些知识，但为了文章的完整性，还是需要将移动语义、右值引用介绍一次，了解的可以直接从第二小节开始看。

移动构造函数、移动赋值函数都是C++11增加的，了解这两个函数之前需要先弄清楚 移动语义 和 右值引用。

✨1.1 移动语义

移动语义是C++11才实现的，它的意义是对于一些即将被销毁的对象，可以不复制它，而是窃取它的资源，以此来减少一次复制，达到大幅度提升性能的效果。

在C++11标准之前，没有直接的方法移动对象，即使某些情况不需要拷贝对象，也不得不拷贝。例如，函数返回非引用的返回值时，会先构造一个临时对象作为返回值，函数调用时将该临时对象赋值给接收对象，调用结束后会销毁该临时对象。这里的临时对象是肯定会被销毁的，如果能够将临时对象的资源直接移交给接收对象，那么就可以减少一次拷贝。旧标准则只能拷贝，然后再销毁临时对象的资源。
在这里插入图片描述
C++11支持将即将被销毁的对象移动到接收对象，而不是复制。如下图，临时对象的资源被移动到接收对象，减少一次复制。
在这里插入图片描述
下面代码演示了拷贝赋值运算符函数的过程，等学习了下面的移动赋值运算符就可以编写移动的代码了。

// g++ 15_Copy_Date.cpp -std=c++11
#include <iostream>
#include <stdio.h>
#include <string.h>

using namespace std;

#define MAX_NEW_MEM		(64*1000*1000)

class CDate
{
public:
	CDate(int year, int mon, int day);	// 构造函数声明
	CDate(const CDate& date);			// 拷贝构造函数声明
	~CDate();							// 析构函数声明
	
	CDate operator+(int day);			// 加号运算符声明
	CDate& operator=(const CDate &date);// 拷贝赋值运算符声明

	void show()
	{
		cout << "Date: " << m_year << "." << m_mon << "." << m_day << ", this=" << this << endl;
		//cout << "Date: " << str << endl;
	}

private:
	int m_year;
	int m_mon;
	int m_day;
	char *str;
};

// 构造函数定义
CDate::CDate(int year, int mon, int day)
{
	m_year = year;
	m_mon = mon;
	m_day = day;
	str = new char[MAX_NEW_MEM];
	sprintf(str, "%4d.%02d.%02d", year,mon,day);
	cout << "Calling Constructor" << ", this=" << this <<endl;
}

// 拷贝构造函数定义
CDate::CDate(const CDate& date)
{
	m_year = date.m_year;
	m_mon = date.m_mon;
	m_day = date.m_day;
	str = new char[MAX_NEW_MEM];
	memcpy(str, date.str, MAX_NEW_MEM);
	cout << "Calling Copy Constructor" << ", this=" << this << ", Copy Data" <<endl;
}

// 析构函数定义
CDate::~CDate()
{
	cout << "Calling Destructor" << ", this=" << this <<endl;
	delete [] str;
}

// 加号运算符函数定义
CDate CDate::operator+(int day)
{
	CDate temp = *this;
	temp.m_day += day;
	cout << "Calling operator+" << ", this=" << &temp << endl;
	return temp;
}

// 赋值运算符函数定义
CDate& CDate::operator=(const CDate& date)
{
	if(this == &date)	// 赋值给自身
		return *this;
	delete [] str;		// 释放旧的数据
	m_year = date.m_year;
	m_mon = date.m_mon;
	m_day = date.m_day;
	str = new char[64];
	sprintf(str, "%4d.%02d.%02d", m_year,m_mon,m_day);
	cout << "Calling operator=" << ", this=" << this << ", Copy Data" <<endl;
	return *this;
}

int main()
{
	CDate date(2024,06,14);
	CDate date1(2024,06,14);
	cout << endl;
	
	date1 = std::move(date+1);// std::move 强制将 date+1 的求值结果转为右值
	date1.show();
	
	cout << endl;
	
	return 0;
}

运行结果如下：
1、std::move 强制将 date+1 的求值结果转为右值，避免编译器优化；
2、temp 对象赋值给date1之后，就销毁了，如果可以直接将temp对象的资源给到date1，就可以减少一次复制。
在这里插入图片描述

✨1.2 右值引用

前面介绍了C++11的移动语义，那这个移动语义是怎样实现的呢？

C++11标准引入的一种新的引用类型——右值引用，来实现移动操作。右值引用只能关联到右值，而右值要么是字面值，要么是求值过程中产生的临时对象。右值引用的定义使用了&&，可以参考下面代码：

int &&rri = 13; // 定义了右值引用 rri

上个小节的临时对象只会在程序中很短暂的停留，使用完之后会被立即销毁。C++11标准通过 右值引用 来完全地接管这些临时对象，然后将临时对象的资源 移动 到接收对象，并且要保证这个临时对象可以被正常销毁。这就是C++11标准实现移动语义的原理。

关于左值、右值、右值引用还有疑惑的，可以参考这篇文章：【C++ | 左值、右值】一文了解C++的左值、右值、左值引用(&)、右值引用(&&)

在这里插入图片描述

🎄二、移动赋值运算符(move assignment operator)

移动赋值运算符(move assignment operator)，是C++11标准增加的在给对象赋值时移动旧对象资源的成员运算符函数。

类的移动赋值运算符原型通常是这样的：类类型& operator=(类类型 &&);。以CDate类为例，其移动赋值运算符函数声明如下：

CDate& operator=(CDate &&date);		// 移动赋值运算符声明

移动赋值运算符的几个特点：
1、函数名为operator=，返回值为该类类型的引用，因为需要返回当前对象，以支持连续赋值a=b=c;
2、第一个参数必须是一个自身类类型的右值引用(&&)，且其他参数都有默认值。
3、第一个参数不能声明为 const 右值引用的原因是该引用在函数内会被修改(移动资源)。
4、移动赋值运算符执行后，需要保证右值引用的对象能够被正常销毁。

下面看看怎样声明定义自己的移动赋值运算符：

CDate(CDate &&date) noexcept;	// 声明
CDate& CDate::operator=(CDate &&date) noexcept
{
	if(this == &date)	// 赋值给自身
		return *this;
	delete [] str;		// 释放旧的数据
	m_year = date.m_year;
	m_mon = date.m_mon;
	m_day = date.m_day;
	str = date.str;
	date.str = NULL;
	sprintf(str, "%4d.%02d.%02d", m_year,m_mon,m_day);
	cout << "Move operator=" << ", this=" << this <<endl;
	return *this;
}

移动赋值运算符解析：

  • 1、处理普通数据成员，直接使用旧对象的进行赋值；
  • 2、处理指向堆内存的指针，直接堆内存地址给新对象的指针，旧对象指针指向NULL。
    语句str = date.str;将旧对象的str直接给到正在创建的对象，而不重新new、复制。
    语句date.str = NULL;将旧对象的str赋值为NULL，保证其可以被正常销毁，delete NULL;、delete[] NULL不会造成任何问题。
  • 3、由于移动操作“ 窃取” 资源， 它通常不分配任何资源。 因此， 移动操作通常不会抛出任何异常。不抛出异常的函数应该使用 noexcept 通知标准库，避免编译器为了处理异常而作一些额外的工作。

在这里插入图片描述

🎄三、使用移动赋值运算符

1、使用移动赋值运算符就需要弄清楚移动赋值运算符是什么时候会被调用的？
如果使用一个右值(即将被销毁的对象)给同类型的对象赋值时，就会调用该类的移动赋值运算符函数。

2、怎样的类需要定义移动赋值运算符函数？
如果该类的成员存在指针指向new分配的堆内存，则可以根据需要定义移动赋值运算符。

3、什么时候编译器会提供默认移动赋值运算符？
如果该类没有定义拷贝赋值运算符函数，且没有定义移动赋值运算符函数，则编译器会提供一个 默认的移动赋值运算符函数。
如果该类定义了拷贝赋值运算符，则编译器不会提供 默认的移动赋值运算符，需要用到 移动赋值运算符 的地方都会调用拷贝赋值运算符。
如果该类定义了移动赋值运算符，则编译器不会提供 默认的拷贝赋值运算符，需要用到 拷贝赋值运算符 的时候，编译器会报错。

4、默认的移动赋值运算符做了什么工作？
默认的移动赋值运算符 所做的工作与默认拷贝赋值运算符的工作一样，执行逐成员初始化并复制内置类型。如果成员是类对象，将使用相应类的构造函数和赋值运算符，就像参数为右值一样。

下面是第一小节的代码，加了移动赋值运算符后的例子：

// g++ 15_Move_operator=.cpp -std=c++11
#include <iostream>
#include <stdio.h>
#include <string.h>

using namespace std;

#define MAX_NEW_MEM		(64*1000*1000)

class CDate
{
public:
	CDate(int year, int mon, int day);	// 构造函数声明
	CDate(const CDate& date);			// 拷贝构造函数声明
	~CDate();							// 析构函数声明
	
	CDate operator+(int day);			// 加号运算符声明
	CDate& operator=(const CDate &date);// 拷贝赋值运算符声明
	CDate& operator=(CDate &&date) noexcept;// 移动赋值运算符声明

	void show()
	{
		cout << "Date: " << m_year << "." << m_mon << "." << m_day << ", this=" << this << endl;
		//cout << "Date: " << str << endl;
	}

private:
	int m_year;
	int m_mon;
	int m_day;
	char *str;
};

// 构造函数定义
CDate::CDate(int year, int mon, int day)
{
	m_year = year;
	m_mon = mon;
	m_day = day;
	str = new char[MAX_NEW_MEM];
	sprintf(str, "%4d.%02d.%02d", year,mon,day);
	cout << "Calling Constructor" << ", this=" << this <<endl;
}

// 拷贝构造函数定义
CDate::CDate(const CDate& date)
{
	m_year = date.m_year;
	m_mon = date.m_mon;
	m_day = date.m_day;
	str = new char[MAX_NEW_MEM];
	memcpy(str, date.str, MAX_NEW_MEM);
	cout << "Calling Copy Constructor" << ", this=" << this << ", Copy Data" <<endl;
}

// 析构函数定义
CDate::~CDate()
{
	cout << "Calling Destructor" << ", this=" << this <<endl;
	delete [] str;
}

// 加号运算符函数定义
CDate CDate::operator+(int day)
{
	CDate temp = *this;
	temp.m_day += day;
	cout << "Calling operator+" << ", this=" << &temp << endl;
	return temp;
}

// 赋值运算符函数定义
CDate& CDate::operator=(const CDate& date)
{
	if(this == &date)	// 赋值给自身
		return *this;
	delete [] str;		// 释放旧的数据
	m_year = date.m_year;
	m_mon = date.m_mon;
	m_day = date.m_day;
	str = new char[64];
	sprintf(str, "%4d.%02d.%02d", m_year,m_mon,m_day);
	cout << "Calling operator=" << ", this=" << this << ", Copy Data" <<endl;
	return *this;
}

// 移动赋值运算符定义
CDate& CDate::operator=(CDate &&date) noexcept
{
	if(this == &date)	// 赋值给自身
		return *this;
	delete [] str;		// 释放旧的数据
	m_year = date.m_year;
	m_mon = date.m_mon;
	m_day = date.m_day;
	str = date.str;
	date.str = NULL;
	sprintf(str, "%4d.%02d.%02d", m_year,m_mon,m_day);
	cout << "Move operator=" << ", this=" << this <<endl;
	return *this;
}	

int main()
{
	CDate date(2024,06,14);
	CDate date1(2024,06,14);
	cout << endl;
	
	date1 = std::move(date+1);// std::move 强制将 date+1 的求值结果转为右值
	date1.show();
	
	cout << endl;
	
	return 0;
}

运行结果：可以看到相比于第一小节的代码，这里调用了移动赋值运算符，减少了一次拷贝。
在这里插入图片描述

在这里插入图片描述

🎄四、总结

👉本文介绍C++11的移动赋值运算符，讲解了为什么需要移动赋值运算符，怎样声明、定义移动赋值运算符，怎样使用移动赋值运算符。

移动赋值运算符的目的就是为了减少一次拷贝，提升性能。C++11主要通过右值引用来实现移动语义，在使用右值(即将销毁的对象)去给同类型对象赋值时，调用移动赋值运算符而不调用拷贝赋值运算符，以此减少一次拷贝。

在这里插入图片描述
如果文章有帮助的话，点赞👍、收藏⭐，支持一波，谢谢 😁😁😁

wkd_007
关注
专栏目录
C++(11)：移动构造函数
风静如云的博客
04-13 2667
对象a1，a2，a3会各自分配自己的m_i指向各自的内存，对于像a1和a2这样的临时对象，不仅仅需要构造他们，还需要为他们分配和释放内存，而内存的意义就是为了让后续的对象拷贝构造，这对于分配了大量内存的对象来说，是非常低效的。对象a2是调用拷贝构造函数，复制a1构造的，a2与a1的m_i拥有各自的内存地址，地址里的数值都是1。对象a3是调用拷贝构造函数，复制a2构造的，a3与a2的m_i拥有各自的内存地址，地址里的数值都是1。，即：当一个对象的构造是基于另一个临时匿名对象时，才能触发。
换个花样玩C++（13）一文深度全面剖析类构造，析构，赋值运算和移动构造
网易搬砖选手
05-18 725
为什么我要把C++类的构造，析构函数，赋值运算符重载函数，移动构造函数还要拿出来嚼一嚼，因为最近面试的一些3-7年经验的程序员，我每次都会问一些特别基础的问题，但是我总是得不到想要的答案，我就在思考，是不是大家都觉得有些知识点太简单了，流于高大上的东西，而我个人认为，”五在浮沙筑高台“，基础一定要打扎实，否则你的架构，你的逻辑都将是千疮百孔，最终受害的是自己，我认为一个技术要有不断学习的能力和兴趣，不排斥任何技术，我最开始在IBM（platform）经历C语言，到淘米网，网易经历C++，到后来我们使用C+
【C++ | 移动构造函数】C++11的 移动构造函数 详解及例子代码
wkd_007的博客
06-12 3321
👉本文介绍C++11的移动构造函数，讲解了为什么需要移动构造函数，怎样声明、定义移动构造函数，怎样使用移动构造函数。 移动构造函数的目的就是为了减少一次拷贝，提升性能。C++11主要通过右值引用来实现移动语义，在使用右值(即将销毁的对象)去创建对象时，调用移动构造函数而不调用拷贝构造函数，以此减少一次拷贝。
《C++中的移动构造函数与移动赋值运算符：解锁高效编程的最佳实践》
最新发布
xy520521的博客
09-07 599
在这个例子中，移动构造函数接受一个右值引用作为参数，并将源对象的 data 指针转移到目标对象，同时将源对象的 data 指针设置为 nullptr ，以确保源对象在析构时不会释放已经被转移的资源。在这个例子中，移动赋值运算符首先检查是否是自赋值，如果不是，则释放目标对象的现有资源，然后将源对象的 data 指针转移到目标对象，并将源对象的 data 指针设置为 nullptr。当一个对象被移动构造时，源对象的资源被转移到目标对象，源对象通常被置于一个可析构的状态。
移动构造-C++11
沐埜专栏
09-28 2万+
移动构造： 移动构造是C++11标准中提供的一种新的构造方法。 在现实中有很多这样的例子，我们将钱从一个账号转移到另一个账号，将手机SIM卡转移到另一台手机，将文件从一个位置剪切到另一个位置……     移动构造可以减少不必要的复制，带来性能上的提升。 有些复制构造是必要的，我们确实需要另外一个副本；而有些复制构造是不必要的，我们可能只是希望这个对象换个地方，移动一下而已。 在C++11
【C++11保姆级教程】移动构造函数（move constructor）和移动赋值操作符（move assignment operator）
m0_62599305的博客
08-19 1万+
在C++11标准中引入了移动语义的概念，通过移动构造函数和移动赋值操作符，我们可以更高效地管理对象的资源。本文将以通俗易懂的方式详细解释移动构造函数和移动赋值操作符的概念，并通过生动的比喻帮助读者更好地理解这两个概念。当我们需要在C++中处理大量数据或动态分配的对象时，移动构造函数和移动赋值操作符成为了重要的工具。它们是C++11引入的特性，旨在提高程序的性能和效率。
C++移动构造函数
sinat_31608641的博客
05-14 1820
移动构造函数是参数类型为右值引用的拷贝构造函数类名 ( 类名&&(1)(C++11 起)class_name ( 类名&&(2)(C++11 起)class_name ( 类名&&) = delete;默认情况下，左值初始化同类对象只能通过拷贝构造函数完成，如果想调用移动构造函数，则必须使用右值进行初始化。C++11 标准中为了满足用户使用左值初始化同类对象时，也通过移动构造函数完成的需求，新引入了 std::move() 函数，它可以将左值强制转换成对应的右值，由此便可以使用移动构造函数。
移动语义-右值引用一文弄懂带你一探究竟
AndrewYZWang的博客
07-18 418
C++ 右值引用 block://6984617523950616580?from=docs_block&id=ce31003ceb5efb1f7a7c0a5fbe6cb60191627a38 右值的引入 作为在C++11中引入的一个类型，容易引起误解的是，右值引用并没有说明引入是为了什么，是为了解决什么问题。 右值引用可以解决以下问题 实现移动语义 完美转发 左值和右值来自原先的C语言，左值可以出现在赋值左边或者右边，而右值只能出现在赋值的右边 int a = 42; int b = 4
C++编程法则365天一天一条（21） 左值右值一文说清
二进制君
03-21 689
左值和右值相信困扰了绝大多数的C++开发者，而且网上关于左右值的解释大多存在不严谨的地方。今天，以C++权威标准https://en.cppreference.com/w/cpp/language/value_category来学习左值和右值。左值最开始的含义是可以出现在赋值表达式左边，然而如今这一说法已经不准确。首先C++ 新标准重新做了分类，引入了glvalue、prvalue、xvalue几个新概念。在C++11中所有的值必属于左值、右值两者之一，右值又可以细分为纯右值、将亡值。
C++知识点总结。。。持续更新
qq_37464701的博客
03-21 1367
3）复制构造函数：用于创建一个新对象，该对象是以同一类的现有对象作为参数进行初始化的，其形式如下：ClassName(const ClassName&),赋值运算符重载：ClassName& ClassName::operator = (const ClassName&)1）当成员函数的定义直接放在类的定义中时，它们默认是内联函数。但是，如果成员函数在类的定义外部进行定义时，需要使用类的作用域解析运算符 (:😃 来表明该函数属于哪个类，此时它们不会被自动视为内联函数。
C++笔记之多线程编程4
deep_love1314的博客
01-01 366
C++11之后，有了标准的线程库。c++11发布之前，c++并没有对多线程编程的专门支持，c++11通过标准库引入对多线程的支持，极大地方便了程序员的工作。 需要说明的是：c++11标准库内部包裹了pthread库，因此，编译程序的时候需要加上-lpthread连接选项。 #include <thread> #include <condition_variable> #include <mutex> 1、std::thread a. C++11中创建线程非常简单
C++的移动构造函数
笔记
07-24 720
使用移动构造函数可以避免不必要的数据拷贝，特别是当对象拥有大量资源时，移动语义可以显著提高代码的性能和效率。移动构造函数通常与移动赋值运算符一起使用，以实现资源的有效管理和转移。在C++11之前，我们无法直接访问临时对象（右值），因此无法定义移动构造函数。但是通过引入右值引用，我们可以获取到临时对象，并将其资源移动到目标对象中。C++的移动构造函数是一种特殊的构造函数，用于将资源从一个对象转移到另一个对象而不进行深拷贝。将源对象的资源指针或资源句柄复制给目标对象，避免深拷贝。，并将源对象的资源指针置为。
右值引用的一些测试
Osenberg WS
12-10 419
编译: g++ --std=c++11 -g -fno-elide-constructors -O0 test.cc -o test -fno-elide-constructors 用来关闭编译器优化 #include <iostream> class A { public: A(const int &value) { _value = value; std::cout << "Contructor value: " << _val.
C++11：移动构造函数
crossoverpptx的博客
01-03 287
在 C++ 98/03 标准中，如果想用其它对象初始化一个同类的新对象，只能借助类中的拷贝构造函数。拷贝构造函数的实现原理很简单，就是为新对象复制一份和其它对象一模一样的数据。需要注意的是，当类中拥有指针类型的成员变量时，拷贝构造函数中需要以深拷贝（而非浅拷贝）的方式复制该指针成员。
C++之移动构造函数
bin_bujiangjiu的博客
11-28 2642
C++ 移动构造函数
C++ 移动构造函数
good_jiojio的博客
11-30 822
移动构造函数
C++11--移动构造函数
weiqing00的博客
07-12 1万+
class A_2 { public: A_2() :m_ptr(new int(0)) { } ~A_2() { delete m_ptr; } private: int* m_ptr; }; A_2 Get(bool flag) { A_2 a; A_2 b; if (flag) return a; else return b; } int righ...
C++ 移动构造函数详解
热门推荐
a只如初见的博客
08-12 2万+
1、移动构造是C++11标准中提供的一种新的构造方法2、移动构造接管源对象，既不会产生额外的拷贝开销，也不会给新对象分配内存空间。提高程序的执行效率，节省内存消耗。3、移动构造函数的第一个参数必须是自身类型的右值引用...
C++中的移动构造函数
田野麦子
04-05 1498
核心： 移动构造的主要方式是在构造函数中直接复制原临时对象的指针，即新的对象与原对象指向同一块内存单元，实际上是浅层复制。然后将原临时对象的指针置为空指针，此时就避免了多个指针指向同一块内存空间带来的风险。 /*---------------------- 功能：移动构造函数 运行结果： Calling constructor... 0 Calling destructor... Author: ...
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

wkd_007

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值