不能將一個std :: unique_lock移動到一個struct

Question

我試圖創建一個非常簡單的基本C++類來實現線程安全列表，即當您訪問它時會自動鎖定的列表。不幸的是，編譯器不想讓我創建並返回一個包含unique_lock的結構。這是我最初試圖：

template<typename T> 
struct LockedQueue { 
    private: 
     std::mutex mutex; 
     using lock_t = std::unique_lock<std::mutex>; 
     std::list<T> underlying_list; 
    public: 
     struct LockedListAccess { 
      private: 
       lock_t lock; 
      public: 
       std::list<T> &access; 
     }; 
     LockedListAccess locked() { 
      return LockedListAccess{ lock_t{mutex}, underlying_list }; 
     } 
}; 

這種失敗

no matching function for call to ‘LockedQueue<tcp::socket>::LockedListAccess::LockedListAccess(<brace-enclosed initializer list>) 

我猜這意味着對於結構不動的工作，括號初始化列表/ C++ 11的統一初始化 - 只有std :: unique_lock類型。所以，我想創造我的結構明確的構造函數的unique_lock作爲右值引用，並將其移動到成員：

template<typename T> 
struct LockedQueue { 
    private: 
     std::mutex mutex; 
     using lock_t = std::unique_lock<std::mutex>; 
     std::list<T> underlying_list; 
    public: 
     struct LockedListAccess { 
      private: 
       lock_t lock; 
      public: 
       std::list<T> &access; 
       LockedListAccess(lock_t&& l, std::list<T>& a) : 
        lock(l), access(a) {}; 
     }; 
     LockedListAccess locked() { 
      return LockedListAccess{ std::move(lock_t{mutex}), underlying_list }; 
     } 
}; 

然而，這也失敗了，給我的錯誤

error: use of deleted function ‘std::unique_lock<_Mutex>::unique_lock(const std::unique_lock<_Mutex>&) [with _Mutex = std::mutex]’ 

這個編譯器錯誤尤其令人困惑，因爲它指向包含lock(l), access(a)的行，我試圖使用std :: unique_lock的已刪除副本構造函數。我宣稱l爲lock_t&&，所以我怎麼可能調用複製構造函數？

我可以在互聯網上找到的大多數資源似乎表明，你可以用std :: move移動unique_locks，儘管似乎沒有人解決如何通過使用std ::構造一個包含unique_lock的對象的問題。移動。我在這裏做錯了什麼？

Answer 1

問題：

在LockedListAccess構造的上下文中，lock_t&& l實際上是一個L值。因此，您需要使用std::move將其重新轉換爲r值。一般經驗法則：總是std::move r值參考和始終std::forward轉發參考。

解決方案：

LockedListAccess(lock_t&& l, std::list<T>& a) 
    : lock(std::move(l)) 
    , access(a) 
{} 

而且你不需要移動臨時鎖定對象，因爲編譯器將一個臨時對象自動綁定到r值的參考。

此：

LockedListAccess locked() { 
    return LockedListAccess{ std::move(lock_t{mutex}), underlying_list } 
} 

可以成爲這樣的：

LockedListAccess locked() { 
    return LockedListAccess{ lock_t{mutex}, underlying_list } 
}