当前位置:主页 > c/c++教程 > C++右值引用 完美转发

C++11新特性之右值引用与完美转发详解

发布:2023-03-01 20:30:01 59


给网友们整理相关的编程文章,网友勾珍瑞根据主题投稿了本篇教程内容,涉及到C++、右值引用、C++、完美转发、C++、右值引用、完美转发、C++右值引用 完美转发相关内容,已被274网友关注,如果对知识点想更进一步了解可以在下方电子资料中获取。

C++右值引用 完美转发

一、左值与右值

顾名思义,左值就是只能放在等号左边的值,右值是只能放在等号右边的值。

在C++Prime一书中,对左值和右值的划分为,左值是一个表示数据的表达式,右值是一个即将销毁的值(通常称为将亡值)。比如我们定义的一个变量就是一个左值,而字面常量,表达式返回值,传值返回函数的返回值就是右值。

	10;//右值
	int a = 10;//a是左值
	add(2, 3);//右值
	x+y;//右值
	const int a;//左值

注意,const类型的变量是不能放在等号左侧来为它赋值的,但是他是一个左值。

这里给出一个区分两者的方式:可以取地址的就是左值,不能取地址的就是右值!

二、左值引用与右值引用

我们之前所写的引用都是左值引用符号是&,左值引用的底层是使用指针,它的作用是为对象取一个别名。

而右值引用就是给右值取别名,它的符号是&&,右值引用开辟了空间,得到的一个对象是左值。

	int a = 10;
	int& d = a;//左值引用
	int&& e = 10;//右值引用
	int&& f = a + 1;
	int&& c = add(2, 3);

左值引用不能给右值取别名,右值引用也不能给左值取别名。但是如果对左值进行move(),对左值引用加上const是可以这样进行的。

move的意思就是保证除了赋值和销毁之外,不再使用该左值,即将a的属性转移到了e中,对左值move后是一共右值。

	int&& c = a;//右值引用不能给左值取别名
	int& d = add(3, 4);//左值引用不能给右值取别名
	int&& e = move(a);//当对左值加move的时候可以
	const int& f = add(3, 4);//当对引用加const后可以取别名

同时右值引用不像左值引用一样具有传递性:

	int&& a = 10;
	a=20;
	cout<<&a<

这是因为a是一个左值,我们可以打印a的地址,右值经过引用后得到的对象是一个左值。因此我们是可以对a进行赋值的。

三、右值引用应用

1.移动构造与移动赋值

移动构造与移动赋值在C++11中已经加入了STL容器的函数中:

string(string&& str) //移动构造
string& operator=(string&& str)//移动赋值

移动构造与移动赋值都是向函数中传入右值引用,它们的本质与右值基本相同,就是将一个将亡值的数据转移给另一个值。

我们可以在函数string中模拟实现一下移动构造和移动赋值,它们的本质就是调用swap函数完成赋值,而不是使用strcpy创建一个新对象。

1.模拟实现的string

为了方便观察,我们使用自己模拟实现的string来进行说明:

namespace my_string
{
	class string
	{
	public:
		typedef char* iterator;
		iterator begin()
		{
			return _str;
		}
		iterator end()
		{
			return _str + _size;
		}
		//构造函数
		string(const char* str = "")
			:_size(strlen(str))
			, _capacity(_size)
		{
			cout << "string(char* str)" << endl;

			_str = new char[_capacity + 1];
			strcpy(_str, str);
		}
		// s1.swap(s2)
		void swap(string& s)
		{
			::swap(_str, s._str);
			::swap(_size, s._size);
			::swap(_capacity, s._capacity);
		}
		// 拷贝构造
		string(const string& s)
			:_str(nullptr)
			, _size(0)
			, _capacity(0)
		{
			cout << "string(const string& s) -- 深拷贝" << endl;
			string tmp(s._str);
			swap(tmp);
		}
		// 移动构造
		string(string&& s)
			:_str(nullptr)
			, _size(0)
			, _capacity(0)
		{
			cout << "string(string&& s) -- 资源转移" << endl;
			this->swap(s);
		}
		// 移动赋值
		string& operator=(string&& s)
		{
			cout << "string& operator=(string&& s) -- 转移资源" << endl;
			swap(s);
			return *this;
		}
		//赋值
		string& operator=(const string& s)
		{
			cout << "string& operator=(string s) -- 深拷贝" << endl;
			string tmp(s);
			swap(tmp);
			return *this;
		}
		~string()
		{
			delete[] _str;
			_str = nullptr;
		}
		//下标访问
		char& operator[](size_t pos)
		{
			assert(pos < _size);
			return _str[pos];
		}
		//调换顺序
		void reserve(size_t n)
		{
			if (n > _capacity)
			{
				char* tmp = new char[n + 1];
				strcpy(tmp, _str);
				delete[] _str;
				_str = tmp;

				_capacity = n;
			}
		}
		//插入
		void push_back(char ch)
		{
			if (_size >= _capacity)
			{
				size_t newcapacity = _capacity == 0 ? 4 : _capacity * 2;
				reserve(newcapacity);
			}
			_str[_size] = ch;
			++_size;
			_str[_size] = '\0';
		}
		//string operator+=(char ch)
		string& operator+=(char ch)
		{
			push_back(ch);
			return *this;
		}
		string operator+(char ch)
		{
			string tmp(*this);
			push_back(ch);

			return tmp;
		}
		const char* c_str() const
		{
			return _str;
		}
	private:
		char* _str;
		size_t _size;
		size_t _capacity; // 不包含最后做标识的\0
	};
	my_string::string to_string(int value)
	{
		my_string::string str;
		while (value)
		{
			int val = value % 10;
			str += ('0' + val);
			value /= 10;
		}
		reverse(str.begin(), str.end());
		return str;
	}
}

2.移动构造

当我们调用to_string的时候:

my_string::string ret = my_string::to_string(1234);

当我们不添加移动构造的时候,可以发现最终进行的是一次深拷贝和一次浅拷贝:

这里发现只调用了一次拷贝构造,这是因为编译器做了优化,如果不优化的话,str拷贝构造临时对象,然后临时对象作为to_string的返回值再拷贝构造给ret。其实是发生了两次拷贝构造。

但是编译器做了优化之后,在to_string函数快结束时,返回前直接用str构造ret。

当我们加入拷贝构造之后,会发现只发生了一次移动构造就可以了:

其实在这一过程中编译器也做了优化,str先拷贝构造形成一个临时对象,再由临时对象进行移动构造赋值给ret。

编译器做了优化之后,将str直接当成左值(相当于move了一下),然后进行移动构造生成ret。

通过观察打印结果可以发现,显然移动构造没有再开辟空间,而是直接将数据进行转移,节省了空间,由临时变量进行拷贝构造给ret还会创建一个新的对象,消耗空间。

3.移动赋值

	my_string::string ret;
	ret = my_string::to_string(1234);//调用移动赋值

当不使用移动赋值的时候,以上代码是两段深拷贝实现的:

首先str会调用移动构造,生成临时对象,然后临时对象再调用赋值拷贝构造(深拷贝),定义ret。

当引入移动赋值之后,这个过程就变成了str调用移动构造生成临时对象,临时对象再通过移动运算符重载生成ret,整个过程中没有一次深拷贝。

C++11中,所有STL容器中,都会提供一个右值引用的版本。

四、默认移动构造和移动赋值重载函数

与六大成员函数一样,编译器在一定的条件下,也会生成自己的默认移动构造函数,只不过生成的条件更加复杂:

1.如果你自己没有实现移动构造函数,并且没有实现析构函数,拷贝构造,拷贝赋值构造中的任意一个。那么编译器会自动生成一个默认构造函数。默认生成的移动构造函数,对内置类型进行直接拷贝,对于自定义类型,如果有对应的移动构造函数就调用其对应的移动构造函数,如果没有那么调用拷贝构造。

2.如果你没自己实现移动赋值重载函数,且没有实现析构函数,拷贝构造,拷贝赋值重载中的任何一个,编译器会自动生成一个移动赋值重载函数。默认生成的移动赋值重载函数,对内置类型直接进行赋值,对于自定义类型,如果有对应的移动赋值重载函数就调用其对应的移动赋值重载函数,如果没有则调用拷贝赋值。

3.如果你提供了移动赋值构造或者移动赋值重载函数,那么编译器就不会自动生成。

五、完美转发

1.万能引用

在模板中,&&表示的不是右值引用,而是万能引用,即既可以接收左值,又可以接收右值。

void PerfectForward(T&& t)
{
	Fun(forward(t));
}

此时传入的t既可以是左值,也可以是右值。

2.完美转发

运行以下程序,发现最终识别的都是左值引用。

void Func(int&& x)
{
	cout << "rvalue" << endl;
}
void Func(int& x)
{
	cout << "lvalue" << endl;
}
template
void PerfectForward(T&& t)
{
	Func(t);
}
int main()
{
	PerfectForward(10);//左值
	int a;
	PerfectForward(a);//左值
	PerfectForward(move(a));//左值
}	

这是因为右值引用一旦引用了,就变成了左值,如果我们还希望保持该右值引用的特性的话,需要使用forward函数来对其进行封装:

	Func(forward(t));

forward(t)来进行封装的意义在于,保持t原来的属性,如果它原来是左值那么封装之后还是左值,如果它是右值的引用,则将其还原成右值。该函数的作用称为完美转发,由于这一性质,STL容器的插入也可以使用右值引用来实现。

即支持:

vector v;v.push_back(111);

在该右值引用版本的插入中,调用的就是forward(val)。

到此这篇关于C++11新特性之右值引用与完美转发详解的文章就介绍到这了,更多相关C++右值引用 完美转发内容请搜索码农之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持码农之家!


参考资料

相关文章

  • C++实现教师管理系统

    发布:2022-04-16

    这篇文章主要为大家详细介绍了C++实现教师管理系统,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下


  • 深入了解C++封闭类的定义与使用

    发布:2023-03-08

    一个类的成员变量如果是另一个类的对象,就称之为“成员对象”。包含成员对象的类叫封闭类(enclosed class)。本文主要和大家聊聊C++封闭类的使用,需要的可以参考一下


  • C++中4种管理数据内存的方式总结

    发布:2023-03-02

    根据用于分配内存的方法,C++中有3中管理数据内存的方式:自动存储、静态存储和动态存储。在存在时间的长短方面,以这三种方式分配的数据对象各不相同。下面简要介绍这三种类型


  • c++的virtual和override作用及说明

    发布:2023-03-09

    这篇文章主要介绍了c++的virtual和override作用及说明,具有很好的参考价值,希望对大家有所帮助。如有错误或未考虑完全的地方,望不吝赐教


  • C++实现图书管理系统简易版

    发布:2023-01-09

    给网友们整理关于C++的教程,这篇文章主要为大家详细介绍了C++实现图书管理系统简易版,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下


  • C++常见的stl容器与相关操作 示例解析

    发布:2023-03-05

    所谓容器,就是可以承载,包含元素的一个器件,它是STL六大组件之一,是容器、算法、迭代器中最重要也是最核心的一部分


  • C++树之遍历二叉树实例详解

    发布:2022-04-11

    这篇文章主要给大家介绍了关于C++树之遍历二叉树的相关资料,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧


  • C++ Boost Bimap示例详细讲解

    发布:2023-03-09

    Boost是为C++语言标准库提供扩展的一些C++程序库的总称。Boost库是一个可移植、提供源代码的C++库,作为标准库的后备,是C++标准化进程的开发引擎之一,是为C++语言标准库提供扩展的一些C++程序库的总称


网友讨论