背景
在C++11中添加了几个概念:左值,右值,左值引用,右值引用。这几个概念非常抽象,只能尽力去解释和阐述。
左值
左值 = 内存 + 名字 + 地址
int a = 1 //a是左值,因为有名字a, 内存里面是1,地址是ox01
a = 2; //左值
printf("%d\n", a = 3);//利用了左值的右值属性
右值
左值 = 内存 + 地址
int a = 1 //1是右值,因为只有内存+地址,没有名字
左值引用
给有名字的内存额外起一个别名
,需要用语法&
int a = 1;
int& b = a;
右值引用
给没名字的内存(右值)起一个名字,需要用语法&&
int&& a = 1;
可以发现,一旦给右值起了一个名字,就会发现右值变成了左值(名字+内存+地址),这个要好好理解。
const引用
const int& a = 3;
我们知道3是右值,而&是给一个有名字的内存(左值)取一个别名, 为了能给右值起别名
,看清楚是起别名,不是起名字,因为起名字用&&就可以。这里可以通过const加一个限制,那么就可以给3起别名
了,尽管3就一个名字。留一个问题,现在的a是左值还是右值?(答案是左值,因为满足了左值条件)
const 引用这种哪里可以用到?等到大家有机会写多线程代码的时候就会遇到,在创建thread对象的时候,参数会被拷贝到新的线程环境中,届时会以一个右值的形式传递给线程函数,而线程函数的形参如果是普通引用就会报错,加上const的话就没有问题。
测试
既然我们已经学完1+1=2了,那么下面开始来解一元二次方程了!
demo_1
int& a = 3;
会编译报错,为什么?因为3是一个右值,而&是给左值起一个额外的名字,所以编译报错。
demo_2
int a = 4;
int &&b = a;
会编译报错,为什么?因为a是一个左值,而&&是给右值起第一个名字,你都有名字了还来用&&凑热闹,所以编译报错。
demo_3
int a = 4;
int &b = a * 2;
会编译报错,为什么?因为a是一个左值,a *2 这里是利用了a的右值属性,所以a *2 会生成一个没有名字的右值,你去给一个没有名字的内存块取别名是不行的,因为他都没有名字,何来别名一说?所以你只能用&&给他取一个名字
move语义
move的意思是把左值的名字移出掉(其实还是可以用a去调用),所以会变成右值,因此一个左值一旦用了move, 最好保证它在move后不要再被调用,毕竟move的思想就是把名字除去了,毕竟都被除名了,也就是想表达以后我不会再叫你a了。
#include <iostream>
using namespace std;
void Show(int&& para)
{
cout<<para<<endl;
para = 4;
}
int main()
{
int a = 5;
Show(3);//right
Show(a);//error
Show(move(a));//right
cout<<a<<endl;//最好杜绝这样用法,可以看到a已经变成4了
return 0;
}
注意
- 右值引用传参
- 比如foo(T&& par), 虽然par是右值引用类型,但是一旦进入函数里面就是左值了,因为上面讲过了,给一个右值起一个名字后就是左值了,这个要牢记,因为以后玩forward的话就是需要这个特性。
- 凡是引用,不管是左值引用还是右值引用,凡是进到函数里面都不会被析构,因为底层就是传指针进去,不涉及构造,当然也就没有析构。
- move语法
- 一直以来,很多人都认为move后的对象不能用了,比如下面的示例,所以很多人就误传move后的值不能用了,其实这是一个大大的错误。
string value = "test";
cout<<"before="<<value<<std::endl; //输出test
string tmp(std::move(value));
cout<<"after="<<value<<std::endl; // 输出空值
接下来再看一个代码:
void foo(string&& value) {};
string value = "test";
cout<<"before="<<value<<std::endl; //输出test
foo(std::move(value));
cout<<"after="<<value<<std::endl; // 输出test
可以看到上面的代码,在move后test值依然存在,这里是因为其实是string的右值copy 构造函数里面把输入置空了,这才导致第一个demo中的value在move后输出为空,但是第二demo中foo函数没有操作value,所以value的值还在没有任何变化,而且根据传引用不会析构参数,所以原始value这个对象一点都没变,既没有消失也没有析构,我们常用的unique_ptr就是这样的,不会让原来的对象消失。string的之所以为空是因为string(string&& parm)函数里面自己捣的鬼。
2. 所以我们把move当成reinterpret_cast<T&&>就行了,这个是在编译期就决定的,跟运行时没有任何关系