含const成员的C++类如何实现拷贝赋值运算符？

你提到的两种方案是最直接的思路，但还有一些其他可选方案，需根据实际需求权衡适用场景：

方案C：将const成员包装在智能指针中 #

如果希望保留成员的不可变性（指向的内容无法修改），同时支持赋值，可以把const成员封装在智能指针内。赋值时替换整个指针，而非修改const成员本身：

#include <memory>

class Foo
{
    std::unique_ptr<const int> value;

public:
    // 示例构造函数
    Foo(int v) : value(std::make_unique<const int>(v)) {}
    Foo(const Foo& other) : value(std::make_unique<const int>(*other.value)) {}
    
    Foo& operator=(const Foo& copy_from)
    {
        if (this != &copy_from) {
            // 替换指针，指向新的const int对象
            value = std::make_unique<const int>(*copy_from.value);
        }
        return *this;
    }
};

这种方式的代价是额外的堆内存分配，以及访问成员时需要解引用指针，适合对内存开销不敏感的场景。

方案D：用模板参数替代const成员（仅适用于编译期常量） #

如果value是编译期就能确定的常量，可以将其作为类模板的参数。此时每个不同值的Foo是独立类型，能天然保留常量性：

template<int V>
class Foo
{
public:
    static constexpr int value = V;

    // 赋值运算符仅支持同类型间操作，也可自定义转换逻辑
    Foo& operator=(const Foo&) = default;
};

但该方案仅适用于value在编译期固定的场景，无法处理运行时动态初始化的const成员。

必须规避的错误方案：使用const_cast修改const成员 #

绝对不要用const_cast强制修改const成员，这属于未定义行为：

// 错误示例，存在未定义行为！
Foo& operator=(const Foo& copy_from)
{
    if (this != &copy_from) {
        const_cast<int&>(value) = copy_from.value;
    }
    return *this;
}

C++标准明确规定，修改const对象的内容会导致不可预测的程序行为，比如崩溃、输出错误结果等，完全不可靠。

补充说明方案A（placement new）的注意点 #

你提到的placement new方案存在潜在风险，使用时需要修正并谨慎评估：

• 若类包含带非平凡析构函数的成员，直接覆盖对象会跳过原成员的析构，可能引发资源泄漏，正确做法是先手动析构原对象再执行placement new：

Foo& operator=(const Foo& copy_from)
{
    if (this != &copy_from) {
        this->~Foo(); // 先手动析构原对象
        new (this) Foo(copy_from); // 在原地址构造新对象
    }
    return *this;
}

• 若Foo是基类且存在多态场景，placement new会破坏对象的虚表，导致后续虚函数调用出错；
• 若placement new抛出异常，对象会处于已析构的无效状态，存在异常安全问题。

如果坚持保留const成员，修正后的placement new方案和智能指针封装方案是相对可行的选择，具体取决于类的复杂度和性能需求。

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