C11性能之道:右值引用
1、左值与右值
C++11中新增了一种类型,右值引用,标记为T &&。
首先来介绍什么是左值和右值,左值是指表达式结束后依旧存在的持久对象,而右值是指表达式结束之后就不再存在的临时对象。一个区分左值与右值的简单方法就是:
能不能对表达式取值,如果能,则是左值,否则为右值。所有具名变量或对象都是左值,右值不具名。
其中,右值又有两个概念,将亡值和纯右值。非引用返回的临时变量、运算表达式产生的临时变量、原始字面量和lambda表达式都是纯右值。将亡值在C++11中引进,将要移动的对象、T &&函数返回值、std::move返回值和转换为T &&的类型转换函数的返回值都是将亡值。
2、&&的特性
右值引用是对一个右值进行引用,因为右值不具名,所以只能通过引用的方式找到。右值引用不拥有绑定对象的内存,所以必须立即初始化,右值引用其实就是延长右值临时变量的生命周期,只要该右值引用变量存在,该临时右值变量则会一直存在。
#include <iostream> using namespace std; int g_construct_count = ;
int g_copyconstruct_count = ;
int g_destruct_count = ; struct A
{
A()
{
cout << "construct:" << ++g_construct_count << endl;
} A(const A &a)
{
cout << "copyconstruct:" << ++g_copyconstruct_count << endl;
} ~A()
{
cout << "destruct:" << ++g_destruct_count << endl;
}
}; A GetA()
{
return A();
} int main()
{
A a = GetA(); return ;
}
当GCC使用编译参数-fno-elide-constructors关闭返回值优化结果,会有以下输出结果:
construct:
copyconstruct:
destruct:
copyconstruct:
destruct:
destruct:
如果开起返回值优化,那么结果如下:
construct:
destruct:
这种优化是来自编译器优化,并不是C++标准,但是我们可以通过&&来做优化,也就是右值引用,当我们开起-fno-elide-constructors,再来看结果:
//调用代码
int main()
{
A &&a = GetA(); return ;
} //执行结果:
construct:
copyconstruct:
destruct:
destruct:
通过右值引用,比之前要少一次拷贝构造和析构,也就是在A &&a = GetA();的时候发生的,在这个时候使临时变量的生命周期延长。
其实不用C++11,使用C++98/03同样可以达到以上效果,将代码改成const A& a = GetA(),常量左值引用可以接收左值、右值、常量左值和常量右值,但是普通的左值引用不接受右值,如A& a = GetA()会编译不过,非常量左值只接受左值。
T&&并不是表示右值,有可能表示左值,也有可能表示右值。但是T &&必须被初始化,被右值初始化就是右值,被左值初始化就是左值。
template<typename T>
void f(T && param); f(); //10是右值
int x = ;
f(x); //x是左值
当有自动推导的时候(模板自动推导,auto),&&是一个未定义的引用类型。
template<typename T>
void f(T&& param); //类型需要推导,&&是一个未定义引用类型 template<typename T>
class Test
{
Test(Test && ths); //右值,定义特定类型,没有类型推断
} void f(Test && param); //右值,定义确定类型,没有类型推断 template<typename T>
void f(std::vector<T> && param); //右值,vector<T>已经确定类型 template<typename T>
void f(const T && param); //右值,加上const修饰改变未定义引用
当未定义引用类型仅在T&&的时候有效,任何附加条件都会使其失效变成一个普通的右值引用。这种类型变化在C++11中成为折叠引用,其规则如下:
- 所有的右值引用叠加到右值引用还是右值引用;
- 所有的其他引用类型之间的叠加都变成左值引用。
int &&var1 = x; //var1->int &&,右值引用
auto &&var2 = var1; //var2存在类型推导,未定义引用类型,var2->int &,左值引用 int i1,i2;
auto && v1 = i1; //左值,被左值初始化
decltype(i1) && v2 = i2; //error,右值引用不能被左值初始化
对于左值初始化右值引用可以使用std::move;
decltype(i1) && v2 = std::move(i2);
编译器会将已经命名的右值引用视为左值,未命名的右值视为右值。
#include <iostream> using namespace std; int g_lvalue = ;
int g_rvalue = ; void PrintValue(int &i)
{
cout << "Lvalue:" << i << endl;
} void PrintValue(int &&i)
{
cout << "Rvalue:" << i << endl;
} void Forward(int &&i)
{
PrintValue(i); //转发之后变成左值,右值变成一个命名对象,编译器当成左值
} int main()
{
int i = ;
PrintValue(i);
PrintValue();
Forward(); return ;
}
执行结果:
Lvalue:
Rvalue:
Lvalue:
总结:
左值引用和右值引用独立于他们的类型,右值引用类型可能值左值也可能是右值;
auto &&或函数参数类型自动推导的T &&是一个未定的引用类型,可能是左值引用也可能是右值引用,取决于初始化类型;
所有的右值引用叠加到右值引用是一个右值引用,其它类型都为左值引用;
编译器会将已命名的右值引用视为左值,未命名的右值引用视为右值。
2、右值引用,避免深拷贝
当一个类含有堆内存,我们需要提供深拷贝的拷贝函数,如果使用默认构造函数会出现内存的重复删除。
#include <iostream> class A
{
public:
A() :m_ptr(new int()){} ~A()
{
delete m_ptr;
}
private:
int *m_ptr;
}; int main()
{
A a;
A b; b = a; //运行出错
return ;
}
上述例子中,a和b指向统一指针m_ptr,析构时重复删除该指针。正确的做法应该是提供深拷贝函数。
#include <iostream> using namespace std; class A
{
public:
A() :m_ptr(new int())
{
cout << "construct" << endl;
} ~A()
{
cout << "destruct" << endl;
delete m_ptr;
} A(const A & a):m_ptr(new int(*a.m_ptr))
{
cout << "copy construct" << endl;
} private:
int *m_ptr;
}; A GetA()
{
A a; return a;
} int main()
{
A a = GetA();
return ;
} //运行结果:
construct
copy construct
destruct
copy construct
destruct
destruct
虽然可以解决问题,但是多次的拷贝确实不必要的,临时变量拷贝完就删除了,如果堆内存黑大,拷贝的代价就会很大。
#include <iostream> using namespace std; class A
{
public:
A() :m_ptr(new int())
{
cout << "construct" << endl;
} A(const A & a):m_ptr(new int(*a.m_ptr))
{
cout << "copy construct" << endl;
} A(A && a):m_ptr(a.m_ptr)
{
a.m_ptr = nullptr;
cout << "move construct" << endl;
} ~A()
{
cout << "destruct" << endl;
delete m_ptr;
} private:
int *m_ptr;
}; A GetA()
{
A a; return a;
} int main()
{
A a = GetA();
return ;
} //运行结果:
construct
move construct
destruct
move construct
destruct
destruct
很明显,减少了一次拷贝构造,取而代之的是移动构造,在内存方面没有变化,避免了临时对象的深拷贝,提升了性能。这里A &&根据参数是左值还是右值来建立分支,如果是临时值,则会使用移动构造函数。
移动语义可以将资源(堆、系统对象)通过浅拷贝方式从一个对象转移到另一个对象,减少不必要的临时对象的创建、拷贝和销毁,大幅提高性能。
C11性能之道:右值引用的更多相关文章
- C++11特性-右值引用
什么是左值,什么是右值 常见的误区有 = 左边的是左值,右边的是右值. 左值:具有存储性质的对象,即lvalue对象,是指要实际占用内存空间.有内存地址的那些实体对象,例如:变量(variables) ...
- C++右值引用浅析
一直想试着把自己理解和学习到的右值引用相关的技术细节整理并分享出来,希望能够对感兴趣的朋友提供帮助. 右值引用是C++11标准中新增的一个特性.右值引用允许程序员可以忽略逻辑上不需要的拷贝:而且还可以 ...
- C++ 11 中的右值引用
C++ 11 中的右值引用 右值引用的功能 首先,我并不介绍什么是右值引用,而是以一个例子里来介绍一下右值引用的功能: #include <iostream> #include &l ...
- 【转】C++11 标准新特性: 右值引用与转移语义
VS2013出来了,对于C++来说,最大的改变莫过于对于C++11新特性的支持,在网上搜了一下C++11的介绍,发现这篇文章非常不错,分享给大家同时自己作为存档. 原文地址:http://www.ib ...
- C++ 11 右值引用
C++11中引入的一个非常重要的概念就是右值引用.理解右值引用是学习“移动语义”(move semantics)的基础.而要理解右值引用,就必须先区分左值与右值. 注意:左值右值翻译可能有些问题 *L ...
- 翻译「C++ Rvalue References Explained」C++右值引用详解 Part4:强制Move语义
本文为第四部分,目录请参阅概述部分:http://www.cnblogs.com/harrywong/p/4220233.html. 强制Move语义 众所周知,正如C++标准的第一修正案所陈述:“委 ...
- 最近新出的C++右值引用的意思
看了一下这种方法的介绍,个人感觉,右值引用,更像人类的思想了,有些将编译前与编译后结合紧密的感觉. 左值引用是变量名的别名,右值引用是值的别名,也就是不将值赋给一个变量名所在的地址,直接将值所在的初始 ...
- C++ 11 右值引用以及std::move
转载请注明出处:http://blog.csdn.net/luotuo44/article/details/46779063 新类型: int和int&是什么?都是类型.int是整数类型,in ...
- 【转】C++ 11 右值引用的理解
右值引用的目的之一,是为了C++中一个比较影响性能的问题:拷贝临时对象,例如,在 int foo(){ ... } int x; x = foo(); 中,在第三句中,发生了以下的事情: 1.销毁 x ...
随机推荐
- css重修之书(一):如何用css制作比1px更细的边框
如何用css制作比1px更细的边框 在项目的开发过程中,我们常常会使用到border:1px solid xxx,来对元素添加边框: 可是1px的border看起来还是粗了一些粗,不美观,那么有什么方 ...
- jQuery实现仿京东商城图片放大镜
效果图: 不废话直接上代码: <!DOCTYPE html> <html> <head> <meta charset="utf-8"> ...
- 2019-1-92.4G射频芯片培训资料
2019-1-92.4G射频芯片培训资料 培训 RF 小书匠 欢迎走进zozo的学习之旅. 2.4G芯片选型 2.4G芯片开发 Q&A 2.4G芯片选型 芯片类型 soc 防盗标签2.4G无 ...
- NFC学习总结
NFC 学习总结 1.NFC 的基本概念 NFC 是 Near FieldCommunication 的缩写,即距离无线通信技术.由飞利浦公司和索尼公司共同开发的NFC 是一种非接触式识别和互联技术, ...
- Java中抽象类也能实例化
在Java中抽象类真的不能实例化么? 在学习的过程中,发现了一个问题,抽象类在没有实现所有的抽象方法前是不可以通过new来构建该对象的,但是抽象方法却是可以有自己的构造方法的.这样就把我搞糊涂了,既然 ...
- gcc 学习笔记(一) - 编译C程序 及 编译过程
一. C程序编译过程 编译过程简介 : C语言的源文件 编译成 可执行文件需要四个步骤, 预处理 (Preprocessing) 扩展宏, 编译 (compilation) 得到汇编语言, 汇编 (a ...
- 哈希表 STL map
计数排序时我们使用一个数组来记录出现的数字的次数,而当数据范围太大时,无法建立一个那么大地数组(而且可能空间利用率很低,太浪费),此时可以改用hash table . binary search tr ...
- ubuntu 16.04 安装jdk9错误
转自:https://askubuntu.com/questions/769467/can-not-install-openjdk-9-jdk-because-it-tries-to-overwrit ...
- Android各分辨率定义的图片规格
我们定义的app图片规格 app图标需要分iphone和android两套 iphone: 名称 Iphone4 Iphone5 手机尺寸 960*640(高*宽) 1136*640 (高*宽) 电池 ...
- Oracle数据库表被锁定以及去除方式
select t2.username, t2.sid, t2.serial#, t3.object_name, t2.OSUSER, t2.MACHINE, t2.PROGRAM, t2.LOGON_ ...