从C++17开始,RVO优化强制使用,但NRVO优化并不强制使用。
我们以下面的类作为示例:
class TestO
{
public:
TestObj()
{
std::cout << "调用构造函数" << std::endl;
}
TestObj(const TestObj& Obj) {
std::cout << "调用拷贝构造函数 " << std::endl;
}
TestObj& operator=(const TestObj& obj) {
std::cout << "调用赋值构造函数" << std::endl;
return *this;
}
~TestObj() {
std::cout << "调用析构函数" << std::endl;
}
};
RVO优化:如果函数返回一个无名的临时对象,该对象将被编译器移动或拷贝到目标中,在此时,编译器可以优化代码以减少对象的构造,即省略拷贝或移动。
TestObj fun()
{
return TestObj();
}
int main()
{
TestObj Obj = fun();
};
RVO优化结果如下:
NRVO优化:针对于一个命名的对象,仅适用不是函数参数的局部变量。
TestObj fun() {
TestObj obj;
return obj;
}
int main()
{
TestObj Obj = fun();
};
NRVO优化结果如下:
1) 使用常量左值引用接收左值和右值
const int& i = 5;
注意:引用之后,“5的生命周期被延长”,语句结束后5右值被销毁,在i变量处开辟内存并存入5值。
/** 拷贝构造函数 */
TestObj(const TestObj& Obj)
{
std::cout << "调用拷贝构造函数 " << std::endl;
}
/** 赋值构造函数 */
TestObj& operator=(const TestObj& obj)
{
std::cout << "调用赋值构造函数" << std::endl;
return *this;
}
在拷贝构造函数中使用const T&
即能接收左值,也能接收临时变量返回的值。
注意:
(1)此处如果不加const,传入临时变量还是没有报错的话,是发生了上述的RVO优化,并没有发生拷贝构造函数。
(2)这种不安全的代码最好放在{}内部。
2)左值引用作为函数传参能减少拷贝构造函数的调用
TestObj f(TestObj& test)
{
return test;
}
注意:含有移动语义的函数,如果在转移过程中抛出了异常,即对象的一部分转移了而一部分没有,这种情况是非常危险的,所有需要使用noexcpt说明符限制函数,程序会调用std::terminate中止执行,以免造成不良影响。
右值引用最大作用就是实现了移动语义,在拷贝大量内存的时候,提高了性能消耗并且减少了内存的空间碎片。
首先我们先区分一下什么是亡值和纯右值:
/** 亡值表达式 */
// 返回类型是对象的右值引用的函数调用
// 无条件转换为亡值表达式
f(std::move(p));
// 强制转换到对象的右值引用类型的转换表达式
f(static_cast<int&&>(p));
/** 纯右值表达式 */
// 常量
f(50);
true;
nullptr;
// 取地址表达式
this;
f(&a);
// lambda表达式
f([] {
return 1; } ());
// 数字运算表达式
int a; int b;
f(a + b);
f(a & b);
产生将亡值的途径有两种:
(1)使用强制类型转化,将泛左值转化为纯右值。
(2)临时量实质化,如下例子,X()
是一个纯右值,而访问成员变量a
需要一个泛左值,因此将X()
转化为临时变量将亡值,才能访问其成员变量a
。
struct X
{
int a;
};
int main()
{
int b = X().a;
};
需要注意c++17后才强制此概念,我们使用汇编对c++14和c++17进行区别,我们不开启RVO优化,结果如下所示:
可以发现C++17少了两次拷贝构造,因为函数返回的是纯右值,而不需要对其进行实质化,那么在返回时并不会调用其拷贝构造。将亡值可以看作一个连接左右值的中间变量,使得只有当程序用到该纯右值时才会将其实质化,这使得我们的程序更加的聪明,这就是C++17中要引入将亡值和纯右值来区分右值的原因。
问:左值怎么转化为右值,其应用场景是什么?
int a = 14;
int&& b= static_cast<int&&>(a);
注意:此处虽然将左值转化为将亡值,但是不是纯右值,因此有着之前相同的生命周期和内存地址。
在一个函数体内部,用一个右值引用作为参数,但在这个函数体内它是左值,这时就需要用到强制转化。
void f(TestObj&& i)
{
// i虽然用一个右值引用接收,但在这个函数体内部它是左值
// 调用拷贝构造函数
TestObj obj(i);
}
int main()
{
f(TestObj());
};
上述调用了拷贝构造函数,但这并不是我们所期望的结果,i
虽然是左值但是之后就没有用了,我们的希望还是将其进行转移。
void f(TestObj&& i)
{
// i虽然用一个右值引用接收,但在这个函数体内部它是左值
// 虽然是左值,但是该左值是没有什么意义的
// 因此将其转化为亡值,发生转移,同时i的原本地址也是没有任何意义了
TestObj obj(static_cast<TestObj&&>(i));
}
int main()
{
f(TestObj());
};
/** 模板中的万能引用 */
template<class T>
void f(T&& t)
{
}
/** auto */
auto&& i;
万能引用的引用折叠规则如下:
类型模板 | T实际类型 | 最终类型 |
---|---|---|
T& | R | R& |
T& | R& | R& |
T& | R&& | R& |
T&& | R | R&& |
T&& | R& | R& |
T&& | R&& | R&& |
可以发现:如果模板为T&
,接收的永远为左值引用,如果是T&&
,则就是万能引用。
TestObj f(TestObj&& test)
{
return test;
}
int main()
{
TestObj test = f(TestObj());
};
在C++20之前,由于test在函数体中是左值,所以会调用移动构造函数;而C++20中在此处进行了优化。
定义了可隐式移动对象:
(1)可隐式移动对象是一个非易失或者右值引用的非易失自动存储的对象,
(2)是return返回、lambda表达式中的对象
(3)throw中抛出的对象。
下面也可以看到C++17与C++20对上述代码的区别。
/** forward源码 */
template <class _Ty>
_NODISCARD constexpr _Ty&& forward(remove_reference_t<_Ty>&& _Arg) noexcept
{
// forward an rvalue as an rvalue
static_assert(!is_lvalue_reference_v<_Ty>, "bad forward call");
// 使用万能引用的引用折叠将T原本的类型返回
return static_cast<_Ty&&>(_Arg);
}
/** move源码 */
template <class _Ty>
_NODISCARD constexpr remove_reference_t<_Ty>&& move(_Ty&& _Arg) noexcept
{
// forward _Arg as movable
// remove_reference_t<_Ty>强制将引用删除,强制返回T&&类型
return static_cast<remove_reference_t<_Ty>&&>(_Arg);
}
区别:
(1)两者都使用了static_cast<_Ty&&>对类型进行强制转化。
(2)forward类似于转发的功能,返回的是一个万能引用;而move强制将所有类型都转化为亡值类别。
文章浏览阅读3.8k次,点赞9次,收藏28次。直接上一个工作中碰到的问题,另外一个系统开启多线程调用我这边的接口,然后我这边会开启多线程批量查询第三方接口并且返回给调用方。使用的是两三年前别人遗留下来的方法,放到线上后发现确实是可以正常取到结果,但是一旦调用,CPU占用就直接100%(部署环境是win server服务器)。因此查看了下相关的老代码并使用JProfiler查看发现是在某个while循环的时候有问题。具体项目代码就不贴了,类似于下面这段代码。while(flag) {//your code;}这里的flag._main函数使用while(1)循环cpu占用99
文章浏览阅读347次。idea shift f6 快捷键无效_idea shift +f6快捷键不生效
文章浏览阅读135次。Ecmacript 中没有DOM 和 BOM核心模块Node为JavaScript提供了很多服务器级别,这些API绝大多数都被包装到了一个具名和核心模块中了,例如文件操作的 fs 核心模块 ,http服务构建的http 模块 path 路径操作模块 os 操作系统信息模块// 用来获取机器信息的var os = require('os')// 用来操作路径的var path = require('path')// 获取当前机器的 CPU 信息console.log(os.cpus._node模块中有很多核心模块,以下不属于核心模块,使用时需下载的是
文章浏览阅读10w+次,点赞435次,收藏3.4k次。SPSS 22 下载安装过程7.6 方差分析与回归分析的SPSS实现7.6.1 SPSS软件概述1 SPSS版本与安装2 SPSS界面3 SPSS特点4 SPSS数据7.6.2 SPSS与方差分析1 单因素方差分析2 双因素方差分析7.6.3 SPSS与回归分析SPSS回归分析过程牙膏价格问题的回归分析_化工数学模型数据回归软件
文章浏览阅读7.5k次。如何利用hutool工具包实现邮件发送功能呢?1、首先引入hutool依赖<dependency> <groupId>cn.hutool</groupId> <artifactId>hutool-all</artifactId> <version>5.7.19</version></dependency>2、编写邮件发送工具类package com.pc.c..._hutool发送邮件
文章浏览阅读867次,点赞2次,收藏2次。docker安装elasticsearch,elasticsearch-head,kibana,ik分词器安装方式基本有两种,一种是pull的方式,一种是Dockerfile的方式,由于pull的方式pull下来后还需配置许多东西且不便于复用,个人比较喜欢使用Dockerfile的方式所有docker支持的镜像基本都在https://hub.docker.com/docker的官网上能找到合..._docker安装kibana连接elasticsearch并且elasticsearch有密码
文章浏览阅读1.3w次,点赞57次,收藏92次。整理 | 郑丽媛出品 | CSDN(ID:CSDNnews)近年来,随着机器学习的兴起,有一门编程语言逐渐变得火热——Python。得益于其针对机器学习提供了大量开源框架和第三方模块,内置..._beeware
文章浏览阅读7.9k次。//// ViewController.swift// Day_10_Timer//// Created by dongqiangfei on 2018/10/15.// Copyright 2018年 飞飞. All rights reserved.//import UIKitclass ViewController: UIViewController { ..._swift timer 暂停
文章浏览阅读986次,点赞2次,收藏2次。1.硬性等待让当前线程暂停执行,应用场景:代码执行速度太快了,但是UI元素没有立马加载出来,造成两者不同步,这时候就可以让代码等待一下,再去执行找元素的动作线程休眠,强制等待 Thread.sleep(long mills)package com.example.demo;import org.junit.jupiter.api.Test;import org.openqa.selenium.By;import org.openqa.selenium.firefox.Firefox.._元素三大等待
文章浏览阅读3k次,点赞4次,收藏14次。Java软件工程师职位分析_java岗位分析
文章浏览阅读2k次。Java:Unreachable code的解决方法_java unreachable code
文章浏览阅读1w次。1、html中设置标签data-*的值 标题 11111 222222、点击获取当前标签的data-url的值$('dd').on('click', function() { var urlVal = $(this).data('ur_如何根据data-*属性获取对应的标签对象