为什么返回兼容类型时需要显式 std::move？

Question

我正在观看 STL 的“Don’t Help the Compiler”演讲，他在幻灯片 26 上有一个类似的例子：

struct A
{
  A() = default;
  A(const A&) { std::cout << "copied" << std::endl; }
  A(A&&) { std::cout << "moved" << std::endl; }
};

std::pair<A, A> get_pair()
{
  std::pair<A, A> p;
  return p;
}

std::tuple<A, A> get_tuple()
{
  std::pair<A, A> p;
  return p;
}

std::tuple<A, A> get_tuple_moved()
{
  std::pair<A, A> p;
  return std::move(p);
}

有了这个，下面的调用：

get_pair();
get_tuple();
get_tuple_moved();

产生这个输出：

moved
moved
copied
copied
moved
moved

See MCVE in action.

get_pair 的结果是移动构造的，正如预期的那样。一个动作也可能被 NRVO 完全忽略，但它不在当前问题的主题范围内。

get_tuple_moved 的结果也是移动构造的，这是明确指定的。但是，get_tuple 的结果是复制构造的，这对我来说完全不明显。

我认为传递给return 语句的任何表达式都可能被认为具有隐含的move，因为编译器知道它无论如何都会超出范围。好像我错了。有人可以澄清一下，这里发生了什么吗？

另请参阅相关但不同的问题：When should std::move be used on a function return value?

Answer 1

get_tuple() 中的 return 语句应该使用 move-constructor 进行复制初始化，但由于返回表达式的类型和返回类型不匹配，因此选择了 copy-constructor。在 C++14 中进行了更改，现在有一个重载解析的初始阶段，当它只是一个在主体中声明的自动变量时，它会将 return 语句视为右值。

相关措辞可见[class.copy]/p32:

当满足省略复制/移动操作的条件时，[..]，或者当 return 语句中的表达式是（可能带括号的）id 表达式时，它命名具有自动存储持续时间的对象在正文中声明 [..]，首先执行为复制选择构造函数的重载决策，就好像对象是由右值指定的一样。

所以在 C++14 中，所有输出都应该来自 A 的移动构造函数。

clang 和 gcc 的 Trunk 版本已经实现了此更改。要在 C++11 模式下获得相同的行为，您需要在 return 语句中使用显式 std::move()。