返回锁定时C ++ 11移动

Question

在“C ++ Concurrency in Action”一书中阅读以下方法

std::unique_lock<std::mutex> wait_for_data()
{
    std::unique_lock<std::mutex> head_lock(head_mutex);
    data_cond.wait(head_lock,[&]{return head.get()!=get_tail();});
    return std::move(head_lock);
 }

我无法理解为什么返回时head_lock是std :: move-ed。 我对移动用法和RVO的观念和直觉与C ++ 11 rvalues中共享的观点相匹配， 并且移动了语义混淆（return语句）

但我倾向于相信作者更了解。 有人可以澄清什么时候std :: move返回值更好并且是否有关于锁的具体内容？ 谢谢。

Answer 1

无论有没有std::move都没关系。 局部变量^*的名称在return语句中被视为rvalue，导致在两种情况下都调用move构造函数。 由于风格原因，作者可能会使用std::move来明确锁定是否被移动。 它确实干扰了NRVO，但是与锁定和等待的成本相比，在这里移动unique_lock的成本可能是最小的。

用@ Deduplicator的话说，它是“为了强调实际语义而悲观化”。

您可以测试这个自己- unique_lock不能被复制，所以return head_lock; 如果是副本，就不会编译。

---

_{^*这是C ++ 14规则。 C ++ 11规则仅限于允许或允许复制省略的情况，但变量是函数参数的事实除外 。 就这个问题而言，这种差异并不重要，因为head_lock显然有资格获得复制head_lock 。}