【C++学习】C++11新特性(第二节)—— 右值引用与移动语义超详解

在这里插入图片描述

文章目录

  • 文章简介
  • 二.右值引用
      • 1.什么是左值,什么是右值?什么是左值引用,什么是右值引用?
      • 2.左值引用与右值引用比较
  • 三.右值引用使用场景和意义
      • 1.左值引用的使用场景:
      • 2.左值引用的短板:
      • 3.右值引用与移动构造
      • 4.有了右值引用STL库的变化
      • 5.模板中的&& 万能引用
      • 6.完美转发
      • 7.新的类功能
        • 1.默认成员函数
        • 2.强制生成默认函数的关键字default:
        • 3.禁止生成默认函数的关键字delete:

文章简介

本篇文章续上篇文章C++11特性的讲解,这篇主要讲解C++11的新特性:右值引用与移动语义。
本篇文章会涵盖: 左值与右值的区别,怎么去区分左值与右值。右值引用的概念,为什么要增加右值引用,右值引用的作用,解决了什么问题, 右值引用与左值引用的比较,右值引用的使用场景,右值引用的注意事项,完美转发的使用,C++11后容器新增的两个默认函数等等

二.右值引用

1.什么是左值,什么是右值?什么是左值引用,什么是右值引用?

  1. 左值:左值就是那些可以出现在赋值符号左边的东西,它标识了一个可以存储结果值的地点。例如:一些变量名或解引用的指针 ,左值可以取地址的,一般可以对它赋值,一般可以修改(除const 修饰),可以出现在赋值运算符的左边,右值不能出现在赋值运算符的左边。左值引用就是对左值的引用,给左值取别名。

程序在编译时,编译器会为每个变量分配一个地址(左值),这个地址在编译是即可知。

int& func(int& x)       //func函数的返回值也是左值
{                       //因为func函数返回的是x,x是其他变量的别名,当func函数结束时,x没有被销毁,是有地址的x*=3;return x;
}int main()
{//一些左值的例子int _a = 10;  int* p = &_a;const int _b = 10;//_b = 20;   //不能修改//他们都是可以取地址的。//左值引用int& pa = _a;int*& pp = p;const int& pb = _b;int& ret = func(_a);return 0;
}
  1. 右值:右值就是那些可以出现在赋值符号右边的东西,它必须具有一个特定的值。
    右值也是一个表示数据的表达式,如:字面常量、表达式返回值,函数返回值(这个不能是左值引用返回)等等,右值可以出现在赋值符号的右边,但是不能出现出现在赋值符号的左边,右值不能取地址。右值引用就是对右值的引用,给右值取别名。

与左值相反,变量中存储的那个值(右值),只有在运行时才可知,且只有要用到变量中存储的值时,编译器才会发出指令从指定的地址读入变量的值,并将它存于寄存器中。也就是说,右值就是一个数字或一个字面值或一个常量或一个式子等,它并不标识任何位置。

int func()     //传值返回,函数结束后,局部变量a就销毁了,就没有地址
{              //所以是右值int a = 10;return a;
}
int main()
{int x = 10;int y = 10;10;      //字面量x + y;   //式子func();  //返回值是右值//右值引用int&& _a = 10;int&& _x = func();    int&& add = x + y; return 0;
}

注意:右值是不能取地址的,如字面量10是没有地址的,但是给右值取别名后,会导致右值被存储到特定位置,且可以取到该位置的地址,也就是说_a是可以取地址的。

总结:
左值可以取地址,右值不能取地址。不能以是否能修改判断是左值还是右值,因为左值加了const也不能被修改。

2.左值引用与右值引用比较

左值引用总结:

  1. 左值引用一般只能引用左值,不能引用右值。
  2. 但是const左值引用既可引用左值,也可引用右值。
int main()
{// 左值引用只能引用左值,不能引用右值。int a = 10;int& ra1 = a;// ra为a的别名//int& ra2 = 10;   // 编译失败,因为10是右值// const左值引用既可引用左值,也可引用右值。const int& ra3 = 10;const int& ra4 = a;return 0;
}

右值引用总结:

  1. 右值引用一般只能引用右值,不能引用左值。
  2. 但是右值引用可以move以后的左值。

关键字move
move可以将右值转为左值,但是不能将左值转为右值。move(x)不是将x变为右值,是move()后的返回值是左值,x本身属性没有改变。

int main()
{// 右值引用只能右值,不能引用左值。int&& r1 = 10;// error C2440: “初始化”: 无法从“int”转换为“int &&”// message : 无法将左值绑定到右值引用int a = 10;int&& r2 = a;// 右值引用可以用move,move以后右值可以变为左值int&& r3 = std::move(a);return 0;
}

三.右值引用使用场景和意义

前面所学了左值引用,左值引用解决了传值传参:利用左值引用会减少在传值传参要进行拷贝的问题。函数返回值的问题(函数结束该变量(对象)没有别销毁可以用左值引用返回,也可以减少拷贝)

1.左值引用的使用场景:

做参数和做返回值都可以提高效率。

void func1(map<string, string> dict1)
{}
void func2(const map<string,string>& dict2)
{}int main()
{map<string, string> dict;   //假设dict很大func1(dict);    //会调用map的拷贝构造,用dict构造dict1func2(dict);    //dict2直接是dict的别名,不用拷贝构造// string operator+=(char ch) 传值返回存在深拷贝// string& operator+=(char ch) 传左值引用没有拷贝提高了效率s1 += '!';return 0;
}

2.左值引用的短板:

但是当函数返回对象是一个局部变量,出了函数作用域就不存在了,就不能使用左值引用返回,只能传值返回。传值返回会导致2次拷贝构造,如果编译器优化了,就是一个拷贝构造。

例如:

namespace XX
{class string{public:string(const char* str = ""):_size(strlen(str)), _capacity(_size){cout << "构造" << endl;_str = new char[_capacity + 1];strcpy(_str, str);}void swap(string& s){::swap(_str, s._str);::swap(_size, s._size);::swap(_capacity, s._capacity);}// 拷贝构造string(const string& s):_str(nullptr){cout << "拷贝构造" << endl;string tmp(s._str);swap(tmp);}// 赋值重载string& operator=(const string& s){cout << "赋值拷贝" << endl;string tmp(s);swap(tmp);return *this;}~string(){delete[] _str;_str = nullptr;}private:char* _str;size_t _size;size_t _capacity; };
}XX::string func(const XX::string& s)
{XX::string str(s);return str;
}
int main()
{XX::string s1("hello");XX::string ret1 = func(s1);return 0;
}

如图:
在这里插入图片描述

解析:
上面示例代码中,func()函数的返回值是一个右值,会用这个值去构造ret1,因为XX::里面string类的拷贝构造的参数是const string& ,是一个const 左值引用,所以不仅可以引用左值,也可以引用右值。这里就会拷贝构造,是一个深拷贝。

3.右值引用与移动构造

上面的场景,有没有可以不用拷贝就能解决的办法呢?

可以用右值引用和移动语义解决上述问题:
在XX::string中增加移动构造,移动构造本质是将参数右值的资源窃取过来,占位已有,那么就不用做深拷贝了,所以它叫做移动构造,就是窃取别人的资源来构造自己。

// 拷贝构造
string(const string& s):_str(nullptr)
{cout << "拷贝构造" << endl;string tmp(s._str);swap(tmp);
}
//移动构造
string(string&& s):_str(nullptr)
{cout << "移动构造" << endl;   //打印只是方便观察swap(s);
}

移动构造原理:

先用str去拷贝构造一个临时对象(右值),用临时对象又去拷贝构造s1,拷贝完成后,临时对象再被销毁。
移动构造就是利用了临时对象反正就会被销毁的特点,直接将s1与临时对象交换,然后临时对象再把s1析构掉。
所以重载了一个构造函数(移动构造),移动构造的参数为右值引用,所以临时对象构造s1的时候,编译器会走更匹配的移动构造,而不会走拷贝构造。

如下图解:

编译器不优化前: 需要做一次拷贝。
在这里插入图片描述
编译器优化后: 不用拷贝构造
在这里插入图片描述

编译器优化后可以理解为:返回值str本身是一个左值,经过编译器处理后,可以猜测编译器可能将它move变成了右值,然后根据优先匹配更合适的原则,直接走移动构造,减少拷贝。

除了有移动拷贝,还有移动赋值

// 赋值重载
string& operator=(const string& s)
{cout << "赋值拷贝" << endl;string tmp(s);swap(tmp);return *this;
}
// 移动赋值
string& operator=(string&& s)
{cout << " 移动赋值" << endl;swap(s);return *this;
}

当我们将上面的代码改成两个语句时:

XX::string func(const XX::string& s)
{XX::string str(s);return str;
}
int main()
{XX::string s1("hello");XX::string ret1 ;ret1 = func(s1);return 0;
}

这里编译器就不会优化了,只有是同一条语句连续构造或赋值时,编译器才会优化处理。
这里运行后,我们看到调用了一次移动构造和一次移动赋值。因为这里是用一个已经存在的对象接收。
XX::func() 函数中会先用str构造生成一个临时对象,但是我们可以看到,编译器很聪明的在这里把str识别成了右值,调用了移动构造。然后在把这个临时对象做为XX::func()函数调用的返回值赋值给ret1,这里调用的移动赋值。

4.有了右值引用STL库的变化

STL中的容器都是增加了移动构造和移动赋值:列举几个常见的容器:
在这里插入图片描述

void push_back (value_type&& val);
int main()
{list<bit::string> lt;bit::string s1("1111");
// 这里调用的是拷贝构造lt.push_back(s1);// 下面调用都是移动构造lt.push_back("2222");lt.push_back(std::move(s1));return 0;
}

5.模板中的&& 万能引用

按我们的理解,根据编译器匹配原则,如果要写一个函数的参数既可以接受左值,也可以接受右值的话,就得写4个重载。但实际上不用,只需要写一个即可。

void Fun(int &x){ cout << "左值引用" << endl; }
void Fun(const int &x){ cout << "const 左值引用" << endl; }
void Fun(int &&x){ cout << "右值引用" << endl; }
void Fun(const int &&x){ cout << "const 右值引用" << endl; }

但实际上不需要,只需要写一个即可,如下:

void Fun(T&& x)     //这一个可以推演出上面的4个

解析:
模板中的&&不代表右值引用,而是万能引用,其既能接收左值又能接收右值
模板的万能引用只是提供了能够接收同时接收左值引用和右值引用的能力,但是引用类型的唯一作用就是限制了接收的类型,后续使用中都退化成了左值,也就是一个右值,被引用后属性就变为了左值我们希望能够在传递过程中保持它的左值或者右值的属性, 就需要用我们下面学习的完美转发。
注意:也就是右值被右值引用过后,该引用就变成了左值属性。

int main()
{int&& x = 10; //右值被右值引用过后,该引用就变成了左值属性x++;   //可以修改cout << &x << endl;  //可以取地址const int&& y = 10;   //y++;        //加了const后,这个引用就不能被修改了cout << &y << endl;  //可以取地址//右值引用的底层是一个指针,实际上是将10拷贝到一个区域(相当于在栈上开了一个临时空间把10存起来)//然后右值引用就是指向了这块空间return 0;
}

右值引用后属性改变的例子:

void Fun(int &x){ cout << "左值引用" << endl; }
void Fun(const int &x){ cout << "const 左值引用" << endl; }
void Fun(int &&x){ cout << "右值引用" << endl; }
void Fun(const int &&x){ cout << "const 右值引用" << endl; }
// std::forward<T>(t)在传参的过程中保持了t的原生类型属性。
template<typename T>
void PerfectForward(T&& t)
{Fun(t);
}
int main()
{PerfectForward(10);           // 右值int a;PerfectForward(a);            // 左值PerfectForward(std::move(a)); // 右值const int b = 8;PerfectForward(b);      // const 左值PerfectForward(std::move(b)); // const 右值return 0;}
//运行结果:
//左值引用
//左值引用
//左值引用
//const 左值引用
//const 左值引用

为什么属性会改变?

//移动构造
string(string&& s):_str(nullptr)
{cout << "移动构造" << endl;   //打印只是方便观察swap(s);
}

根据上面的代码进行分析:
如果右值引用过后,属性还是右值的话,那么s的属性为右值,则不能改变,就不能交换资源了。

6.完美转发

std::forward 完美转发在传参的过程中保留对象原生类型属性
forward作用的对象,如果是左值,则属性不变,如果是右值,右值引用过后,变成左值,然后forward将它变为右值。

举个例子:

void Fun(int& x) { cout << "左值引用" << endl; }
void Fun(const int& x) { cout << "const 左值引用" << endl; }
void Fun(int&& x) { cout << "右值引用" << endl; }
void Fun(const int&& x) { cout << "const 右值引用" << endl; }template<typename T>
void PerfectForward(T&& t)
{Fun(forward<T>(t));
}
int main()
{PerfectForward(10);    // 右值int a;PerfectForward(a);     // 左值PerfectForward(std::move(a)); // 右值const int b = 8;PerfectForward(b);    // const 左值PerfectForward(std::move(b)); // const 右值return 0;
}
//运行结果:
//右值引用
//左值引用
//右值引用
//const 左值引用
//const 右值引用

7.新的类功能

1.默认成员函数

原来C++类中,有6个默认成员函数:

  1. 构造函数

  2. 析构函数

  3. 拷贝构造函数

  4. 拷贝赋值重载

  5. 取地址重载

  6. const 取地址重载
    最后重要的是前4个,后两个用处不大。默认成员函数就是我们不写编译器会生成一个默认的。C++11 新增了两个:移动构造函数和移动赋值运算符重载。
    针对移动构造函数和移动赋值运算符重载有一些需要注意的点如下:

    • 如果你没有自己实现移动构造函数,且没有实现 析构函数 、拷贝构造、拷贝赋值重载中的任意一个。那么编译器会自动生成一个默认移动构造。默认生成的移动构造函数,对于内置类型成员会执行逐成员按字节拷贝,自定义类型成员,则需要看这个成员是否实现移动构造,如果实现了就调用移动构造,没有实现就调用拷贝构造。
    • 如果你没有自己实现移动赋值重载函数,且没有实现析构函数拷贝构造、拷贝赋值重载中的任意一个,那么编译器会自动生成一个默认移动赋值。
    • 默认生成的移动构造函数,对于内置类型成员会执行逐成员按字节拷贝,自定义类型成员,则需要看这个成员是否实现移动赋值,如果实现了就调用移动赋值,没有实现就调用拷贝赋值。(默认移动赋值跟上面移动构造完全类似) 如果你提供了移动构造或者移动赋值,编译器不会自动提供拷贝构造和拷贝赋值。
2.强制生成默认函数的关键字default:

C++11可以让你更好的控制要使用的默认函数。假设你要使用某个默认的函数,但是因为一些原因这个函数没有默认生成。比如:我们提供了拷贝构造,就不会生成移动构造了,那么我们可以使用default关键字显示指定移动构造生成。

class string
{string()=default;   //强制生成默认构造
} 
3.禁止生成默认函数的关键字delete:

如果能想要限制某些默认函数的生成,在C++98中,是该函数设置成private,并且只声明补丁已,这样只要其他人想要调用就会报错。在C++11中更简单,只需在该函数声明加上=delete即可,该语法指示编译器不生成对应函数的默认版本,称=delete修饰的函数为删除函数

class string
{string()=delete;   //强制生成默认构造
} 

补充如果想要一个类,不让实例化,还有什么办法?

将构造函数声明放在类里面,且私有,不给定义。
这样类外面不能访问类私有,就访问不到构造函数,就无法实例化。类里面只有构造函数的声明,没有定义,也无法实例化。

🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈🙈
本章完~

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/806767.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Axure RP中的相关概念及高保真原型构建方法

1 Axure RP中概念介绍 对于构建高保真原型来说&#xff0c;需要知道事件&#xff08;Event&#xff09;、Case、Action等概念。Axure RP中给出这些概念&#xff0c;是为了方便原型的构建&#xff0c;尤其是高保真原型的构建。 事件&#xff08;Event&#xff09;是附着于控件…

PHP自助建站系统,小白也能自己搭建网站

无需懂代码&#xff0c;用 自助建站 做企业官网就像做PPT一样简单&#xff0c;您可以亲自操刀做想要的效果&#xff01; 自助建站是一款简单、快捷、高效的工具&#xff0c;可以帮助您制作响应式网站。我们的自助建站系统&#xff0c;将传统的编码工作转化为直观的拖拽操作和文…

buuctf之jarvisoj_level2

一、查看属性 首先还是必要的查看属性环节&#xff1a; 可以知道该文件是一个x86架构下的32位小段ELF程序&#xff0c;开启了栈不可执行&#xff08;NX&#xff09;保护&#xff0c;ret2shellcode是不行的 简单执行可以看到有一个简单的输入后输出hello world 二、静态分析 …

程序员学CFA——数量分析方法(二)

数量分析方法&#xff08;二&#xff09; 数理统计基础统计学的基本概念描述性统计学与推断性统计学总体与样本四种度量尺度名义尺度排序尺度区间尺度比率尺度 数据的展现频率分布直方图与频数多边形 中心趋势均值算术平均几何平均调和平均数加权平均 中位数众数 离散程度绝对离…

Vue2(十五):replace属性、编程式路由导航、缓存路由组件、路由组件独有钩子、路由守卫、history与hash

一、router-link的replace属性 1、作用&#xff1a;控制路由跳转时操作浏览器历史记录的模式 2、浏览器的历史记录有两种写入方式&#xff1a;分别为push和replace&#xff0c;push是追加历史记录&#xff0c;replace是替换当前记录。路由跳转时候默认为push 3、如何开启repla…

【40分钟速成智能风控8】智能反欺诈模型2

目录 ​编辑 智能反欺诈模型 图计算 智能信用风险模型 专家模型 逻辑回归 决策树 集成树 深度神经网络 循环神经网络 智能反欺诈模型 图计算 图计算&#xff08;Graph Computing&#xff09;是以关联图谱为基础引申出来的一类算法的统称&#xff0c;主要解决了图数…

windows linux服务器 以及Azure平台 密码策略配置

密码策略配置 windows 服务器Ubuntu 服务器安装libpam-pwquality密码质量检查库设置密码过期的天数密码策略限制使用过去使用过的密码 centos 7 服务器设置密码过期的天数设置最小密码长度限制使用过去使用过的密码 Azure云默认密码策略 windows 服务器 WinR或右键开始—运行—…

头歌-机器学习 第12次实验 Adaboost算法

第1关&#xff1a;什么是集成学习 任务描述 本关任务&#xff1a;根据本节课所学知识完成本关所设置的选择题。 相关知识 为了完成本关任务&#xff0c;你需要掌握&#xff1a;1.什么是集成学习。 什么是集成学习 集成学习方法是一种常用的机器学习方法&#xff0c;分为b…

Vue2.x实现商城购物车

1.实现购物车页面 在页面中显示购物车中的商品信息&#xff0c;并能进行数量增减及商品删除操作&#xff0c;购物车中金额也随商品数量的变化而变化 2.创建cart.html页面 创建cart.html页面&#xff0c;在其中创建Vue实例&#xff0c;实例中首先准备一些商品信息以供显示&a…

天软特色因子看板 (2024.4 第3期)

该因子看板跟踪天软特色因子A05005(近一月单笔流出金额占比(%)&#xff0c;该因子为近一月单笔流出金额占比(% 均值因子&#xff0c;用以刻画下跌时的 单成交中可能存在的抄底现象 今日为该因子跟踪第3期&#xff0c;跟踪其在SH000852 (中证1000) 中的表现&#xff0c;要点如下…

微信小程序转盘抽奖

场景&#xff1a; 在微信小程序里面开展抽奖活动使用转盘抽奖&#xff1b;类似下图&#xff08;图片来自百度&#xff09; 方法&#xff1a; 使用lukcy-canvas组件 在 微信小程序 中使用 | 基于 Js / TS / Vue / React / 微信小程序 / uni-app / Taro 的【大转盘 & 九宫…

Dolphinscheduler单机部署

目录 概述实践二进制包前置准备工作解压并启动 Dolphinscheduler登录 Dolphinscheduler启停服务配置数据库 结束 概述 Standalone仅适用于 Dolphinscheduler 的快速体验 实践 官网 官网standalone 二进制包 二进制包&#xff1a;在下载页面下载 Dolphinscheduler 二进制包…

IO流【 文件字符输入、出流;带缓冲区的字符输入、出流;对象流】

day36 IO流 字符流继承图 字符流 继day35 应用场景&#xff1a;操作纯文本数据 注意&#xff1a;字符流 字节流编译器 编译器&#xff1a;可以识别中文字符和非中文字符&#xff0c;非中文字符获取1个字节&#xff08;一个字节一个字符&#xff09;&#xff0c;编译器会根据…

深入浅出Golang image库:编写高效的图像处理代码

深入浅出Golang image库&#xff1a;编写高效的图像处理代码 引言image库概览图像处理基础概念image库的主要组成和功能image接口图像格式的支持color模型 结论 图像的基本操作创建图像新图像的创建从文件加载图像 图像的保存与导出图像的颜色和像素处理绘制基本形状和文字 高级…

【开源社区】openEuler、openGauss、openHiTLS、MindSpore

【开源社区】openEuler、openGauss、openHiTLS、MindSpore 写在最前面开源社区参与和贡献的一般方式开源技术的需求和贡献方向 openEuler 社区&#xff1a;开源系统官方网站官方介绍贡献攻略开源技术需求 openGauss 社区&#xff1a;开源数据库官方网站官方介绍贡献攻略开源技术…

数据结构(三)----栈和队列

目录 一.栈 1.栈的基本概念 2.栈的基本操作 3.顺序栈的实现 •顺序栈的定义 •顺序栈的初始化 •进栈操作 •出栈操作 •读栈顶元素操作 •若使用另一种方式: 4.链栈的实现 •链栈的进栈操作 •链栈的出栈操作 •读栈顶元素 二.队列 1.队列的基本概念 2.队列的基…

关于ABP 新增表,dbfirst模式

下面的代码是基于abp生成的项目&#xff0c;项目名&#xff1a;Store 1.在Domain结尾的项目中通过EF工具生成数据实体&#xff1a; Scaffold-DbContext Data Source服务器IP;Initial Catalog数据库;User Idsa;Password密码;EncryptFalse; Microsoft.EntityFrameworkCore.SqlS…

Java基础_15集合及其方法

今天的内容 1.集合 1.集合【重点】 1.1为什么使用集合 集合和数组是一样的都是用来存储数据的&#xff01;&#xff01;&#xff01; 真实的开发的时候&#xff0c;使用的是集合不是数组&#xff0c;为啥&#xff1f; 数组存数据: ​ 1.数组的容量是固定的 ​ 2.数组封装的方法…

慢品人间烟火色,闲观万事岁月长

小女孩的衣柜里&#xff0c;怎能缺少一套别致的新中式穿搭&#xff1f;让我们的小公主在时尚与传统中寻找平衡 演绎属于自己的中国风魅力精致的小立领&#xff0c;淡淡的文艺复古气息 上衣系带设计&#xff0c;外加一层高透轻纱穿上身如亭亭玉立的大小姐整个人仿佛笼罩了一层…