Данные классы отличаются также тем, как они позволяют пользователям переопределять свою стандартную функцию удаления. Для переопределения функции удаления класса shared_ptr
достаточно предоставить ему при создании вызываемый объект или функцию reset()
. У объекта класса unique_ptr
, напротив, тип функции удаления является частью типа. При определении указателя unique_ptr
пользователи должны предоставлять этот тип как явный аргумент шаблона. В результате для указателя unique_ptr
сложней предоставить собственную функцию удаления.
Различие в способе работы функции удаления — это лишь частность функциональных возможностей данных классов. Но, как будет вскоре продемонстрировано, это различие в стратегии реализации может серьезно повлиять на производительность.
Даже не зная, как именно реализуются библиотечные типы, вполне можно догадаться, что указатель shared_ptr
обращается к своей функции удаления косвенно. Поэтому функция удаления должна храниться как указатель или как класс (такой как function
из раздела 14.8.3), инкапсулирующий указатель.
То, что тип функции удаления не известен до времени выполнения, позволяет убедиться, что класс shared_ptr
не содержит функцию удаления как непосредственный член класса. Действительно, класс shared_ptr
позволяет изменить тип функции удаления на протяжении продолжительности его существования. Вполне можно создать указатель shared_ptr
, используя функцию удаления одного типа, а впоследствии использовать функцию reset()
, чтобы использовать для того же указателя shared_ptr
другой тип функции удаления. Вообще, у класса не может быть члена, тип которого изменяется во время выполнения. Следовательно, функция удаления должна храниться отдельно.
Размышляя о том, как должна работать функция удаления, предположим, что класс shared_ptr
хранит контролируемый указатель в переменной-члене класса по имени p
, а обращение к функции удаления осуществляется через член класса по имени del
. Деструктор класса shared_ptr
должен включать такой оператор:
//
//
del ? del(p) : delete p; //
//
Поскольку функция удаления хранится отдельно, вызов del(p)
требует перехода во время выполнения к области хранения del
и выполнения кода, на который он указывает.
Теперь давайте подумаем, как мог бы работать класс unique_ptr
. В этом классе тип функции удаления является частью типа unique_ptr
. Таким образом, у шаблона unique_ptr
есть два параметра шаблона: представляющий контролируемый указатель и представляющий тип функции удаления. Поскольку тип функции удаления является частью типа unique_ptr
, тип функции-члена удаления известен на момент компиляции. Функция удаления может храниться непосредственно в каждом объекте класса unique_ptr
.
Деструктор класса unique_ptr
работает подобно таковому у класса shared_ptr
, в котором он вызывает предоставленную пользователем функцию удаления или выполняет оператор delete
для хранимого указателя:
//
//
del(p); //
Тип del
— это либо заданный по умолчанию тип функции удаления, либо тип, предоставленный пользователем. Это не имеет значения; так или иначе, выполняемый код будет известен во время компиляции. Действительно, если функция удаления похожа на класс DebugDelete
(см. раздел 16.1.4), этот вызов мог бы даже быть встраиваемым во время компиляции.
При привязке функции удаления во время компиляции класс unique_ptr
избегает во время выполнения дополнительных затрат на косвенный вызов своей функции удаления. При привязке функции удаления во время выполнения класс shared_ptr
облегчает пользователю переопределение функции удаления.
Упражнение 16.28. Напишите собственные версии классов shared_ptr
и unique_ptr
.
Упражнение 16.29. Пересмотрите свой класс Blob
так, чтобы использовать собственную версию класса shared_ptr
, а не библиотечную.