1. 右值引用
对左值的引用(lValue),放在赋值表达式左边的,有精确的内存地址;
int var = 42;
int& ref = var;
ref = 99;
assert(var == 99);
右值(rValue) 指的是可以出现在赋值表达式右侧的对象,比如字符常量,临时变量。左值引用只能绑定在左值上,而不是右值。
int & i =42;//编译失败,42是一个右值
const int& i = 42;//将一个右值绑定到一个const左值引用上
void print(std::string const& s);
print("hello");//创建了临时std::string对象
C++11标准介绍了右值引用(rvalue reference),只能绑定右值,不能绑定左值,通过&&来声明:
int&& i = 42;
int j =42;
int&& k = j;// 编译失败
int && k = std::move(j);//通过move函数,将一个左值转换为右值,使用move就意味j不可以再使用了,因为不能对移动后源对原对象做假设
可以使用函数重载方式,函数有左值或者右值参数。
1.2 移动语义
右值通常都是临时的,可以随意修改。
//传入右值后,函数内部拷贝
void process_copy(std::vector<int> const& vec_){
std::vector<int> vec(vec_);
vec.push_back(42);
}
//右值引用, 避免内部拷贝
void process_copy(std::vector<int>&& vec) {
vec.push_back(42);
}
移动构造函数,通过移动而非拷贝?
class X {
private:
int* data;
public:
X(): data(new int[1000]) {}
~X() {
delete [ ] data;
}
X(const X& other) : data(new int[1000]) { //1
std::copy(other.data, other.data+1000, data);
}
X(X&& other) : data(other.data) { //2
other.data = nullptr;
}
};
1为拷贝构造函数,传入左值,分配内存,然后把数据拷贝;
2为移动构造函数,接受右值,将指针拷贝到数据中,类就指向了数据内存,而other的data指针置为空指针,这样避免了空间和时间上的消耗。
X x1;
X x2 = std::move(x1);
X x3 = static_cast<X&&>(x2);
想要将参数不通过拷贝,转化为本地变量或者成员变量时,可以使用这个方法;虽然右值引用绑定了右值,不过在函数内部会当做左值来处理。
void do_stuff(X&& x_){
X a(x_); // 拷贝构造
X b(std::move(x_)); //移动构造
}
1.3 右值引用和函数模板
template<typename T>
void foo(T&& t) {}
foo(42);
foo(3.1415);
foo(std::string());