如何使帶有互斥體的 C 類可移動且線程安全？

在C 中處理可移動類型中的互斥體

問題：

問題：

問題：

問題：

A(A&& a) {
    WriteLock rhs_lk(a.mut_); // Lock the rhs mutex
    field1_ = std::move(a.field1_); // Move the data
    field2_ = std::move(a.field2_);
}

問題：

A& operator=(A&& a) {
    if (this != &a) {
        WriteLock lhs_lk(mut_, std::defer_lock);
        WriteLock rhs_lk(a.mut_, std::defer_lock);
        std::lock(lhs_lk, rhs_lk);
        field1_ = std::move(a.field1_);
        field2_ = std::move(a.field2_);
    }
    return *this;
}

問題：

問題：

A(const A& a) {
    ReadLock rhs_lk(a.mut_); // Lock the rhs mutex for reading
    field1_ = a.field1_; // Copy the data
    field2_ = a.field2_;
}

問題：

A& operator=(const A& a) {
    if (this != &a) {
        WriteLock lhs_lk(mut_, std::defer_lock);
        ReadLock rhs_lk(a.mut_, std::defer_lock);
        std::lock(lhs_lk, rhs_lk);
        field1_ = a.field1_;
        field2_ = a.field2_;
    }
    return *this;
}

問由於非std::mutex的可複製和不可移動性質，持有互斥體的類別缺乏預設的移動建構函數，使得創建可移動的線程安全類型變得困難。

解：
• 要為持有互斥體的 A類別實作執行緒安全的移動語意，採取以下策略：
• 移動建構子：

移動賦值運算子：複製建構子：複製作業運算子：其他注意事項：為了方便起見，定義一個ReadLock 和WriteLock 類型別名。 記得使用 std::lock 鎖定兩個互斥體以防止移動賦值運算子死鎖。 考慮在 C 14 中使用 std::shared_timed_mutex 以允許並發讀取。 使用適當的互斥鎖保護存取 A 類內部狀態的任何成員函數或自由函數。 如有必要，新增資料成員鎖定來儲存ReadLock和WriteLock對象，以避免在執行過程中預設建構成員正在複製。

以上是如何使帶有互斥體的 C 類可移動且線程安全？的詳細內容。更多資訊請關注PHP中文網其他相關文章！