Visual Studio 2022 版本 17.4 预览版 3 中对c++编译时优化的内容你都知道吗

简介: Visual Studio 2022 版本 17.4 预览版 3 中对c++编译时优化的内容你都知道吗

d8a881fba70244f684e294d4357f25cd.png

什么是复制和移动省略?


当 C++ 函数中的关键字后跟非基元类型的表达式时,该 return 语句的执行会将表达式的结果复制到调用函数的返回槽中。为此,将调用非基元类型的复制或移动构造函数。然后,作为退出函数的一部分,调用函数局部变量的析构函数,可能包括关键字后面的表达式中命名的任何变量。returnreturn


C++规范允许编译器直接在调用函数的返回槽中构造返回的对象,省略作为返回的一部分执行的复制或移动构造函数。与大多数其他优化不同,此转换允许对程序的输出产生可观察的影响 - 即,复制或移动构造函数和关联的析构函数被调用一次。


1b1f1a1205434d6bb64043d353bdf363.png


Visual Studio 中的强制复制/移动省略


C++ 标准要求在返回值初始化为语句的一部分时(例如,当返回类型的函数返回时)复制或移动省略。Microsoft Visual C++ 编译器始终在需要时对返回语句执行复制和移动省略,而不考虑传递给编译器的标志。此行为保持不变。returnFooreturn Foo()


对 Visual Studio 17.4 预览版 3 中的可选复制/移动省略的更改


当返回值是命名变量时,编译器可以省略副本或移动,但不是必需的。该标准仍然要求为命名返回变量定义复制或移动构造函数,即使编译器在所有情况下都省略了构造函数。在 Visual Studio 2022 版本 17.4 预览版 3 之前,当禁用优化(例如使用编译器标志或标记为 的函数)时,编译器将仅执行强制复制和移动省略。使用 theflag,编译器将执行可选的复制或移动 elision,以通过简单的控制流优化函数。

从 Visual Studio 2022 版本 17.4 预览版 3 开始,我们为开发人员提供了与 newcompiler 标志保持一致的选项。默认情况下,当代码使用 theflag、theflag 编译或稍后编译时,将传递 Theflag。传递此标志后,将尽可能执行复制和移动省略。我们希望在将来的版本中默认打开。/Zc:nrvo/Zc:nrvo/O2/permissive-/std:c++20/Zc:nrvo

从 Visual Studio 2022 版本 17.4 预览版 3 开始,还可以使用 theflag 显式禁用可选的复制/移动省略。不可能禁用强制复制/移动省略。/Zc:nrvo-

在 Visual Studio 2022 版本 17.4 预览版 3 中,当启用了可选的复制/移动 elision 时,我们还增加了使用 ,,, oror 更高版本的标志启用复制/移动 elision 的位置数量


image.png

可选复制/移动省略的示例


可选复制或移动省略的最简单示例是以下函数:

Foo SimpleReturn() {
    Foo result;
    return result;
}


在这种情况下,如果传递了标志,则早期版本的 MSVC 编译器已省略了复制或移动到返回槽中。在 Visual Studio 2022 版本 17.4 预览版 3 中,如果传递了 orflags 或稍后的标志,则也会省略复制或移动,如果传递了标志,则保留复制或移动。result/O2/permissive-/std:c++20/Zc:nrvo/Zc:nrvo-


从 Visual Studio 2022 版本 17.4 预览版 3 开始,现在在以下其他情况下执行复制/移动省略(如果将 orflags 传递给编译器而 orflags 未传递


在循环内返回


对象将在循环的每次迭代开始时正确构造,并在每次迭代结束时销毁。在返回的迭代中,退出函数时不会调用其析构函数。当返回的对象超出该函数的范围时,函数的调用方将销毁返回的对象。resultresult


返回时进行异常处理


Foo ReturnInTryCatch() {
    try {
        Foo result;
        return result;
    } catch (...) {}
}


如果传递了 orflags 而 orflags 未传递,则对象的复制或移动现在将被省略。现在也妥善处理更复杂的案件,例如:result/O2/permissive-/std:c++20/Zc:nrvo/Zc:nrvo-  

int n;
void throwFirstThreeIterations() {
    ++n;
    if (n <= 3) throw n;
}
Foo ComplexTryCatch()
{
Label1:
    Foo result;
    try {
        throwFirstThreeIterations();
        return result;
    }
    catch(...) {
        goto Label1;    
    }
}

该对象将在调用方函数的返回槽中构造,并且在成功返回时不会为其调用任何复制/移动构造函数或析构函数。引发异常时,是否销毁对象取决于将哪些异常处理标志传递给编译器。默认情况下,不会发生堆栈展开,因此不会调用析构函数。但是,如果使用 ,, orflags 启用了堆栈展开异常处理,则会导致调用析构函数,因为它跳转到初始化之前。无论哪种方式,当再次到达表达式时,将在返回槽中再次构造对象  


使用默认参数复制构造函数


现在正确检测到具有默认参数的复制或移动构造函数仍然是复制或移动构造函数,因此在上述情况下可以省略。具有默认参数的复制构造函数将如下所示:

struct StructWithCopyConstructorDefaultParam {
   int X;
   StructWithCopyConstructorDefaultParam(int x) : X(x) {}
   StructWithCopyConstructorDefaultParam(StructWithCopyConstructorDefaultParam const& original, int defaultParam = 0) :
      X(original.X + defaultParam) {
      printf("Copy constructor called.\n");
   }
};


对 NRVO(“命名返回值优化”) 的限制

MSVC 编译器现在在更多情况下执行复制和移动省略,但并非总是可以执行复制/移动省略。要了解为什么会这样,请考虑以下函数:

Foo WhichShouldIReturn(bool condition) {
    Foo resultA;
    if (condition) {
        Foo resultB;
        return resultB;
    }
    return resultA;
}


opy elision 构造要在返回槽中返回的对象,但在这种情况下,应在返回槽中构造哪个对象?对于要省略的副本,必须在返回槽中构造它。但是,ifis true,将需要在返回槽中构建之前被销毁。无法对这两个路径执行复制省略。resultAreturn resultAconditionresultBresultA


我们目前选择避免在任何路径上都无法复制/移动省略函数中的所有路径上执行可选的复制/移动省略。但是,对内联决策、死代码消除和其他优化的更改可能会更改是否可以复制或移动省略。因此,编写依赖于某些行为的代码来复制/移动命名变量,除非禁用所有可选的复制/移动省略,否则从来都不安全。/Zc:nrvo-


只要启用了堆栈展开异常处理或未引发异常,仍然可以安全地假设每个构造函数调用都有一个匹配的析构函数调用。


完结撒花,下期再见!!!

相关文章
|
4月前
|
安全 编译器 程序员
【C++篇】C++类与对象深度解析(六):全面剖析拷贝省略、RVO、NRVO优化策略
【C++篇】C++类与对象深度解析(六):全面剖析拷贝省略、RVO、NRVO优化策略
82 2
|
4月前
|
Linux 编译器 测试技术
【C++】CentOS环境搭建-快速升级G++版本
通过上述任一方法,您都可以在CentOS环境中高效地升级G++至所需的最新版本,进而利用C++的新特性,提升开发效率和代码质量。
293 64
|
4月前
|
Linux 编译器 测试技术
【C++】CentOS环境搭建-快速升级G++版本
通过上述任一方法,您都可以在CentOS环境中高效地升级G++至所需的最新版本,进而利用C++的新特性,提升开发效率和代码质量。
323 63
|
4月前
|
安全 测试技术 C++
【C++篇】从零实现 C++ Vector:深度剖析 STL 的核心机制与优化2
【C++篇】从零实现 C++ Vector:深度剖析 STL 的核心机制与优化
93 6
|
4月前
|
安全 测试技术 C++
【C++篇】从零实现 C++ Vector:深度剖析 STL 的核心机制与优化1
【C++篇】从零实现 C++ Vector:深度剖析 STL 的核心机制与优化
120 7
|
5月前
|
C++ 内存技术
[转]Visual C++内嵌swf文件并播放
[转]Visual C++内嵌swf文件并播放
|
6月前
|
安全 编译器 C++
Microsoft Visual C++ Redistributable的作用主要体现以及可以删除吗?
这些是Microsoft Visual C++不同版本的Redistributable安装包,用于32位系统,确保相关应用正常运行。它们提供C++运行时环境,简化部署流程,支持第三方库及框架,并确保应用兼容性。定期更新可修复问题并引入新功能。在空间有限或需解决程序冲突时可考虑删除,但需谨慎操作以防影响应用稳定性和兼容性。删除前请确认无应用依赖,并通过控制面板安全卸载。
476 1
Microsoft Visual C++ Redistributable的作用主要体现以及可以删除吗?
|
7月前
|
C++ Windows
FFmpeg开发笔记(三十九)给Visual Studio的C++工程集成FFmpeg
在Windows上使用Visual Studio 2022进行FFmpeg和SDL2集成开发,首先安装FFmpeg至E:\msys64\usr\local\ffmpeg,然后新建C++控制台项目。在项目属性中,添加FFmpeg和SDL2的头文件及库文件目录。接着配置链接器的附加依赖项,包括多个FFmpeg及SDL2的lib文件。在代码中引入FFmpeg的`av_log`函数输出"Hello World",编译并运行,若看到"Hello World",即表示集成成功。详细步骤可参考《FFmpeg开发实战:从零基础到短视频上线》。
317 0
FFmpeg开发笔记(三十九)给Visual Studio的C++工程集成FFmpeg
|
6月前
|
人工智能 IDE 测试技术
Visual Studio版本的AI编程助手
Visual Studio 是一个出色的 IDE,可用于构建适用于 Windows、Mac、Linux、iOS 和 Android 的丰富、精美的跨平台应用程序。 使用一系列技术(例如 WinForms、WPF、WinUI、MAUI 或 Xamarin)构建丰富。 1、安装 点击上方工具栏拓展选项,选择管理拓展选项 接着在联机页面中搜索"FItten Code",并点击下载,下载完成后重启Visual Studio 在扩展选项中选中fitten,选择Open Chat Window进入登录界面,完成注册登录 2、智能补全 打开代码文件,输入一段代码,Fitten Code 就会为您
|
6月前
|
缓存 C++ Windows
Inno setup 脚本判断 Microsoft Visual C++ Redistributable 不同版本区别
Inno setup 脚本判断 Microsoft Visual C++ Redistributable 不同版本区别