为什么返回兼容类型时需要显式的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进行复制初始化，但由于返回表达式的类型和返回类型不匹配，因此选择了复制构造函数。在C ++ 14中做了一个改变，现在有一个重载初始阶段，它将return语句作为一个rvalue处理，当它只是一个在体内声明的自动变量时。

相关措辞可在[class.copy] / p32：

中找到

  

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

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

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