包含不可拷贝成员的C++类如何实现拷贝赋值运算符

问题核心原因 #

类A已经显式删除了拷贝赋值运算符，本身不支持赋值操作，因此类B的默认拷贝赋值运算符会因为尝试调用A::operator=直接编译失败，且无法通过常规的成员赋值语句修改_a的值。

可选解决方案 #

方案1：手动管理A实例的生命周期（显式析构+定位new） #

如果你需要保留A作为B的直接成员（避免指针额外开销、满足内存布局要求），可以手动销毁原有_a实例，再通过定位new在原有内存地址构造新的A实例，和拷贝构造的逻辑保持一致：

B& operator=(const B& other) {
    // 必须先判断自赋值，否则提前销毁自身实例会导致未定义行为
    if (this != &other) {
        // 显式调用析构函数销毁原有A实例
        _a.~A();
        // 定位new：在原_a的内存地址构造新的A实例
        new (&_a) A();
        // 如果B有其他需要拷贝的成员，在此处补充对应拷贝逻辑
    }
    return *this;
}

注意事项：如果A的构造函数可能抛出异常，需要额外添加异常安全处理，避免出现内存状态异常。

方案2：用智能指针包装A实例 #

如果可以接受指针的额外开销，更推荐用std::unique_ptr包装A实例，不需要手动管理对象生命周期，代码更安全：

struct B
{
    B() = default;
    B(const B& other) : _a(std::make_unique<A>()) {} 
    B& operator=(const B& other) {
        if (this != &other) {
            // 直接构造新的A实例替换原有实例即可
            _a = std::make_unique<A>();
            // 其他成员拷贝逻辑补充处
        }
        return *this;
    }
    std::unique_ptr<A> _a;
};

这种方案不需要处理定位new的相关风险，是更通用的实现方式。

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