c++ - 创建包含已分配数组的 unique_ptr 的正确方法

Question

创建一个unique_ptr 的正确方法是什么，它包含一个在自由存储上分配的数组？ Visual Studio 2013 默认支持这一点，但是当我在 Ubuntu 上使用 gcc 4.8.1 版时，我会遇到内存泄漏和未定义的行为。

这个问题可以用这段代码重现:

#include <memory>
#include <string.h>

using namespace std;

int main()
{
    unique_ptr<unsigned char> testData(new unsigned char[16000]());

    memset(testData.get(),0x12,0);

    return 0;
}

Valgrind 会给出这个输出:

==3894== 1 errors in context 1 of 1:
==3894== Mismatched free() / delete / delete []
==3894==    at 0x4C2BADC: operator delete(void*) (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==3894==    by 0x400AEF: std::default_delete<unsigned char>::operator()(unsigned char*) const (unique_ptr.h:67)
==3894==    by 0x4009D0: std::unique_ptr<unsigned char, std::default_delete<unsigned char> >::~unique_ptr() (unique_ptr.h:184)
==3894==    by 0x4007A9: main (test.cpp:19)
==3894==  Address 0x5a1a040 is 0 bytes inside a block of size 16,000 alloc'd
==3894==    at 0x4C2AFE7: operator new[](unsigned long) (in /usr/lib/valgrind/vgpreload_memcheck-amd64-linux.so)
==3894==    by 0x40075F: main (test.cpp:15)

Answer 1

使用 T[] 特化:

std::unique_ptr<unsigned char[]> testData(new unsigned char[16000]());

请注意，在理想情况下，您不必显式使用 new 来实例化 unique_ptr，从而避免潜在的异常安全陷阱。为此，C++14 为您提供了 std::make_unique 函数模板。见 this excellent GOTW更多细节。语法是:

auto testData = std::make_unique<unsigned char[]>(16000);