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

Question

我正在看STL 的" 请勿帮助编译器 "讲话,他在幻灯片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

请参阅MCVE实际操作.

结果get_pair是移动构造的,这是预期的.NRVO也可能完全忽略了这一举措,但它不在本问题的主题之内.

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

我认为传递给returnstatement的任何表达式都可能被认为是隐含的move,因为编译器知道它无论如何都要超出范围.好像我错了.有人可以澄清一下,这里发生了什么？

另请参阅相关但不同的问题:何时应该在函数返回值上使用std :: move？

Answer 1

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

相关措辞可以在[class.copy]/p32中找到:

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

所以在C++ 14中,所有输出应该来自A的move-constructor.

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