c++ 11 移动语义、std::move 左值、右值、将亡值、纯右值、右值引用

时间:2021-05-03 01:03:58

为什么要用移动语义

先看看下面的代码

// rvalue_reference.cpp : 定义控制台应用程序的入口点。
// #include "stdafx.h"
#include <iostream> class HugeMem
{
public:
HugeMem(int size) : sz(size)
{
pIntData = new int[sz];
}
HugeMem(const HugeMem & h) : sz(h.sz)
{
pIntData = new int[sz];
for (int i = ; i < sz; i++)
pIntData[i] = h.pIntData[i];
}
~HugeMem()
{
delete pIntData [];
} int *pIntData;
int sz;
}; HugeMem GetTemp()
{
return HugeMem();
} int _tmain(int argc, _TCHAR* argv[])
{
HugeMem a = GetTemp();
return ;
}

以上代码拷贝构造函数会被调用两次,一次是从GetTemp函数中有HugeMem()生成的一个临时值用作返回值,另外一次则由临时值构造出main中的变量a。析构函数调用了三次。这个过程如果指针指向非常大的内存时拷贝构造 的代价相当昂贵。而令人堪忧的是:临时变量的生产和销毁以及拷贝构造的发生对于程序员来说基本上是透明的,不会影响程序的正确性,因而即使该问题导致性能不佳,也不易被程序员察觉。

而关键的问题是,临时对象在构造和释放时,一去一来似乎并没有太大意义,那么我们是否可以在临时对象构造a时不分配内存,即不使用所谓的拷贝构造函数呢?

那有人又要问了,为什么不用指针会给GetTemp的参数?首先需要指针或引用的方法而不返回值的话,通常需要很多条语句来完成上面的工作。

例如以下语句:

Caculate(GetTeam(),SomeOther(mabe(),UseFul(Value,2)));

但是如果通过传引用和指针而不返回值的话,那需要多条语句来完成上面的工作:
string * a,vector b;//事先声明一些变量用于传递返回值
...
UseFul(Value,2,a)
SomeOther(maybe(),a,b);
Caculate(GetTemp(),b)

此时移动语义应运而生。

要想了解移动语义,则需要从左值和右值说起。

左值和右值

判断左值和右值的方法有两种

1.在等号左边的值就称为左值而在等号右边的称为右值

2.另外在c++中还有一种判别方法就是可以取地址,有名的就是左值,不能取地址,没有名的就是右值

例如:

a = b + c

a在等号左边被值为左值

b+c在等号右边被称为右值

a有名,可以取地址称为左值

b+c没名,不可以取地址称为右值

纯右值、将亡值

在c++ 11中右值被分为纯右值和将亡值

其中纯右值就是c++98中的标准右值用于标记临时变量或不根对象有关的值。

将亡值是在c++ 11中跟右值引用相关的表达式,这种表达式通常是被移动的对象(移为他用),比如返回右值引用T&&的函数返回值 ,std::move的返回值,或者转换为T&&的类型转换函数的返回值,而剩余的可以标识函数,对象的值都属于左值。

在c++ 11中,所有的值必须为左值、纯右值、将亡值的三种的任一一种。

右值引用

c++ 11中,右值引用就是对一个右值进行引用 的类型,事实上,通常右值不巨有名称,我们只能通过引用来找到他的存在 一般情况下,我们只能从右值表达式获得他的引用

int && c = RetValue();

c++ 98的引用(左值引用)

c++ 98中的引用一般都称为左值引用

int d = 100;
int & dd = d;//这种是c++98里面的左值引用

左值引用是具名变量值的别名,右值引用是则是不具名(匿名)变量的别名

右值引用相当于给右值“续期”

在上面右值引用的例子中,RetValue()在函数返回右值表达式结束后,他的生命也就终结了,而右值引用的声明,又给他“重获新生”,他的生命周期将与他的右值引用c的生命周期一样,只要c还活前些,该右值临时变量都会一直存活下去

所以相比以下声明

CObj c = RetValue()

CObj && c = RetValue()

不使用右值引用就会多一次构造和析构

声明一个右值引用的类型前提是RetValue()返回的是一个右值,通常情况下右值引用是不能够绑定左值的。比如下面的代码是无法通过编译的

int d = 100;
int & dd = d;//这种是c++98里面的左值引用 
int && dd2 = d;//无法通过编译 ,编译器提示无法将右值引用绑定到左值

相应的,是否可以将一个左值引用绑定一个右值呢,例如:

int & d = 100;//不可以,编译错误

以上代码说明相应的左值引用无法绑定一个右值

但是c98有一种常左值引用就是const T&,这在c98里是“万能”引用类型,他可以接受,非常量左值,常量左值,右值对其初始化例如:

int d = 100;

const int e  = 100;

const int & c = d;//接受一个非常量左值
const int & v = e;//接受一个常量左值
const int & z = 3 + 4;//接受一个右值

c98中常量左值引用经常被用于降低临时对象的开销,例如:

int Add(const T & s1,const T & s2);

在c++ 11中,也可以用右值引用来做函数的参数,这样同样可以降低临时变量开销例如:

void Test(CTestObj && a) //在函数内部还可以修改引用a 的值

就本例而言我们可以这样写这个函数

void Test(CTestObj && a)
{
     CTestObj b = std::move(a)   ;
}

std::move的作用时,强制使一个左值成为右值,使用移动语义的前提是CTestObj还需要添加一个右值引用为参数的移动构造函数。

这样一来CTestObj类的临时对象(即ReturnValue的返回的临时值)包含一些大块指针,就可以从临时对象中“窃”为已用。事实上右值引用的存在从来就是和移动语义有关。

假如我们没有为CTestObj声明一个移动构造函数,而只声明一个常量左值为参数的构造函数会发生什么?如同我们前面所说的常量左值引用是一个万能的引用,无论常量左值,非常量左值,右值都可以。那么如果我们不声明移动构造函数,下列语句:

CTestObj b = std::move(a)

将调用常量左值引用为参数的拷贝构造函数。这是一种非常安全的设计----移动不成至少还可以执行拷贝。因此程序页会为声明了移动构造函数的类声明一个常量左值引用为参数的拷贝构造函数,以保证移动不成时可以拷贝构造 。

为了语义完整c++ 11中还存在一个常量右值引用例如:

const T && a = ReturnRValue()

不过常量右值引用一般没有用武之地。

std::move强制转化为右值

std::move并不能移动任何东西,他唯一的功能是将左值转化为右值,继而我们可以用右值引用引用这个值,以用于移动语义。

// rvalue_reference.cpp : 定义控制台应用程序的入口点。
// #include "stdafx.h"
#include <iostream>
class Moveable
{
public:
Moveable() :i(new int()) {}
~Moveable() { delete i;}
Moveable(const Moveable & s) : i(new int(*s.i)) {}
Moveable(Moveable && s) : i(s.i)
{
s.i = nullptr;
} int * i;
}; int _tmain(int argc, _TCHAR* argv[])
{
Moveable a;
Moveable c = a; //这里会调用拷贝构造函数 Moveable d;
Moveable e(std::move(d));//这里会调用移动构造函数 std::cout << *d.i << std::endl;//这里会出现违规访问此时i指针为nullptr return ;
}

以上是典型的误用std::move的例子,事实上要使用该必须是程序员清楚需要转换的时候。比如上面代码中程序员应该知道被转化为右值的a不可以再使用。我们需要转化为右值引用还是应该是一个确实生命周期即将结束的对象。

下面是一个正确使用std::move的例子

// rvalue_reference.cpp : 定义控制台应用程序的入口点。
// #include "stdafx.h"
#include <iostream> class HugeMem
{
public:
HugeMem(int size) : sz(size > ? size : )
{
c = new int[sz];
}
~HugeMem()
{
delete [] c;
}
HugeMem(HugeMem && hm) : sz(hm.sz), c(hm.c)
{
hm.c = nullptr;
} int *c;
int sz;
}; class Moveable
{
public:
Moveable() :i(new int()),h() {}
~Moveable() { delete i;}
Moveable(Moveable && s) : i(s.i), h(std::move(s.h))
{
s.i = nullptr;
}
HugeMem h;
int * i;
}; Moveable GetTemp()
{
Moveable temp = Moveable();
std::cout << std::hex << "huge mem GetTemp:" << " @" << temp.h.c << std::endl;
return temp; }
int _tmain(int argc, _TCHAR* argv[])
{
Moveable a(GetTemp());
std::cout << std::hex << "huge mem main:" << " @" << a.h.c << std::endl; return ;
}

运行结果:

c++ 11 移动语义、std::move 左值、右值、将亡值、纯右值、右值引用

由结果可以看出移动语义解决了拷贝语文带来的拷贝开销,在拷贝内存较大时,性能犹为明显

如果没有std::move会怎样?

因为移动构造函数的参数是 (T && b),右值引用参数可以接收的值为非常量右值,其它值都不可以转化为右值引用参数,所以必须要用到std::move

 

c++ 11 移动语义、std::move 左值、右值、将亡值、纯右值、右值引用的更多相关文章

  1. 左值 lvalue,右值 rvalue 和 移动语义 std&colon;&colon;move

    参考文章: [1] 基础篇:lvalue,rvalue和move [2] 深入浅出 C++ 右值引用 [3] Modern CPP Tutorial [4] 右值引用与转移语义 刷 Leetcode ...

  2. c&plus;&plus;11 标准库函数 std&colon;&colon;move 和 完美转发 std&colon;&colon;forward

    c++11 标准库函数 std::move 和 完美转发 std::forward #define _CRT_SECURE_NO_WARNINGS #include <iostream> ...

  3. 关于C&plus;&plus;11中的std&colon;&colon;move和std&colon;&colon;forward

    std::move是一个用于提示优化的函数,过去的c++98中,由于无法将作为右值的临时变量从左值当中区别出来,所以程序运行时有大量临时变量白白的创建后又立刻销毁,其中又尤其是返回字符串std::st ...

  4. &lbrack;C&sol;C&plus;&plus;&rsqb;关于C&plus;&plus;11中的std&colon;&colon;move和std&colon;&colon;forward

    http://www.cnblogs.com/cbscan/archive/2012/01/10/2318482.html http://blog.csdn.net/fcryuuhou/article ...

  5. C&plus;&plus; 11中的右值引用以及std&colon;&colon;move

    看了很多篇文章,现在终于搞懂了C++ 中的右值以及std::move   左值和右值最重要的区别就是右值其实是一个临时的变量 在C++ 11中,也为右值引用增加了新语法,即&&   比 ...

  6. 透彻理解C&plus;&plus;11新特性:右值引用、std&colon;&colon;move、std&colon;&colon;forward

    目录 浅拷贝.深拷贝 左值.右值 右值引用类型 强转右值 std::move 重新审视右值引用 右值引用类型和右值的关系 函数参数传递 函数返还值传递 万能引用 引用折叠 完美转发 std::forw ...

  7. Item 25&colon; 对右值引用使用std&colon;&colon;move,对universal引用则使用std&colon;&colon;forward

    本文翻译自<effective modern C++>,由于水平有限,故无法保证翻译完全正确,欢迎指出错误.谢谢! 博客已经迁移到这里啦 右值引用只能绑定那些有资格被move的对象上去.如 ...

  8. c&plus;&plus;11 std&colon;&colon;move&lpar;&rpar;

    简单点理解,c++11 中的std::move() 函数,实际上就是将一个左值强制转换成一个右值引用数据类型,从而可以调用相应的对右值引用重载的函数. 如果使用std::move() 的返回值做为参数 ...

  9. std&colon;&colon;move 移动对象资源

    场景: C++ 标准库使用比如vector::push_back 等这类函数时,会对参数的对象进行复制,连数据也会复制.这就会造成对象内存的额外创建, 本来原意是想把参数push_back进去就行了. ...

随机推荐

  1. C语言 文件操作6--文件打开方式详解

    fopen文件打开模式 r代表read的简写,+代表可读可写,w代表write,b代表bit二进制位,t代表text r 打开只读文件,该文件必须存在r+ 打开可读可写的文件,该文件必须存在(这里的写 ...

  2. SO&lowbar;REUSEADDR 和 SO&lowbar;REUSEPORT

    大部分内容来自*上的回答:Socket options SO_REUSEADDR and SO_REUSEPORT, how do they differ? Do they m ...

  3. 嵌入字体&commat;font-face

    嵌入字体@font-face @font-face能够加载服务器端的字体文件,让浏览器端可以显示用户电脑里没有安装的字体. 语法: @font-face { font-family : 字体名称; s ...

  4. Java基础知识强化23:Java中数据类型转换(面试题)

    1. 以下代码输出结果是( D ).                     public  class  Test   {                                       ...

  5. Java jsp基本结构

    <!DOCTYPE html> <!-- [ published at 2015-11-13 12:30:50 ] --> <html> <head> ...

  6. 初学者福音——10个最佳APP开发入门在线学习网站

    根据Payscale的调查显示,现在的APP开发人员的年薪达到:$66,851.这也是为什么那么多初学的开发都想跻身到APP开发这行业的主要原因之一.每当你打开App Store时候,看着琳琅满目的A ...

  7. Hibernate 检索方式之 HQL 检索方式

    HQL(Hibernate Query Language) 是面向对象的查询语言,它和 SQL 查询语言有些相似.在 Hibernate 提供的各种检索方式中,HQL 是使用最广的一种检索方式,它有如 ...

  8. 关于cisco日志的配置

    实例: en conf t clock timezone GMT+8  #设置北京时间 exit clock set HH:MM:SS DAY MONTH YEAR  #设置当前时间 service ...

  9. 网络编程,socket

    1.网络编程 网络: TCP/IP 彼此之间遵守协议和规范!之间才能产生通信! IP: 每个人都有自己的身份证号! 用来标识我们网络中每一台计算机! IP地址= 网络地址 +主机地址 网络地址 :标识 ...

  10. 最新OFFICE 0day漏洞分析

    漏洞概述 fireeye最近公布了一个OFFICE 0day,在无需用户交互的情况下,打开word文档就可以通过hta脚本执行任意代码.经过研究发现,此漏洞的成因主要是word在处理内嵌OLE2LIN ...