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

P粉602998670

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

902人浏览过

来源于php中文网

原创

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(n) 创建一个动态数组时，标准会自动对数组中的每个元素进行默认初始化（default-initialized）。这在某些情况下是不必要的开销，比如你马上要用 memcpy 或其他方式填充这块内存。

而 std::make_unique_for_overwrite(n) 的作用是创建一个未初始化的数组指针，不会调用构造函数。这样可以避免多余的操作，提升性能，尤其是在处理大型对象数组或者 POD 类型的时候。

立即学习“C++免费学习笔记（深入）”；

和普通 make_unique 的区别

make_unique(n)
会为每个元素调用默认构造函数。适用于需要立即有合法状态的对象数组。
make_unique_for_overwrite(n)
不调用构造函数，只分配内存。适用于后续会手动初始化的情况，比如从文件读取数据、网络接收缓冲区等。

举个例子：

auto arr1 = std::make_unique(100); // 每个 int 初始化为 0
auto arr2 = std::make_unique_for_overwrite(100); // 未初始化，值不确定

如果你打算马上用循环赋值或者 memcpy 覆盖这块内存，那 make_unique_for_overwrite 更高效。

Multiavatar

Multiavatar是一个免费开源的多元文化头像生成器，可以生成高达120亿个虚拟头像

下载

使用场景和注意事项

常见用途：

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

注意事项：

只能在 C++20 及以上版本使用。
不能用于需要构造函数逻辑的对象类型（如含有资源管理的对象）。
对于非 POD 类型要小心使用，确保后续正确初始化。
不要试图访问未初始化的元素，否则行为未定义。

示例代码

下面是一个简单的例子，展示如何用 make_unique_for_overwrite 分配一个数组，并手动初始化内容：

#include 
#include 

int main() {
    const size_t size = 5;
    auto data = std::make_unique_for_overwrite(size);

    // 手动赋值
    for (size_t i = 0; i < size; ++i) {
        data[i] = static_cast(i * 2);
    }

    for (size_t i = 0; i < size; ++i) {
        std::cout << data[i] << " ";
    }
}

输出：