C++ 引用、构造函数、移动语义
1、引用
C++中的引用主要用作函数的形参,接近于const指针,必须在创建时初始化。
以Person类为例,如下:
Person p; //调用P的构造函数,创建对象P
Person &p2 = p; //引用变量P2指向P
Person p3 = p2; //P2是引用,创建一个p3的对象,会调用Person的拷贝构造函数,p3和p不是一个对象。
Person &P4 = get(p); //形参是引用,所以参数传入时不会再生成一个临时对象。
//返回一个引用,并将P4指向该引用。
Person P5 = get(p); //形参是引用,所以参数传入时不会再生成一个临时对象。
//返回一个引用,由于要创建一个P5的对象,所以会调用拷贝构造函数生成一个对象。
Person& get(Person &p)
{
return p;
}
实际上,现在的C++标准对于形参为const引用的C++函数,如果实参不匹配,那么编译器会生成临时变量,其行为也类似按值传递,为确保原始数据不被修改,将使用临时变量来存储值。所以尽可能地使用const。
上述提到的实参与引用参数不匹配的情况主要有两种:
1、实参类型正确,但是不是左值。
2、实参类型不正确,但是可以转换为正确的类型。
那什么是左值呢?左值参数即是可以被引用的数据对象,程序可以获取其地址,例如,变量、数组、对象、解引用的指针等都是左值。非左值包括字面常量(用引号括起来的字符串不算)和多项式,以及函数返回的临时对象(引用除外)。const变量也是左值,是一种特殊的左值,属于不可修改的左值。
以上的引用我们又称之为左值引用,C++11中新增了另一种引用,即右值引用。这种引用可以指向右值,使用&&声明。
double &&r3 = 5 + 9;//r3关联到13
将右值关联到右值引用将导致该右值被存储到特定的位置,且可以获取该位置地址。即我们虽然不能将取地址符用于14,但是我们可以用在r3上。这样我们就可以使用右值引用来访问该数据。
引入右值引用的主要目的之一是实现移动语义。
2、构造函数、拷贝构造函数、赋值运算符
在讲移动语义之前,先说一下构造函数、拷贝构造函数、赋值构造函数。C++为我们提供了4个特殊的成员函数,除了上面3个以外还包括析构函数,这里就不多说了。
Person();
Person(const Person & p);
Person& operator=(const Person &p);
函数原型如上所示,下面讲一下拷贝构造函数和赋值运算符的区别,以及何时会调用拷贝构造函数,何时会调用赋值运算符。
两者最根本区别在于:拷贝构造函数是用来创建对象,赋值运算符是用来将一个对象的值复制给另外一个对象。调用的是拷贝构造函数还是赋值运算符,主要是看是否有新的对象实例产生。如果产生了新的对象实例,那调用的就是拷贝构造函数;如果没有,那就是对已有的对象赋值,调用的是赋值运算符。
以下同样也Person为例
Person p = Person(); //构造函数
Person p1 = p; //p1对象不存在,p对象存在,调用拷贝构造函数
p1 = p; //p1和p对象都存在,调用赋值运算符
Person p2(p); //p2对象不存在,p对象存在,调用拷贝构造函数
Test::get(); //函数内部p对象创建,调用构造函数
//函数返回时临时对象不存在,p对象存在,调用拷贝构造函数
//释放内部p对象;接着释放临时对象
Person p3 = Test::get();//函数内部p对象创建,调用构造函数
//函数返回时临时对象不存在,p对象存在,调用拷贝构造函数
//释放内部p对象;
Test::get(p3); //什么都不调用
Person P4 = Test::get(p3);//调用一次拷贝构造函数,生成对象P4
class Test
{
public:
static Person& get(Person &p)
{
return p;
}
static Person get()
{
Person p;
return p;
}
};
3、移动语义、移动构造函数、移动赋值运算符
首先我们分析下为什么需要移动语义。
先看一下C++11之前的复制过程
Person p(get());
static Person get()
{
Person p2;
return p2;
}
首先会创建函数内对象p2,然后调用拷贝构造函数创建一个临时对象,接着再调用拷贝构造函数创建对象p,然后再将临时对象删除。这时就做了冗余的工作,如果直接将p与临时对象关联起来,那岂不就少做了很多工作吗?这类似于计算机中移动文件的情形:实际文件还留在原来的地方,而只是修改了记录,这种方法我们称为移动语义。移动语义实质上没有移动数据,而只是修改了记录。
怎么样才能使用移动语义呢?
必须让编译器知道什么时候需要使用什么时候不需要使用。
首先我们定义一个移动构造函数,这时就可以使用右值引用了,它使用右值引用作为参数,该引用关联到右值实参,负责调整记录,将所有权转移给新对象的过程中,移动构造函数可能会修改其实参,这意味着右值引用参数不应该是const。移动构造函数如下所示
Person(Person &&p)
使用的时候,需要传入右值。如下所示
Person P(P1+P2);
移动语义只在消除额外的工作,机智的编译器可能自动消除额外的赋值工作,但通过使用右值引用,程序员可以指出何时使用移动语义。
除了构造函数外,赋值运算符也可以使用移动语义。原型如下
Person& operator=( Person && p);
移动构造函数和移动赋值运算符都是用右值,如果想要使用左值,该如何办呢?可以使用std::move函数,该函数将左值转换成右值。对于大多数程序员来说,右值引用的好处并非让他们能够编写使用右值引用的代码,而是能够利用右值引用实现移动语义的库代码。例如,STL类现在都有拷贝构造函数,移动构造函数,复制赋值运算符,移动赋值运算符。
通常情况下编译器将提供6个特殊的成员函数,但是,如果您提供了析构函数、拷贝构造函数和复制赋值运算符,那么编译器将不提供移动构造函数和移动赋值运算符,相反,如果提供了移动构造函数和移动赋值运算符,那么编译器将不会提供拷贝构造函数和复制运算符。
C++ 引用、构造函数、移动语义的更多相关文章
- 【转】C++11 标准新特性: 右值引用与转移语义
VS2013出来了,对于C++来说,最大的改变莫过于对于C++11新特性的支持,在网上搜了一下C++11的介绍,发现这篇文章非常不错,分享给大家同时自己作为存档. 原文地址:http://www.ib ...
- C++11 标准新特性: 右值引用与转移语义
文章出处:https://www.ibm.com/developerworks/cn/aix/library/1307_lisl_c11/ 新特性的目的 右值引用 (Rvalue Referene) ...
- C++11 右值引用和转移语义
新特性的目的 右值引用 (Rvalue Referene) 是 C++ 新标准 (C++11, 11 代表 2011 年 ) 中引入的新特性 , 它实现了转移语义 (Move Sementics) 和 ...
- C++11中右值引用和移动语义
目录 左值.右值.左值引用.右值引用 右值引用和统一引用 使用右值引用,避免深拷贝,优化程序性能 std::move()移动语义 std::forward()完美转发 容器中的emplace_back ...
- C++11新特性之右值引用(&&)、移动语义(move)、完美转换(forward)
1. 右值引用 个人认为右值引用的目的主要是为了是减少内存拷贝,优化性能. 比如下面的代码: String Fun() { String str = "hello world"; ...
- C++11 右值引用 与 转移语义
新特性的目的 右值引用(R-value Reference)是C++新标准(C++11, 11代表2011年)中引入的新特性,它实现了转移语义(Move Semantics)和精确传递(Perfect ...
- [c++11]右值引用、移动语义和完美转发
c++中引入了右值引用和移动语义,可以避免无谓的复制,提高程序性能.有点难理解,于是花时间整理一下自己的理解. 左值.右值 C++中所有的值都必然属于左值.右值二者之一.左值是指表达式结束后依然存在的 ...
- [转][c++11]我理解的右值引用、移动语义和完美转发
c++中引入了右值引用和移动语义,可以避免无谓的复制,提高程序性能.有点难理解,于是花时间整理一下自己的理解. 左值.右值 C++中所有的值都必然属于左值.右值二者之一.左值是指表达式结束后依然存在的 ...
- Effective Modern C++:05右值引用、移动语义和完美转发
移动语义使得编译器得以使用成本较低的移动操作,来代替成本较高的复制操作:完美转发使得人们可以撰写接收任意实参的函数模板,并将其转发到目标函数,目标函数会接收到与转发函数所接收到的完全相同的实参.右值引 ...
- 关于C++11右值引用和移动语义的探究
关于C++11右值引用和移动语义的探究
随机推荐
- jdbc导致的问题
遇到的问题:利用eclipse编写web project,Tomcat服务器成功开启,也通过build path导入了jdbc的路径,但是还是出现下面问题 连接数据库代码如下: 连接数据库语句没有问题 ...
- springboot使用Redis,监听Redis键过期的事件设置与使用代码
我使用的是Windows下的Redis服务,所以一下Redis设置都是在Windows平台进行. 1.修改Redis配置文件 1.1:Windows下的Redis存在两个配置文件 修改带有servic ...
- dskinlite(uieasy mfc界面库)使用记录1: schema验证xml
市场上的MFC第三方库很多,最终选定dskinlite企业版,成熟度比较高,当然价格也略贵. 在2017年仍然使用MFC是有些另类,但特定场景很适用,也适合不愿转型的老程序员. 目前处于学习阶段,欢迎 ...
- Replace To Make Regular Bracket Sequence
Replace To Make Regular Bracket Sequence You are given string s consists of opening and closing brac ...
- Mad Libs游戏
一. 简单的输入输出 输入代码 name1=input('请输入姓名:') name2=input('请输入一个句子:') name3=input('请输入一个地点:') name4=input('请 ...
- BCode解码练习
在学习BT协议中的一个小练习 参考了 https://github.com/airtrack/bitwave 具体B编码解释 可以自行搜索或者参考 这篇文章 bittorrent 学习(一) 种子文件 ...
- 笔记javascript
// var demo1=12;// alert('点击确定按钮看结果'+demo1);// for(var i = 0; i<10;i++)// {// document.write( ...
- 检测2个url的不同之处(爬虫分析接口)
就是简单的检测2个url的不同之处,在做爬虫时,要分析接口地址的不同之处,靠自己的眼睛有点累,所以写了一个小程序,不喜勿喷 #测试数据 a = "https://list.tmall.com ...
- 图解HTTP第三章
HTTP 报文内的 HTTP信息 用于 HTTP 协议交互的信息被称为 HTTP 报文.HTTP 报文本身是由多行(用 CR+LF 作换行符)数据构成的字符串文本. HTTP 报文大致可以分为两类:请 ...
- 7.地图随机装饰,与转化过程补充,与ai的设计思路
这两天本来只想实现地图的随机装饰,然后发现以前的bin格式设计存在不足,所以最后不得不去改地图,并去重制整个地图的阶段,此篇总结这个过程 先描述下bin结构 首先地图由无数六边形组合,一个六边形由两层 ...