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

于 2024-06-14 17:19:32 发布
阅读量1k 收藏 16
点赞数 25
分类专栏： 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
关注
  • 25
    点赞
  • 踩
  • 16
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 1
    评论
专栏目录
【C++杂货铺】一文总结C++11新特性：右值引用 | 移动语义 | 完美转发
春人.的博客
10-30 7242
本篇文章介绍了C++11中新引入的右值引用，对左值、左值引用、右值、右值引用进行了详细的区分。介绍了左值引用的缺陷，以及为什么要引入右值引用，分别列举了左值引用和右值引用各自的使用场景，最后介绍了什么是完美转发，以及完美转发的实际应用场景。
详解C++中对构造函数和赋值运算符的复制和移动操作
09-02
主要介绍了C++中对构造函数和赋值运算符的复制和移动,是C++入门学习中的基础知识,需要的朋友可以参考下
c++中的左值引用、右值引用和移动构造函数、移动赋值操作符
cdknight_happy的专栏
02-15 763
3.1 引用 引用表示一个已存在对象的别名； 一般变量初始化时，是将一个值复制到变量所在的内存中。而引用的初始化是将其绑定到一个对象，而不是将对象的初始值复制给对象，一旦初始化完成，引用就和对象一直绑定在一起。因此，引用不允许重新绑定，引用定义时必须进行初始化。 定义一个引用后，对其进行的操作都是在其绑定的对象上进行操作的。 3.1.1 左值 vs 右值 左值(lvalue):指向指定内存的一个东西，生命周期是长久的，可以看作是一个容器； 右值(rvalue):不指向任何地方的东西，生命周期是短暂的，可以看
【C++11保姆级教程】移动构造函数（move constructor）和移动赋值操作符（move assignment operator）
m0_62599305的博客
08-19 1万+
在C++11标准中引入了移动语义的概念，通过移动构造函数和移动赋值操作符，我们可以更高效地管理对象的资源。本文将以通俗易懂的方式详细解释移动构造函数和移动赋值操作符的概念，并通过生动的比喻帮助读者更好地理解这两个概念。当我们需要在C++中处理大量数据或动态分配的对象时，移动构造函数和移动赋值操作符成为了重要的工具。它们是C++11引入的特性，旨在提高程序的性能和效率。
移动构造函数/移动赋值运算符/合成的移动操作
方池安夏的博客
02-22 383
目录移动构造函数演示移动赋值运算符 移动构造函数演示 #include <iostream> using namespace std; class B { public: B() :m_bm(100) { cout << "执行了类B的构造函数" << endl; } B(const B& tmp) : m_bm(tmp.m_bm) { cout << "执行了一次类B的拷贝构造函数" << endl; } virtual ~B
C/C++编程：移动赋值运算符
OceanStar的博客
03-22 4838
类 T 的移动赋值运算符是名为 operator=的非模板非静态成员函数，它接受恰好一个 T&&、const T&&、volatile T&& 或 const volatile T&&类型的形参。 语法 语法 声音 起源 类名 & 类名 :: operator= ( 类名 && ) (1) (C++11 起) 类名 & 类名 :: operator= ( 类名 && ) = d
移动构造函数和移动赋值运算符
bupt8846的专栏
02-15 6837
为了直观地观察移动构造函数和移动赋值运算符的运行方式，编写一个类Pointer，该类的对象会在堆动态创建一个数组，因此移动构造函数和移动赋值运算符是很有必要的，因为可以避免深度复制，提高效率。
详解C++ 拷贝构造函数和赋值运算符
09-01
在C++编程中，拷贝构造函数和赋值运算符是两种重要的成员函数，它们用于处理对象间的值复制。这篇文章将深入探讨这两种机制的区别、调用条件以及深拷贝和浅拷贝的概念。 拷贝构造函数是一种特殊的构造函数，它接受...
简单了解C++语言中的二元运算符和赋值运算符
09-02
本文将深入探讨C++中的二元运算符和赋值运算符。 二元运算符是那些需要两个操作数（也称为操作对象）才能完成操作的运算符。在C++中，这些运算符广泛用于数学和逻辑计算。例如，`+`用于加法，`-`用于减法，`*`用于...
C++ 类的赋值运算符''=''重载的方法实现
08-25
C++类的赋值运算符"="重载的方法实现 在C++中，赋值运算符"="的重载是非常重要的，特别是当类中存在堆内存时。如果不正确地重载赋值运算符，可能会导致程序崩溃或出现未定义的行为。下面，我们将详细介绍C++类的...
【C++ | 移动构造函数】C++11的 移动构造函数 详解及例子代码
最新发布
wkd_007的博客
06-12 750
👉本文介绍C++11的移动构造函数，讲解了为什么需要移动构造函数，怎样声明、定义移动构造函数，怎样使用移动构造函数。 移动构造函数的目的就是为了减少一次拷贝，提升性能。C++11主要通过右值引用来实现移动语义，在使用右值(即将销毁的对象)去创建对象时，调用移动构造函数而不调用拷贝构造函数，以此减少一次拷贝。
C++基础学习-25对象移动、移动构造函数、移动赋值运算符
weixin_43548583的博客
06-01 638
对象移动、移动构造函数、移动赋值运算符
C++移动语义-移动构造函数和移动赋值运算符重载
hubing_hust的专栏
01-11 5998
本文介绍了C++移动语义-移动构造函数和移动赋值运算符重载
移动构造-C++11
热门推荐
沐埜专栏
09-28 2万+
移动构造： 移动构造是C++11标准中提供的一种新的构造方法。 在现实中有很多这样的例子，我们将钱从一个账号转移到另一个账号，将手机SIM卡转移到另一台手机，将文件从一个位置剪切到另一个位置……     移动构造可以减少不必要的复制，带来性能上的提升。 有些复制构造是必要的，我们确实需要另外一个副本；而有些复制构造是不必要的，我们可能只是希望这个对象换个地方，移动一下而已。 在C++11
右值引用的一些测试
Osenberg WS
12-10 365
编译: 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移动构造函数详解
TABE_的博客
12-29 7815
这里写目录标题拷贝构造函数修改后的拷贝构造函数移动构造函数移动构造函数的优点 当类中同时包含拷贝构造函数和移动构造函数时，如果使用临时对象初始化当前类的对象，编译器会优先调用移动构造函数来完成此操作。只有当类中没有合适的移动构造函数时，编译器才会退而求其次，调用拷贝构造函数。 拷贝构造函数 C++在三种情况下会调用拷贝构造函数（可能有纰漏），第一种情况是函数形实结合时，第二种情况是函数返回时，函数栈区的对象会复制一份到函数的返回去，第三种情况是用一个对象初始化另一个对象时也会调用拷贝构造函数。 除了这三种情
【C++】移动构造函数
m0_61629312的博客
08-15 642
移动构造函数是一个特殊的构造函数，用于从一个对象中移动（转移）资源到另一个对象，而不是进行复制操作。它通常与右值引用一起使用，以实现高效的资源转移，提高性能。
C++ 结构体的赋值运算符重载函数
04-17
C++结构体的赋值运算符重载函数是一种特殊的成员函数，用于在结构体对象之间进行赋值操作。通过重载赋值运算符，可以自定义结构体对象的赋值行为，使其能够按照自定义的规则进行成员变量的赋值。 下面是一个示例代码，展示了如何重载结构体的赋值运算符： ```cpp #include <iostream> struct MyStruct { int value; // 赋值运算符重载函数 MyStruct& operator=(const MyStruct& other) { if (this != &other) { value = other.value; } return *this; } }; int main() { MyStruct s1; s1.value = 10; MyStruct s2; s2.value = 20; // 使用赋值运算符重载进行赋值 s2 = s1; std::cout << "s2.value: " << s2.value << std::endl; // 输出：s2.value: 10 return 0; } ``` 在上述示例中，我们定义了一个名为`MyStruct`的结构体，其中包含一个整型成员变量`value`。然后，我们重载了赋值运算符`=`，并在重载函数中实现了自定义的赋值行为。在重载函数中，我们首先判断被赋值对象和赋值对象是否是同一个对象，如果不是，则将被赋值对象的`value`成员变量赋值为赋值对象的`value`成员变量。 通过重载赋值运算符，我们可以实现结构体对象之间的灵活赋值操作，满足特定的需求。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

打赏作者

wkd_007

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

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

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

打赏作者

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

抵扣说明：

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

余额充值