右值引用,移动语义和完美转发
左值右值
在C++11以后,C++所有的值都必属于左值,将亡值,纯右值三者之一,其中,将亡值和纯右值都属于右值。
区分左右值
如果可以对表达式使用&取地址,该表达式就为左值,否则就为右值。
常见的左值有:
- 变量,函数或数据成员的名字
- 返回左值引用的表达式,如 ++i, x = 1, cout << ;等
- 字符串字面量,如“hello world”
常见的右值有: - 返回非引用类型的表达式, 如i++, i + 1, make_shared()的返回值
- 除字符串字面量除外的其他字面量类型,如42, ‘a’, true等
右值引用
右值引用区别于左值引用,使用&&来表示。顾名思义,右值引用就是对右值引用的类型,通过右值引用,右值的生命周期会获得延长,只要右值引用的变量还活着,该右值临时量就会一直活下去。
#include <iostream>
int main() {
int a = 5;
int& ref = a; //左值引用,等号右边是左值
int&& ref2 = 5; //右值引用,等号右边是右值
return 0;
}
注意:左值和右值是独立于它们的类型的,右值引用类型可能是左值也可能是右值。比如ref2虽然是右值引用,但其能用&取地址,所以ref2本身是一个左值。
万能引用
即既能引用左值,也能引用右值的引用,其主要有三种:
- 用 auto&& 推导的引用类型
- 模板类型推导时的 T&& 类型
其最终为左值引用还是右值引用,取决于初始化的值类别。
#include <iostream>
template <typename T>
void f(T&& x) {}
int main() {
int i = 5;
auto&& ref1 = 5; //引用右值
auto&& ref2 = i; //引用左值
f(5); //传参右值
f(i); //传参左值
return 0;
}
const修饰左值引用
使用const修饰左值引用后,该引用类型既可以引用左值,也可以引用右值。
#include <iostream>
int main() {
int i = 5;
const int& ref1 = 1; //引用右值
const int& ref2 = i; //引用左值
return 0;
}
std::move移动语义
C++11定义了std::move函数来方便我们进行移动语义,该函数可以将一个左值转变为一个右值,将对象的状态或者所有权从一个对象转移到另一个对象,只是转义,不会进行内存拷贝。其实现等价于一个强制类型转换 static_cast<T&&>(lvalue),所以单纯的std::move并不会带来性能提升。
#include <iostream>
int main() {
int i = 0;
int& ref1 = i;
int&& ref2 = std::move(i); //将i这个左值转化为了右值
return 0;
}
右值引用也是引用
考虑如下代码最终会输出什么答案
#include <iostream>
int main() {
int i = 0;
int& ref1 = i;
int&& ref2 = std::move(i);
ref2 = 5;
std::cout << i << std::endl;
return 0;
}
其最终会输出5,换言之,左值引用也是引用,如果打印i,ref1,ref2的地址,会发现三者地址也是一样的,对ref2的修改也会改变i本身的值。
完美转发
forward 完美转发实现了参数在传递过程中保持其值属性的功能,即若是左值,则传递之后仍然是左值,若是右值,则传递之后仍然是右值。
还记得我们之前说的吗,一个右值引用的变量可能是左值。考虑下面这个错误的代码:
int &&a = 10;
int &&b = a; //错误
a虽然是一个右值引用,但其本身是一个左值,我们不能用一个右值引用去绑定他。因此,我们可以使用完美转发,将a的按照参数原来的类型转发出去:
int &&a = 10;
int &&b = std::forward<int>(a); //正确