【C++右值引用】移动构造和移动赋值，万能引用，右值详讲

一个普通的小白

已于 2023-10-18 02:45:59 修改

阅读量2.1k

点赞数 7

分类专栏： c++ 文章标签： c++ 开发语言

于 2022-11-20 06:19:24 首次发布

本文链接：https://blog.csdn.net/m0_72964546/article/details/127944769

版权

c++ 专栏收录该内容

34 篇文章 4 订阅

订阅专栏

1.右值和左值

2.左值引用和右值引用

3.移动构造

4.移动构造和移动赋值的默认生成条件（重载赋值的右值引用和移动构造跟拷贝构造差不多）

5.万能引用（模板参数引用&&）

1.右值和左值

左值与右值是C语言中的概念，但C标准并没有给出严格的区分方式，一般认为：可以放在=左边的，或者能够取地址的称为左值，只能放在=右边的，或者不能取地址的称为右值，但是也不一定完全正确。

左值：可以取地址，可以赋值的

下面的a，r1，p，r2就属于左值
b，r3虽然是被const修饰不能赋值，但是也是左值，左值是能取地址的值，可以被const修饰也是左值

	int a = 10;
	int& r1 = a;
	int* p = &a;
	int& r2 = *p;

	const int b = 10;
	const int& r3 = b;

右值:不能取地址的值

纯右值，比如：X+Y, 10。
将亡值，比如：表达式的中间结果（（X+（Y+Z））Y+Z的值）、函数按照值的方式进行返回（返回值）。

	//常见的右值
    10;
	x + y;
	min(x, y);

2.左值引用和右值引用

左值引用:b,d
右值引用:a1,b1,c1

左值引用使用：&，右值引用使用：&&；同时它们也是可以交叉引用
    //左值引用左值
    int a=1;
    int& b=a;
    int* c=&a;
    int& d=*c;

    int X=10,int Y=20;
    //右值引用右值
    int&& a1=10;
    int&& b1=X+Y;
    int&& c1=min(X,Y);

2.1左右值的交叉引用

左值引用右值-- 不能直接引用，但是const 左值引用可以引用右值
右值引用左值-- 不能直接引用，但是可以右值引用可以引用move以后左值

    //左值引用右值-- 不能直接引用，但是const 左值引用可以引用右值
    const int& a=2;

    //右值引用左值-- 不能直接引用，但是可以右值引用可以引用move以后左值
    int a1=1000000;
    int&& b1=move(a1)

2.2左值引用右值的具体情景

当参数直接传常数（右值），那么引用必须加一个const

3.移动构造

class string
	{
	public:
        // 拷贝构造
		string(const string& s)
			:_str(new char[strlen(s._str) + 1])
			, _size(s._size)
			, _capacity(s.s_capacity)
		{
			cout << "string(const string& s) -- 深拷贝" << endl;
			strcpy(_str, s._str);
		}

		// 移动构造
		string(string&& s)
			:_str(nullptr)
			, _size(s._size)
			, _capacity(s._capacity)
		{
			cout << "string(string&& s) -- 资源转移" << endl;
            _str = s._str;
            s._str = nullptr;
        }

		string operator+(char ch)
		{
			string tmp(*this);
			push_back(ch);

			return tmp;
		}

	private:
		char* _str;
		size_t _size;
		size_t _capacity; // 不包含最后做标识的\0
	};

3.1移动构造：资源转移，没有了深拷贝和delete效率大大提高

没有深拷贝了,析构也减少了，效率提升；
将亡值资源被转移了，它被换成nullptr，调析构函数，没有资源需要析构效率提高

3.5push_back的右值引用的重载

所有容器调用push_back都有左值引用和右值引用版本

4.移动构造和移动赋值的默认生成条件（重载赋值的右值引用和移动构造跟拷贝构造差不多）

移动构造和移动赋值默认生成条件：当它本身被实现，且析构函数、拷贝构造、赋值运算符重载都没有实现才会默认生成；

5.万能引用（模板参数引用&&）

万能引用就是模板参数引用，使用的符号和右值引用相同：&&
可以接受左值也可以接受右值
接受后使用退化成了左值

void Fun(int& x) { cout << "左值" << endl; }
void Fun(int&& x) { cout << "右值" << endl; }
void Fun(const int& x) { cout << "const 左值" << endl; }
void Fun(const int&& x) { cout << "const 右值" << endl; }

template<class T>
void PerfectForward(T&& t)
{
	Fun(t);

	//Fun(std::forward<T>(t));
}
int main()
{
	PerfectForward(10);           // 右值

	int a;
	PerfectForward(a);            // 左值
	PerfectForward(std::move(a)); // 右值

	const int b = 8;
	PerfectForward(b);		      // const 左值
	PerfectForward(std::move(b)); // const 右值

	return 0;
}