C++重载operator new预赋值类成员被构造函数清空如何解决

问题原因 #

你遇到的问题根源是违反了C++的对象初始化规则，属于未定义行为：

1. operator new的职责仅为分配原始内存，返回的地址指向的是未构造的原始字节，此时对象的生命周期尚未开始，你直接强转为MemoryObject*并修改其成员变量的操作本身就是非法的。
2. 在operator new执行完成后，编译器会自动调用类的构造函数初始化对象：如果你的构造函数是默认构造，且你使用了值初始化语法（比如带括号/大括号的new (alloc) MemoryObject{}），内置类型的成员（指针、size_t）会被自动零初始化，直接覆盖你之前在原始内存上写入的值，这就是你看到数值被清除的原因。
3. volatile无法解决问题，它仅能禁止编译器优化对变量的读写，不会改变构造函数对成员初始化的逻辑。

解决方案 #

最安全、符合C++标准的做法是把成员初始化逻辑迁移到构造函数中，不要在operator new里操作对象成员：

方案1：新增带分配器参数的构造函数 #

修改MemoryObject的构造函数，显式接收分配器参数，在构造阶段完成成员初始化：

// 类定义新增构造函数
class MemoryObject {
public:
    explicit MemoryObject(Memory::BaseAllocator* allocator)
        : _objectAllocator(allocator), _objectSize(sizeof(*this)) {}
    // 其他原有逻辑
};

如果需要支持继承场景下的正确大小传递，也可以把大小作为构造参数传入：

explicit MemoryObject(Memory::BaseAllocator* allocator, size_t size)
    : _objectAllocator(allocator), _objectSize(size) {}

分配对象时直接传入参数即可：

auto* obj = new (allocator) MemoryObject(allocator);
// 继承场景下传入子类大小
auto* subObj = new (allocator) SubMemoryObject(allocator, sizeof(SubMemoryObject));

方案2（不推荐）：避免值初始化 #

如果你暂时不想修改代码结构，也可以确保构造对象时使用默认初始化语法，不要加括号或大括号，这样内置类型成员不会被零初始化，保留你在operator new中写入的值：

// 错误：值初始化会清零成员
// auto* obj = new (allocator) MemoryObject();
// auto* obj = new (alloc) MemoryObject{};
// 正确：默认初始化不会修改未显式初始化的内置类型成员
auto* obj = new (allocator) MemoryObject;

该方案非常脆弱，一旦调用方误加了括号/大括号，或者后续修改构造函数逻辑，问题会再次出现，仅做临时兼容使用。

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