使用移动语义在构造函数中初始化类成员答案

【问题标题】：using move semantics to initialize class member in constructor使用移动语义在构造函数中初始化类成员
【发布时间】：2019-09-10 12:17:16
【问题描述】：

我正在研究 C++ 中的多线程，我编写了一个简单的类，其中包含一个私有 std::mutex 对象，以便在调用成员函数时进行同步：

#include <mutex>
#include <iostream>

class SynchClass
{
public:
    SynchClass() {}
    void inline SynchronizedInterfaceFunction();    
private:
    std::mutex mMutex;
};

void inline SynchClass::SynchronizedInterfaceFunction()
{
    std::lock_guard<std::mutex> lock(mMutex);

    for (int i = 0; i < 10; i++) 
        std::cout << "thread n: " << std::this_thread::get_id() << " inside function" << std::endl; 

    std::cout << std::endl;
}

现在，我这个函数有一个 deleted 复制构造函数和复制赋值运算符，因为 std::mutex 可以移动但不能复制/赋值。

所以我为类提供了一个移动构造函数（编译器不会自动生成）：

class SynchClass
    {
    public:
        // ... other members as before
        SynchClass(SynchClass &&rhs) : mMutex(std::move(rhs.mMutex)) {}

    };

但是当我添加这一行时，编译器抱怨我试图调用 std::mutex 的已删除复制构造函数：

In file included from main.cpp:5:0:
SynchClass.h: In constructor 'SynchClass::SynchClass(SynchClass&&)':
SynchClass.h:8:61: error: use of deleted function 'std::mutex::mutex(const std::mutex&)'
  SynchClass(SynchClass &&rhs) : mMutex(std::move(rhs.mMutex)) {}
                                                             ^
In file included from C:/Program Files/mingw64/lib/gcc/x86_64-w64-mingw32/7.2.0/include/c++/mutex:43:0,
                 from main.cpp:2:
C:/Program Files/mingw64/lib/gcc/x86_64-w64-mingw32/7.2.0/include/c++/bits/std_mutex.h:97:5: note: declared here
     mutex(const mutex&) = delete;

但我使用std::move 将左值转换为右值，因此应该调用 std::mutex 的移动构造函数。

我错过了什么？

【问题讨论】：

标签： c++ multithreading mutex move-semantics move-constructor

【解决方案1】：

std::mutex 不可复制且不可移动。它没有移动构造函数或赋值。 mutex 的库要求：

33.4.3.2 互斥类型 [thread.mutex.requirements.mutex]
3 互斥锁类型应为 DefaultConstructible 和 Destructible 。如果初始化一个对象 mutex 类型失败，将抛出 system_error 类型的异常。互斥锁类型不可复制或可移动的。

如果你想让你的类移动可构造，那么你需要在某个时候添加另一个间接层，例如使用std::unique_ptr<std::mutex>。

【讨论】：