返回局部变量的 std::move [重复]

Question

让一个类A 带有一个移动构造函数。考虑一下：

A get()
{
    A a;
    return std::move( a );
}

// later in the code
A aa = get();

这里对std:move 的显式调用强制调用A 的移动构造函数，因此它可能会在调用get() 时抑制返回值优化。因此，据说get() 的更好实现是这样的：

A get()
{
    A a;
    return a;
}

但是返回值优化不是 C++11 标准的一部分，所以WHAT IF编译器出于某种原因决定在调用get() 时不执行返回值优化。在这种情况下，A 的复制构造函数将在返回 get() 时被调用，对吗？

那么get() 的第一个实现不是更受欢迎吗？？

Answer 1

编译器应该使用移动构造函数，但我没有看到标准中的义务： 在有关临时对象的部分中总是说“复制/移动构造函数”

标准 ISO/IEC 14882:2011 C++：

"

12.1/9

复制构造函数 (12.8) 用于复制类类型的对象。移动构造函数（12.8）用于移动 类类型对象的内容。

12.8/32

当满足或将满足省略复制操作的条件时，除了源 object 是函数参数，要复制的对象由 lvalue 指定，重载决议为 选择副本的构造函数首先执行，就好像对象是由 rvalue 指定的一样。如果过载 解析失败，或者如果所选构造函数的第一个参数的类型不是 rvalue 引用 对象的类型（可能是 cv 限定的），再次执行重载决议，将对象视为 左值。 [注意：无论复制省略是否会执行，都必须执行此两阶段重载解析 发生。它确定如果不执行省略则要调用的构造函数，以及选择的构造函数 即使调用被省略，也必须是可访问的。 ——尾注]

"

左值 = T &
右值 = T &&

所以，它说首先，编译器会查找是否找到移动构造函数，然后会查找移动构造函数。

因此，如果您的编译器符合标准，它将调用移动构造函数。

我只添加有趣的内容：

"
12.8/31 当满足某些标准时，允许实现省略类的复制/移动构造 对象，即使对象的复制/移动构造函数和/或析构函数有副作用。
"

...所以即使这些构造函数/析构函数有副作用，也可以跳过