如何对包含const成员的类的非const变量执行赋值操作

方案说明 #

你提出的placement new实现方案本身是可用的，不会产生内存泄漏：你只是复用了原有对象的栈/全局区内存，手动析构旧对象后在原地构造新对象，资源都会被正常释放。但这个自行实现的模板函数存在两个风险点：

• 若新对象构造过程抛出异常，原有对象已经被析构，后续生命周期结束时的自动析构会触发未定义行为
• 缺少自赋值判断，若传入的myVar本身就是要构造的目标对象，会触发提前析构的问题

更优的可选方案按优先级排序如下：

1. 使用C++17标准库提供的std::optional（首选）

这是最安全、改动最小的方案，标准库已经帮你封装了原地构造、析构的所有边界处理和异常安全逻辑，用法和普通对象几乎无差异：

#include <optional>

// 初始化
std::optional<MyClass> var = MyClass();
// 直接赋值即可，不需要额外操作
var = MyClass(5);
// 访问成员的方式和指针类似，也可以用*var拿到实例本身
int val = var->a;

2. 封装const成员为私有非const成员，仅对外暴露读接口

如果你的编译环境不支持C++17，可以通过逻辑封装实现和const成员等价的只读效果，同时支持默认赋值运算符生成：

class MyClass {
public:
   MyClass(int a) : a_(a) {}
   MyClass() : MyClass(0) {}
   ~MyClass() = default;
   // 仅对外提供const读接口，外部无法修改内部值
   int a() const { return a_; }
private:
   // 去掉const修饰，仅内部可见
   int a_;
};

修改后原有赋值代码var = MyClass(5)可以直接正常运行，对外的使用体验和原来的public const成员完全一致。

3. 自行实现类的赋值运算符

如果你不想修改原有类的对外接口，可以在类内部手动实现拷贝/移动赋值运算符，把placement new的逻辑封装到类内：

class MyClass {
public:
   MyClass(int a) : a(a) {}
   MyClass() : MyClass(0) {}
   ~MyClass() = default;
   // 手动实现拷贝赋值运算符
   MyClass& operator=(const MyClass& other) {
       if (this != &other) {
           this->~MyClass();
           new (this) MyClass(other.a);
       }
       return *this;
   }
   // 手动实现移动赋值运算符
   MyClass& operator=(MyClass&& other) noexcept {
       if (this != &other) {
           this->~MyClass();
           new (this) MyClass(other.a);
       }
       return *this;
   }
   const int a;
};

实现后原有赋值代码不需要做任何改动即可直接运行。

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