在malloc分配的内存中移入对象是否符合C++规范？

这个问题抓准了C++里一个很容易踩坑的点——内存分配和对象初始化是完全独立的两个环节，这也是你第一种写法不合法的根本原因。

为什么第一种写法是错误的？ #

malloc只完成了原始内存的分配，它不会在这块内存上构造任何T类型的对象。也就是说，next指向的只是一堆未初始化的字节，里面根本没有合法的T对象。

当你执行*next = std::move(*t);时，这是在调用T的赋值运算符（移动赋值或拷贝赋值）——但赋值运算符的前提是：左侧必须是一个已经构造完成的合法对象。对未初始化的内存直接调用赋值运算符，属于C++标准明确规定的未定义行为（Undefined Behavior）。

打个比方：你不能给一个还没“出生”的对象赋值，就像你没法往一个还没建起来的房子里放家具一样。

为什么它有时候看起来“碰巧可行”？ #

只有当T是POD类型（Plain Old Data，比如int、char，或者没有自定义构造/赋值/析构的简单结构体）时，这种写法可能在实践中表现正常：

• POD类型的赋值本质就是字节拷贝，没有复杂的构造逻辑，所以直接对未初始化内存赋值，在常见编译器（GCC、Clang、MSVC）的默认设置下可能和“构造后赋值”效果一致。
• 但即使这样，这依然是标准层面的未定义行为——编译器完全可以针对这种情况做任何意外优化，比如跳过这段代码、产生垃圾值，只是你没碰到而已。

只要T是非POD类型（比如有自定义构造函数、虚函数、或者包含非POD成员），第一种写法几乎肯定会出问题：比如T有一个动态分配的成员，直接赋值会跳过构造函数，导致成员指针指向垃圾内存，后续操作直接崩溃。

正确的做法：Placement New #

你猜测的placement new写法才是符合C++标准的正确操作：

// 注意这里可以用std::move来调用移动构造，更符合你的“移入”需求
while (we still have more Ts) {
    new (next) T(std::move(*t));
    ++next;
    ++t;
}

placement new的核心作用就是在已分配好的内存上构造对象——它会调用T的构造函数（这里是移动构造函数），把原始内存转化为合法的T对象。这样后续对next指向的对象做任何操作（包括赋值、析构）都是合规的。

另外要特别注意：用malloc分配+placement new构造的对象，最后必须手动调用析构函数，再用free释放内存：

// 假设ptr是指向第一个对象的指针，n是对象总数
T* current = ptr;
for (size_t i = 0; i < n; ++i) {
    current->~T(); // 手动调用析构函数
    ++current;
}
free(ptr); // 释放原始内存

如果用new[]的话，编译器会自动处理构造和析构，但手动分配内存时，这些步骤必须自己完成。

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