c++20 中的 std::make_unique_for_overwrite 用于创建未初始化的动态数组指针，避免默认构造函数调用以提升性能。1. 它与 std::make_unique 的区别在于不会初始化元素；2. 适用于后续手动填充数据的场景，如网络通信、文件读写；3. 使用时需注意仅支持 c++20 及以上版本，且不能用于依赖构造函数逻辑的对象类型。
C++14 引入了 std::make_unique，让动态内存管理变得更简单安全。但很多人不知道的是，在 C++20 中，标准库新增了一个不太起眼但很有用的函数：std::make_unique_for_overwrite。它在处理动态数组时特别有用，尤其适合那些打算手动初始化或覆盖内容的场景。
什么是 make_unique_for_overwrite
当你使用 std::make_unique<T[]>(n) 创建一个动态数组时，标准会自动对数组中的每个元素进行默认初始化（default-initialized）。这在某些情况下是不必要的开销，比如你马上要用 memcpy 或其他方式填充这块内存。
而 std::make_unique_for_overwrite<T[]>(n) 的作用是创建一个未初始化的数组指针，不会调用构造函数。这样可以避免多余的操作，提升性能，尤其是在处理大型对象数组或者 POD 类型的时候。
立即学习“C++免费学习笔记（深入）”；
和普通 make_unique 的区别
-
make_unique<T[]>(n)
会为每个元素调用默认构造函数。适用于需要立即有合法状态的对象数组。
make_unique_for_overwrite<T[]>(n)
不调用构造函数，只分配内存。适用于后续会手动初始化的情况，比如从文件读取数据、网络接收缓冲区等。
举个例子：
auto arr1 = std::make_unique<int[]>(100); // 每个 int 初始化为 0 auto arr2 = std::make_unique_for_overwrite<int[]>(100); // 未初始化，值不确定
如果你打算马上用循环赋值或者 memcpy 覆盖这块内存，那 make_unique_for_overwrite 更高效。
使用场景和注意事项
常见用途：
- 网络通信中接收数据到缓冲区
- 文件读写操作中作为目标缓冲区
- 图像、音频数据处理前的预分配内存
- 避免构造/析构大量临时对象的优化
注意事项：
- 只能在 C++20 及以上版本使用。
- 不能用于需要构造函数逻辑的对象类型（如含有资源管理的对象）。
- 对于非 POD 类型要小心使用，确保后续正确初始化。
- 不要试图访问未初始化的元素，否则行为未定义。
示例代码
下面是一个简单的例子，展示如何用 make_unique_for_overwrite 分配一个数组，并手动初始化内容：
#include <iostream>
#include <memory>
int main() {
const size_t size = 5;
auto data = std::make_unique_for_overwrite<int[]>(size);
// 手动赋值
for (size_t i = 0; i < size; ++i) {
data[i] = static_cast<int>(i * 2);
}
for (size_t i = 0; i < size; ++i) {
std::cout << data[i] << " ";
}
}输出：
0 2 4 6 8
这个例子虽然简单，但它展示了如何结合智能指针和手动初始化来控制内存生命周期。
小结
std::make_unique_for_overwrite 是一个针对特定场景的小工具，但在性能敏感的地方能起到不错的作用。它的核心优势在于跳过默认初始化过程，减少不必要的开销。使用时要注意是否适合你的数据类型和使用方式。
基本上就这些。
