可移动但不可复制的对象:按值传递还是按引用传递?

Question

仅考虑可移动但不可复制的对象(例如，std::thread或std::unique_ptr(，我想通过将此类对象作为参数传递给构造函数来转移此类对象所包含资源的所有权。我正在比较两种方法：构造函数按值获取对象与按右值引用获取对象。

作为 std::thread 的示例，请考虑以下类Value，其构造函数按值获取std::thread：

#include <thread>
#include <utility>
struct Value {
   Value(std::thread th): th_(std::move(th)) {}
   std::thread th_;
};

所有权从参数对象转移到参数对象 th ，最后转移到数据成员对象 th_ 。

考虑一个类似的类，Reference ，其构造函数在这种情况下通过右值引用接受std::thread：

struct Reference {
   Reference(std::thread&& th): th_(std::move(th)) {}
   std::thread th_;
};

在这种情况下，所有权从参数直接转移到数据成员对象，th_ 。

据我了解，在按值传递的情况下，参数对象和数据成员对象都是移动构造的，而对于按引用传递的情况，只有数据成员是移动构造的。总而言之，后一种方法似乎更好，因为它只需要一个移动操作，因此效率更高。

但是，是否有任何理由更喜欢按值传递方法而不是按引用传递方法？

Answer 1

按值传递是自我记录的，而按引用传递则不是。读者可以立即看到：

1. 构造函数将无条件地获得由仅移动类型表示的资源的所有权;
2. 如果移动构造因任何原因引发异常而失败，则调用方有责任处理它;(*)
3. 如果构造函数通过引发异常退出，则将释放资源。

(同样，在实现中很难或不可能犯错误，导致上述假设不成立。

当然，最终这些好处是否超过额外移动建设的成本是一个基于意见的问题。

(*( 当然，这不适用于构造函数内部执行的移动，即从参数到成员的移动。但是，这里的要点是调用方可以控制其对象发生的情况：要么将其移动到构造函数参数中，要么在该步骤中出现任何故障，调用方可以执行损害控制(可能保留值(。