なぜstd :: unique_lock上でstd :: moveを実行しても効果がありませんか？

Question

私は、次のC++（11）のコードがあります：mutexがまだunlock()からの復帰後に開催された理由を私は理解できない何

#include <mutex> 

void unlock(std::unique_lock<std::mutex> && ulock) 
{ 
} 

int main(void) 
{ 
    std::mutex m; 
    std::unique_lock<std::mutex> ulock(m); 

    unlock(std::move(ulock)); 

    if (ulock.mutex() == &m || ulock.owns_lock()) 
    { 
     throw std::runtime_error(""); 
    } 

    return 0; 
} 

です。私の期待は、std::move()が、unlock()への呼び出しから戻ると、ロックが有効範囲外になり（デストラクタによってロック解除される）ことを期待しています。少なくともstd::move()はulockがミューテックスmから "unbound"になっているはずです。

私には何が欠けていますか？

Answer 1

ここ

void unlock(std::unique_lock<std::mutex> && ulock) 

ulock参照です。特別な種類の参照ですが、依然として参照です。これは別のオブジェクトの単なるエイリアスです。その作成には、新しいオブジェクトの作成やあらゆる種類の所有権移転は含まれません。同様に、その存続期間の終わりはデストラクタ呼び出しにつながることはなく、他のオブジェクトを参照するためのエイリアスを失ったことを意味します（機能は終了しているので重要ではありません）。

あなたが所有権を譲渡する場合は、オブジェクトを必要とし、その値ではなく、参照渡し：std::unique_lockがサポートされていないので、

void unlock(std::unique_lock<std::mutex> ulock) 

さて、あなたは、オリジナルのロックをmoveする必要がありますコピーの建設、移動のみ建設。