如何用智能指针管理C++动态数组 make_unique_for_overwrite的特殊用法-C++-PHP中文网

如何用智能指针管理C++动态数组 make_unique_for_overwrite的特殊用法

P粉602998670

发布： 2025-07-21 12:15:02

原创

897人浏览过

c++++20 中的 std::make_unique_for_overwrite 用于创建未初始化的动态数组指针，避免默认构造函数调用以提升性能。1. 它与 std::make_unique 的区别在于不会初始化元素；2. 适用于后续手动填充数据的场景，如网络通信、文件读写；3. 使用时需注意仅支持 c++20 及以上版本，且不能用于依赖构造函数逻辑的对象类型。

如何用智能指针管理C++动态数组 make_unique_for_overwrite的特殊用法

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 更高效。

如此AI写作

AI驱动的内容营销平台，提供一站式的AI智能写作、管理和分发数字化工具。

137

查看详情

使用场景和注意事项

常见用途：

网络通信中接收数据到缓冲区
文件读写操作中作为目标缓冲区
图像、音频数据处理前的预分配内存
避免构造/析构大量临时对象的优化

注意事项：

只能在 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] << " ";
    }
}

登录后复制

输出：