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

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> get_tuple_moved()
{
  std::pair<A,A> p;
  return std::move(p);
}

有了这个,以下电话：

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

产生此输出：

See MCVE in action.

get_pair的结果是移动构建的,正如预期的那样. NRVO也可能完全消除了这一举动,但现在不在于这个问题.

get_tuple_moved的结果也是移动构造的,它被明确指定为这样.然而,get_tuple的结果是复制构造的,这对我来说是完全不明显的.

我认为传递给return语句的任何表达式都可以被认为是对它有隐含的动作,因为编译器知道它即将超出范围.好像我错了有人可以澄清,这里发生了什么？

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