创建包含已分配数组的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实例化a unique_ptr,从而避免潜在的异常安全陷阱.为此,C++ 14为您提供了std::make_unique功能模板.有关详细信息,请参阅此优秀的GOTW.语法是:

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

Answer 2

使用阵列版本:

auto testData = std::unique_ptr<unsigned char[]>{ new unsigned char[16000] };

或者使用c ++ 14,一个更好的形式(VS2013已经拥有它):

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

Answer 3

最有可能的更好的办法是使用std::vector<unsigned char>替代

#include <vector>
#include <string>

using namespace std;

int main()
{
    vector<unsigned char> testData(0x12, 0); // replaces your memset
    // bla    
}

这样做的好处是,它更不容易出错,并且可以访问各种功能,例如轻松迭代,插入,达到容量时自动重新分配.

有一点需要注意:如果您要大量移动数据,则需要std::vector花费更多,因为它会跟踪大小和容量,而不仅仅是数据的开头.

注意:您memset没有做任何事情,因为您使用零计数参数调用它.