起因

看到这个博客里写道这样写进行了初始化操作

auto buffer_size = 5*1024*1024;
auto buffer = std::make_unique<char[]>(buffer_size);

评论区jajuju提出可以使用创建buffer

其实这里的情况是 make_unique 里用的 new 表达式是 new T[n]() ，对于 char 数组会进行零初始化。 如果换用 make_unique_for_overwrite，里面的 new 表达式就是 new T[n]，此时进行默认初始化，就不会给 char 数组内容清零。

瞬间感觉学到了一个新知识，这个make_unique_for_overwrite真是第一次见了(没看过cppreference上的make_unique一节…)

源码分析

我们以cppreference上的实现分析下源码：

1. 非数组类型

   template<class T>
   requires (!std::is_array_v<T>)
   std::unique_ptr<T> make_unique_for_overwrite() {
       return std::unique_ptr<T>(new T);
   }
   

• 效果类似于 new T，但没有 ()，因此不会执行默认初始化（特别是对于 POD 类型）。
• 构造函数仍然会被调用（如果 T 不是 POD）。

2. 动态数组

   template<class T>
   requires std::is_unbounded_array_v<T>
   std::unique_ptr<T> make_unique_for_overwrite(std::size_t n) {
       return std::unique_ptr<T>(new std::remove_extent_t<T>[n]);
   }
   

• 分配 n 个 T 元素的未初始化数组，不调用 ()，因此不会默认初始化（类似 new T[n]）。
• 不会调用构造函数（如果 T 是 POD）。

3. 禁止定长数组

   template<class T, class... Args>
   requires std::is_bounded_array_v<T>
   void make_unique_for_overwrite(Args&&...) = delete;
   

• 因为定长数组不能通过 new 进行动态分配，所以编译时禁止。

参考

MSVC STL实现