如何让派生类线程安全拷贝构造先锁互斥量再调用基类构造？

首先先指出你代码里的几个隐性问题：

• std::mutex是不可拷贝的，类里的m_Mutex不会被拷贝，每个对象有独立的互斥量，拷贝构造时要锁的是源对象的互斥量，而非拷贝互斥量本身。
• 拷贝构造函数的参数是const&，所以other.m_Mutex是const属性的，而std::lock_guard需要非const的互斥量引用，因此必须把m_Mutex声明为mutable，否则编译会报错。
• 当前代码中，派生类拷贝构造先调用基类构造（基类已经锁了源对象的互斥量），之后派生类构造体里又锁一次，同一个线程重复锁std::mutex会触发未定义行为（比如死锁）。

核心解决方案 #

要实现“派生类在基类构造前锁定互斥量”，同时避免重复加锁，我们可以给基类新增一个受保护的内部拷贝构造函数——这个函数假设调用方已经持有源对象的锁，不需要再自行加锁；然后派生类的拷贝构造函数先获取锁，再调用这个内部构造函数。

修正后的Base类代码

#include <mutex>

class Base
{
public:
    // 对外公开的拷贝构造：自动完成加锁，供外部调用
    Base(const Base& other)
        // 委托给内部构造函数，同时通过lock_guard获取源对象的锁
        : Base(other, std::lock_guard<std::mutex>(other.m_Mutex))
    {}

protected:
    // 内部拷贝构造：仅派生类可调用，要求调用方已持有other的锁
    Base(const Base& other, std::lock_guard<std::mutex>)
    {
        // 直接拷贝基类成员变量即可，无需再次加锁
        // ... 你的基类成员拷贝逻辑
    }

    mutable std::mutex m_Mutex; // 必须声明为mutable，才能在const对象上执行加锁操作
};

修正后的Derived类代码

class Derived : public Base
{
public:
    Derived(const Derived& other)
        // 先创建lock_guard获取源对象的锁，再传给基类的内部构造函数
        : Base(other, std::lock_guard<std::mutex>(other.m_Mutex))
    {
        // 此时锁已持有，安全拷贝派生类的成员变量
        // ... 你的派生类成员拷贝逻辑
    }
};

方案说明 #

• 初始化列表的执行顺序是先创建std::lock_guard完成锁的获取，再调用基类的内部构造函数，完美满足“基类构造前锁定互斥量”的要求。
• 整个拷贝过程（基类成员+派生类成员）都在同一个锁的保护下，避免了重复加锁的问题，保证了数据一致性。

扩展：派生类有独立互斥量的情况 #

如果Derived类有自己的独立互斥量（而非继承自Base），需要同时锁定两个互斥量时，要注意锁的顺序（避免死锁），可以用std::lock统一获取多个锁：

class Derived : public Base
{
private:
    mutable std::mutex m_DerivedMutex;

public:
    Derived(const Derived& other)
        : Base(other, std::lock_guard<std::mutex>(other.m_Mutex, std::defer_lock)),
          m_DerivedMutex() // 初始化自身的互斥量（不可拷贝）
    {
        // 同时获取两个锁，保证顺序一致
        std::lock(other.m_Mutex, other.m_DerivedMutex);
        // 用adopt_lock标记锁已被持有，避免重复加锁
        std::lock_guard<std::mutex> baseLock(other.m_Mutex, std::adopt_lock);
        std::lock_guard<std::mutex> derivedLock(other.m_DerivedMutex, std::adopt_lock);
        
        // 拷贝基类和派生类成员
        // ...
    }
};

内容的提问来源于stack exchange，提问作者Desperado17