Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

• Когда конструктор std::shared_ptr вызывается с обычным указателем, он создает управляющий блок. Если вы хотите создать std::shared_ptrиз объекта, у которого уже имеется управляющий блок, вы предположительно передаете в качестве аргумента конструктора std::shared_ptrили std::weak_ptr(см. раздел 4.3), а не обычный указатель. Конструкторы std::shared_ptr, принимающие в качестве аргументов указатели std::shared_ptrили std::weak_ptr, не создают новые управляющие блоки, поскольку могут воспользоваться управляющими блоками, на которые указывают переданные им интеллектуальные указатели.

Следствием из этих правил является то, что создание более одного std::shared_ptrиз единственного обычного указателя дает вам бесплатный билет для путешествия в неопределенное поведение, поскольку в результате указываемый объект будет иметь несколько управляющих блоков. Несколько управляющих блоков означают несколько счетчиков ссылок, а несколько счетчиков ссылок означают, что объект будет удален несколько раз (по одному для каждого счетчика ссылок). И все это значит, что приведенный ниже код плох, ужасен, кошмарен:

auto pw= new Widget; // pw - обычный указатель

…

std::shared_ptr

spw1( pw, loggingDel); // Создание управляющего блока для *pw

…

std::shared_ptr // Создание второго

spw2( pw, loggingDel); // управляющего блока для *pw!

Создание обычного указателя pw, указывающего на динамически выделенный объект, — плохое решение, поскольку оно противоречит главному совету всей главы: предпочитайте интеллектуальные указатели обычным указателям. (Если вы забыли, откуда взялся этот совет, заново прочтите первую страницу данной главы.) Но пока что забудем об этом. Строка, в которой создается pw, представляет собой стилистическую мерзость, но она по крайней мере не приводит к неопределенному поведению.

Далее вызывается конструктор для spw1, которому передается обычный указатель, так что этот конструктор создает управляющий блок (и тем самым счетчик ссылок) для того, на что он указывает. В данном случае это *pw(т.e. объект, на который указывает pw). Само по себе это не является чем-то страшным, но далее с тем же обычным указателем вызывается конструктор для spw2, и он также создает управляющий блок (а следовательно, и счетчик ссылок) для *pw. Объект *pw, таким образом, имеет два счетчика ссылок, каждый из которых в конечном итоге примет нулевое значение, и это обязательно приведет к попытке уничтожить объект *pwдважды. Второе уничтожение и будет ответственно за неопределенное поведение.

Из этого можно вынести как минимум два урока, касающиеся применения std::shared_ptr. Во-первых, пытайтесь избегать передачи обычных указателей конструктору std::shared_ptr. Обычной альтернативой этому является применение функции std::make_shared(см. раздел 4.4), но в примере выше мы использовали пользовательские удалители, а это невозможно при использовании std::make_shared. Во-вторых, если вы вынуждены передавать обычный указатель конструктору std::shared_ptr, передавайте непосредственно результат оператора new, а не используйте переменную в качестве посредника. Если первую часть кода переписать следующим образом,

std::shared_ptr

spw1( new Widget, // Непосредственное использование new

loggingDel);

то окажется гораздо труднее создать второй std::shared_ptrиз того же обычного указателя. Вместо этого автор кода, создающего spw2, естественно, будет использовать в качестве аргумента инициализации spw1(т.e. будет вызывать копирующий конструктор std::shared_ptr), и это не будет вести ни к каким проблемам:

std::shared_ptr // spw2 использует тот же

spw2( spw1); // управляющий блок, что и spw1

Особенно удивительный способ, которым применение переменных с обычными указателями в качестве аргументов конструкторов std::shared_ptrможет привести к множественным управляющим блокам, включает указатель this. Предположим, что наша программа использует указатели std::shared_ptrдля управления объектами Widgetи у нас есть структура данных, которая отслеживает объекты Widget, которые были обработаны:

std::vector< std::shared_ptr> processedWidgets;

Далее, предположим, что Widgetимеет функцию-член, выполняющую эту обработку:

class Widget {

public: