本文主要是介绍c++右值引用及使用,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
一、几个基本概念
1.1右值
右值表示无法获取地址的对象,有常量值、函数返回值、lambda表达式等。无法获取地址,但不表示其不可改变,当定义了右值的右值引用时就可以更改右值。
1.2 右值引用
c++11中增加了右值引用,右值引用关联到右值时,右值被存储到特定位置,右值引用指向该特定位置,也就是说,右值虽然无法获取地址,但是右值引用是可以获取地址的,该地址表示临时对象的存储位置。语法如下:
int && iii = 10;
1.3 左值引用和右值引用的相互赋值
能将右值引用赋值给左值引用,该左值引用绑定到右值引用指向的对象,在早期的c++中,引用没有左右之分,引入了右值引用之后才被称为左值引用,所以说左值引用其实可以绑定任何对象。这样也就能理解为什么const左值引用能赋予常量值。
int&& iii = 10;
int& ii = iii; //ii等于10,对ii的改变同样会作用到iii
二、右值引用和移动语义
在旧的c++中,出现了很多的不必须要的拷贝,因为在某些情况下,对象拷贝完之后就下来就销毁了。新标准引入了移动操作,减少了很多的复制操作,而右值引用正式为了支持移动操作而引入的新的引用类型。
2.1 标准库move函数
根据右值引用的语法规则,不能将右值引用绑定到一个左值上
c++11引入右值引用,并且提供了move函数,用来获得绑定到左值上的右值引用,此函数定义在头文件utility中。
Int &&iii = move(ii)
调用move之后,必须保证除了对ii复制或销毁它外,我们将不再使用它,在调用move之后,我们不能对移动源后对象做任何假设。
2.2 模板实参推断和引用
为了理解move函数的实现,首先需要理解模板实参推断和引用。
当左值引用作为参数时,看几个例子:
template<class T> void f1(T&) {}
f1(i) //i是一个int,模板参数类型T是int
f1(ci) //ci是一个const int,模板参数T是const int
fl(5) //错误:传递给一个&参数的实参必须是一个左值
如果函数的参数是const的引用时:
template<class T> void f2(const T&) {}
f2(i) //i是一个int,模板参数类型T是int,因为非const可以转化为const
f2(ci) //ci是一个const int,模板参数T是int
f2(5) //看前面,const的引用可以绑定右值,T是int
当参数是右值引用时,
template<class T> void f3(T&&) {}
f3(5) // T是int
2.3 引用折叠和右值引用参数
按照道理来说,f3(i)是应该不正确的,因为无法将右值引用绑定到一个左值上,但是,c++中有两个正常绑定规则的例外,允许这种绑定。这两个例外规则是move正确工作的基础
例外1:右值引用的类型推断。当我们将一个左值传递给函数的右值引用作为参数时(函数参数为T&&),编译器推断模板类型参数为实参的左值引用类型,,因此,调用f3(i)时,T被推断为int&,而不是int。并且,模板函数中对参数的改变会反映到调用时传入的实参。
通常,我们不能直接定义一个引用的引用,但是同过类型别名(使用typedef)和模板间接定义是可以的。
例外2:引用折叠。当定义了引用的引用时,则这些引用形成了“折叠”,所有的情况下(除了一个例外),引用会折叠成一个普通的左值引用类型。这个例外就是右值引用的右值引用:
l X& &&、X& &&、X&& &都折叠成X&
l 类型X&& &&折叠成X&&
//左值和const右值
这篇关于c++右值引用及使用的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!