C++编译器是否允许用一个构造来代替construct+moveconstruct

Are C++ compilers allowed to replace construct + moveconstruct with just a construct?

本文关键字:construct+moveconstruct 编译器 是否 许用一 C++      更新时间:2023-10-16

是否允许C++编译器替换:

const auto myType = MyType(1, 2, 3);

带有:

const MyType myType(1, 2, 3);

即发出任务,或者有什么东西可以阻止这种情况发生?

注意:我问的原因是我更喜欢第一个版本

是的,允许实现省略类的复制/移动构造当满足某些条件时,它被称为复制省略。

在以下情况下,编译器可以省略类对象的复制和移动构造函数,即使是复制/移动构造函数和析构函数有明显的副作用。

对于您的代码,

如果函数通过值返回类类型,并且返回语句的表达式是非易失性对象的名称自动存储持续时间,不是函数参数,或者catch子句参数,并且具有相同类型(忽略顶级cv资格)作为函数的返回类型,然后复制/移动被省略。当构造该局部对象时直接在函数返回值所在的存储中构造否则将被移动或复制到。复制省略的此变体为称为NRVO,"命名返回值优化"。

请注意,复制/移动ctor仍然需要可访问。

即使发生了复制省略,并且没有调用复制/移动构造函数,它也必须存在并可访问(就好像根本没有发生优化一样),否则程序就不正确了。