Стенли Липпман - Язык программирования C++. Пятое издание

В отличие от указателя shared_ptr, нет никакой библиотечной функции, подобной функции make_shared(), которая возвращала бы указатель unique_ptr. Вместо этого определяемый указатель unique_ptrсвязывается с указателем, возвращенным оператором new. Подобно указателю shared_ptr, можно использовать прямую форму инициализации:

unique_ptr p1; // указатель unique_ptr на тип double

unique_ptr p2(new int(42)); // p2 указывает на int со значением 42

Таблица 12.4. Функции указателя unique_ptr(см. также табл. 12.1)

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

unique_ptr p1(new string("Stegosaurus"));

unique_ptr p2(p1); // ошибка: невозможно копирование unique_ptr

unique_ptr p3;

p3 = p2; // ошибка: невозможно присвоение unique_ptr

Хотя указатель unique_ptrнельзя ни присвоить, ни скопировать, можно передать собственность от одного (неконстантного) указателя unique_ptrдругому, вызвав функцию release()или reset():

// передает собственность от p1 (указывающего на

// строку "Stegosaurus") к p2

unique_ptr p2(p1.release()); // release() обнуляет p1

unique_ptr p3(new string("Trex"));

// передает собственность от p3 к p2

р2.reset(p3.release()); // reset() освобождает память, на которую

// указывал указатель p2

Функция-член release()возвращает указатель, хранимый в настоящее время в указателе unique_ptr, и обнуляет указатель unique_ptr. Таким образом, указатель p2инициализируется указателем, хранимым в указателе p1, а сам указатель p1становится нулевым.

Функция-член reset()получает необязательный указатель и переустанавливает указатель unique_ptrна заданный указатель. Если указатель unique_ptrне нулевой, то объект, на который он указывает, удаляется. Поэтому вызов функции reset()указателя p2освобождает память, используемую строкой со значением "Stegosaurus", передает содержимое указателя p3указателю p2и обнуляет указатель p3.

Вызов функции release()нарушает связь между указателем unique_ptrи объектом, который он контролирует. Зачастую указатель, возвращенный функцией release(), используется для инициализации или присвоения другому интеллектуальному указателю. В этом случае ответственность за управление памятью просто передается от одного интеллектуального указателя другому. Но если другой интеллектуальный указатель не используется для хранения указателя, возвращенного функцией release(), то ответственность за освобождения этого ресурса берет на себя программа:

p2.release(); // ОШИБКА: p2 не освободит память, и указатель

// будет потерян

auto p = p2.release(); // ok, но следует не забыть delete(p)

Из правила, запрещающего копирование указателя unique_ptr, есть одно исключение: можно копировать и присваивать те указатели unique_ptr, которые предстоит удалить. Наиболее распространенный пример — возвращение указателя unique_ptrиз функции:

unique_ptr clone(int p) {

// ok: явное создание unique_ptr для int*

return unique_ptr(new int(p));

}

В качестве альтернативы можно также возвратить копию локального объекта:

unique_ptr clone(int p) {

unique_ptr ret(new int(p));

// ...

return ret;

}

В обоих случаях компилятор знает, что возвращаемый объект будет сейчас удален. В таких случаях компилятор осуществляет специальный вид "копирования", обсуждаемый в разделе 13.6.2.