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

shared_ptr clone(int p) {

return new int(p); // ошибка: неявное преобразование

// в shared_ptr

}

Следует явно связать указатель shared_ptrс указателем, который предстоит возвратить:

shared_ptr clone (int p) {

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

return shared_ptr(new int(p));

}

По умолчанию указатель, используемый для инициализации интеллектуального указателя, должен указывать на область динамической памяти, поскольку по умолчанию интеллектуальные указатели используют оператор deleteдля освобождения связанного с ним объекта. Интеллектуальные указатели можно связать с указателями на другие виды ресурсов. Но для этого необходимо предоставить собственную функцию, используемую вместо оператора delete. Предоставление собственного кода удаления рассматривается в разделе 12.1.4.

Не смешивайте обычные указатели с интеллектуальными

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

Рассмотрим следующую функцию, работающую с указателем shared_ptr:

// ptr создается и инициализируется при вызове process()

void process(shared_ptr ptr) {

// использование ptr

} // ptr выходит из области видимости и удаляется

Параметр функции process()передается по значению, поэтому аргумент копируется в параметр ptr. Копирование указателя shared_ptrосуществляет инкремент его счетчика ссылок. Таким образом, в функции process()значение счетчика не меньше 2. По завершении функции process()осуществляется декремент счетчика ссылок указателя ptr, но он не может достигнуть нуля. Поэтому, когда локальная переменная ptrудаляется, память, на которую она указывает, не освобождается.

Правильный способ использования этой функции подразумевает передачу ей указателя shared_ptr:

shared_ptr p(new int (42)); // счетчик ссылок = 1

process(p); // копирование p увеличивает счетчик;

// в функции process() счетчик = 2

int i = *p; // ok: счетчик ссылок = 1

Хотя функции process()нельзя передать встроенный указатель, ей можно передать временный указатель shared_ptr, явно созданный из встроенного указателя. Но это, вероятно, будет ошибкой:

int *x(new int(1024)); // опасно: x - обычный указатель, a

// не интеллектуальный process(x);

// ошибка: нельзя преобразовать int* в shared_ptr

process(shared_ptr(x)); // допустимо, но память будет освобождена!

int j = *x; // непредсказуемо: x - потерянный указатель!

В этом вызове функции process()передан временный указатель shared_ptr. Этот временный указатель удаляется, когда завершается выражение, в котором присутствует вызов. Удаление временного объекта приводит к декременту счетчика ссылок, доводя его до нуля. Память, на которую указывает временный указатель, освобождается при удалении временного указателя.

Но указатель xпродолжает указывать на эту (освобожденную) область памяти; теперь x— потерянный указатель. Результат попытки использования значения, на которое указывает указатель x, непредсказуем.

При связывании указателя shared_ptrс простым указателем ответственность за эту память передается указателю shared_ptr. Как только ответственность за область памяти встроенного указателя передается указателю shared_ptr, больше нельзя использовать встроенный указатель для доступа к памяти, на которую теперь указывает указатель shared_ptr.

Опасно использовать встроенный указатель для доступа к объекту, принадлежащему интеллектуальному указателю, поскольку нельзя быть уверенным в том, что этот объект еще не удален.

Класс shared_ptrпредоставляет также несколько других операций, перечисленных в табл. 12.2 и табл. 12.3. Чтобы присвоить новый указатель указателю shared_ptr, можно использовать функцию reset():