Правильный способ создания unique_ptr, который содержит выделенный массив

Каков правильный способ создания unique_ptr, который содержит массив, выделенный в свободном хранилище? Visual Studio 2013 поддерживает это по умолчанию, но когда я использую gcc версии 4.8.1 на Ubuntu, я получаю утечки памяти и поведение undefined.

Проблема может быть воспроизведена с помощью этого кода:

#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)

Ответы

Ответ 1

Использование специализации T[]:

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

Обратите внимание, что в идеальном мире вам не нужно явно использовать new для создания экземпляра unique_ptr, избегая потенциальной ошибки безопасности. С этой целью С++ 14 предоставляет вам шаблон функции std::make_unique. Подробнее см. этот отличный GOTW. Синтаксис:

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

Ответ 2

Используйте версию массива:

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

Или с С++ 14, лучшая форма (VS2013 уже есть):

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

Ответ 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 ничего не делает, потому что вы вызываете его с аргументом нулевого подсчета.

Ответ 4

Похоже на goofup, я объясню, что я имею в виду

class Object {
private :
    static int count;
public :
    Object() {
        cout << "Object Initialized " << endl;
        count++;
    }
    ~Object() {
        cout << "Object destroyed " << endl;
    }
    int print()
    {
        cout << "Printing" << endl;
        return count;
    }
};

int Object::count = 0;

int main(int argc,char** argv)
{
    // This will create a pointer of Object
    unique_ptr<Object> up2 = make_unique<Object>();  
    up2->print();
    // This will create a pointer to array of Objects, The below two are same. 
    unique_ptr<Object[]> up1 = std::make_unique<Object[]>(30);
    Object obj[30];
    cout << up1.get()[8].print();
    cout << obj[8].print();

    // this will create a array of pointers to obj. 
        unique_ptr<Object*[]> up= std::make_unique<Object*[]>(30);
        up.get()[5] = new Object();
        unique_ptr<Object> mk = make_unique<Object>(*up.get()[5]);
        cout << up.get()[5]->print();

        unique_ptr<unique_ptr<Object>[]> up3 =  std::make_unique<unique_ptr<Object>[]>(20);
        up3.get()[5] = make_unique<Object>();

    return 0;
}

Цель сообщения заключается в том, что есть скрытые небольшие тонкие вещи, которые вам нужно понять. Создание массива объектов такое же, как массив объектов unique_ptr. Это будет иметь значение только тогда, когда вы передадите его в аргументе. Создание массива указателей объектов unique_ptr также не очень полезно. Поэтому только ниже двух вам нужно использовать в большинстве сценариев.

unique_ptr<Object> obj;
//and 
unique_ptr<unique_ptr<Object>[]>= make_unique<unique_ptr<Object>[]>(20);

Ответ 5

unsigned int size=16000;
std::unique_ptr<unsigned char[], std::default_delete<unsigned char[]>> pData(new unsigned char[size]);