c++ - 是否允许 C++ 编译器仅用构造替换构造 + 移动构造？

Question

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

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

和：

const MyType myType(1, 2, 3);

即，发出分配，或者有什么可以防止这种情况发生？

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

Answer 1

是的，当满足某些条件时，允许实现省略类对象的复制/移动构造，这称为复制省略。

在以下情况下，允许编译器省略类对象的复制和移动构造函数，即使复制/移动构造函数和析构函数具有可观察到的副作用。

对于您的代码，

如果函数按值返回类类型，并且return语句的表达式是具有自动存储持续时间的非易失性对象的名称，该对象不是函数参数，也不是catch子句参数，并且具有相同的类型（忽略顶级 cv 限定）作为函数的返回类型，然后复制/移动被省略。当构造该本地对象时，它直接在存储中构造，否则函数的返回值将被移动或复制到该存储中。这种复制省略的变体被称为 NRVO，“命名返回值优化”。

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

即使发生复制省略并且未调用复制/移动构造函数，它也必须存在且可访问（就好像根本没有发生优化一样），否则程序是错误的。