左值引用VS右值引用
左值引用对于一般的C++程序员再熟悉不过,但对于右值引用(C++0X新特性),就稍微有点不知所云
左值VS右值
在定义变量的时候,经常会用到左值和右值,比如:
int a = 1;
int b = a + 1;
上面这段代码,a先作为左值,在作为右值。在作为右值的时候,是相当于(原理上等同,但不一定对)
int tmp(a + 1);
int b(tmp);
中间会先建立一个临时遍历,然后在把临时遍历赋值给b。对于数,只能作为左值,而变量名,即可以作为左值又可以作为右值。(作为左值的时候相当于用该变量的地址,作为右值的时候则相当于使用该变量的内容,这里对于类对象也成立)。
左值引用
用法:Type & 左值引用名 = 左值表达式;
注意点:声明时必须初始化,初始化之后无法在改变;对别名的一切操作都等价于对原来变量的操作。
左值引用在传递参数的时候,和指针特别类似,如以下代码:
int val = 10;
void fun(int * ptr){ cout<<*ptr<<endl; *ptr += 1; }
void fun(int & value){ cout<<value<<endl; a += 1; }
fun(val);
fun(&val);
上面的两种fun()的调用方法,在函数体内的修改都可以引起val的改变。(简单的理解,不一定完全正确:左值引用和指针都相当于是通过地址来访问具体的值,因此可以修改)
const修饰左值引用
int & r = val + 1;
//此句不合法,因为右值无法赋值给左值引用
const int& r = val + 1;
//合法
解释:资料说c++中临时变量默认const属性,所以只能传给const的引用。规定右值不能绑定到非 const 限定的左值引用。
异常对象另说;如果是右值引用或const左值引用绑定的,那生存期延长为引用;否则到完全表达式结束销毁。还有默认初始化数组元素时延长到数组初始化结束。(摘抄自其网页)
右值引用
在上面的代码中,我们无法建立 int &rb = a + 1;
这样的语法,因为a + 1 此时是作为一个右值来使用的,我们无法把一个右值赋值给一个左值引用。(也就是左值引用相当于把一个变量的地址付给另一个变量,这两个变量可以访问同一个内存,右值仅仅是一个数,而非内存中的某块地址,因此无法把右值复制给左值引用)。
声明方法:Type && 右值引用名 = 右值表达式;
std::move()的用法
可以直接把左值或者右值转换成右值引用,使用方法:
int && rrval = std::move(val);
但是这里需要注意:在调用完std::move之后,不能再使用val,只能使用 rrval,这一点用于基本类型可能没什么直接影响,当应用到类函数的时候,用好std::move 可以减少构造函数数的次数,具体的使用参考下面的std::move比较好的理解
下面说一下自己的理解:
首先是由于STL里面默认的库已经支持右值引用,也有所谓的移动构造函数如下面的形式A (A&& a){}
这里不能使用const A&& a,因为需要改变a。移动构造函数主要的用途是,当你不需要在使用一个变量的时候,可以直接通过该构造函数来实现把该变量的数据转换到另一个变量中,省去调用默认的赋值构造或者拷贝构造函数带来额外的开销,如string类在赋值或者拷贝构造函数中会声明char数组来存放数据,然后把原string中的 char 数组被析构函数释放,如果a是一个临时变量,则上面的拷贝,析构就是多余的,完全可以把临时变量a中的数据直接 “转移” 到新的变量下面即可。 如下面的程序(摘抄自网页):
#include <iostream>
#include <utility>
#include <vector>
#include <string>
int main()
{
std::string str = "Hello";
std::vector<std::string> v;
//调用常规的拷贝构造函数,新建字符数组,拷贝数据
v.push_back(str);
std::cout << "After copy, str is "" << str << ""
";
//调用移动构造函数,掏空str,掏空后,最好不要使用str
v.push_back(std::move(str));
std::cout << "After move, str is "" << str << ""
";
std::cout << "The contents of the vector are "" << v[0]
<< "", "" << v[1] << ""
";
}
总结:
其实这个右值引用主要的用处就是在于配合std::move来实现 “转移语句”
`A();`//默认构造函数
`A(const A& a);`//拷贝构造函数
`oprator=(const A& a);`//赋值构造函数
`A(A&& a);`//移动构造函数
可以在移动构造函数中实现 把a的数据直接转移到 新的变量b下面,而省去 申请声明一个变量b, 把 copy a->b, 然后释放 a
的空间。
比如,string str = “hello"; 现在str不在使用了,但需要声明一个新的变量表示str, 此时就可以用 string newstr(str::move(str)); 调用移动构造函数,把str下面的内容全部转移到 newstr下面,“掏空”str,这里需要注意掏空str之后,最好就不要在使用str了。(有点啰嗦了)
注释:
赋值构造函数:A & operator = (const A& a); //这里返回A & 是为了进行连等 a1 = a2 = a3,当一个变量已经被定义之后,改变值的时候调用该函数
拷贝构造函数:A(const A&a); 直接在定义声明一个对象的时候,依据另一个对象来构造。
参考链接:
左值右值定义:http://www.cnblogs.com/catch/p/3500678.html
右值表达式VS左值表达式:http://blog.sina.com.cn/s/blog_7fe1e77b01016okx.html
左值引用和右值引用:http://www.linuxidc.com/Linux/2015-02/114056.htm
右值引用:http://blog.csdn.net/zwvista/article/details/12306283
临时对象不能绑定到非const左值引用上:http://blog.csdn.net/liuxialong/article/details/6539717
http://blog.csdn.net/feeltouch/article/details/9789731
std::move用法理解
std::move比较好的解释:http://www.cnblogs.com/chezxiaoqiang/archive/2012/10/24/2736630.html
另外三篇关于std::move 的用法:
上:http://blog.csdn.net/yapian8/article/details/42341307
中:http://blog.csdn.net/yapian8/article/details/42341321
下:http://blog.csdn.net/yapian8/article/details/42341351