如何重置包含不可拷贝成员的C++类？

当类包含std::mutex这类禁用拷贝/赋值的成员时，直接用*this = {}会触发编译错误——默认赋值运算符会尝试拷贝所有成员，而std::mutex不支持拷贝操作。下面提供几种可行的实现方式：

方法一：手动重置可修改成员 #

std::mutex本身不需要"重置"，它的核心作用是同步，只要确保调用clear()时mutex处于解锁状态，仅手动将其他数据成员恢复到初始值即可：

class myclass
{
private:
    int m_data = 0; // 示例数据成员
    std::mutex m_mutex;
public:
    void clear() {
        std::lock_guard<std::mutex> lock(m_mutex); // 加锁保证线程安全
        // 逐个重置数据成员到初始状态
        m_data = 0;
        // 复杂成员可调用自身的clear/reset方法
        // m_complex_obj.clear();
    }
};

这种方式简单直接，适合成员数量不多的类，能精准控制每个成员的重置逻辑。

方法二：用std::optional分离可重置部分 #

把需要重置的成员封装到内部结构体中，用std::optional持有，重置时直接重新初始化这个optional：

#include <optional>
#include <mutex>

class myclass
{
private:
    struct Data {
        int m_data = 0;
        // 其他需要重置的成员
    };
    std::optional<Data> m_data;
    std::mutex m_mutex;
public:
    myclass() : m_data(Data{}) {} // 初始化时创建Data实例

    void clear() {
        std::lock_guard<std::mutex> lock(m_mutex);
        m_data = Data{}; // 重新构造Data实现重置
    }
};

这种方式将可变成员与不可拷贝成员分离，避免了对mutex的赋值操作，简化了重置逻辑。

方法三：C++20+ 重新构造对象 #

如果需要完全重置整个对象（包括重新初始化所有成员），可在C++20及以上版本使用std::destroy_at和std::construct_at，但需严格保证操作安全：

#include <mutex>
#include <memory>

class myclass
{
private:
    int m_data = 0;
    std::mutex m_mutex;
public:
    void clear() {
        // 必须先确保mutex处于解锁状态，否则销毁会导致未定义行为
        std::lock_guard<std::mutex> lock(m_mutex);
        // 销毁当前对象
        std::destroy_at(this);
        // 在原地址重新构造新对象
        std::construct_at(this);
    }
};

⚠️ 注意：这种方法风险较高，调用clear()后原对象的引用/指针会指向新构造的实例，若有其他线程持有对象引用，可能引发竞态条件，仅适合单线程或能严格控制同步的场景。

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