М. Скотт - Эффективный и современный C++ 11-14 (гл. 4.3):
Подобно std::unique_ptr, std::shared_ptr в качестве механизма удаления ресурса по умолчанию использует delete, но подерживает и пользовательские удалители. Однако дизайн этой поддержки отличается от дизайна для std::unique_ptr. Для std::unique_ptr тип удалителя является частью типа интеллектуального указателя. Для std::shared_ptr это не так:
auto loggingDel = [] (Widget *pw) // Пользовательскй удалитель
{
makeLogEntry(pw);
delete pw;
};
std::unique_ptr< // Тип удалителя является
Widget, decltype(loggingDel) // частью типа указателя
> upw (new Widget, loggingDel);
std::shared_ptr<Widget> // Тип удалителя не является
spw (new Widget, loggingDel); // частью типа указателя
Т.к. shared_ptr
с разными удалителями являются объектами одного и того же типа, то они могут быть помещены в один и тот же контейнер, присвоены один другому и т.п. С unique_ptr
такое не выйдет, т.к. тип удалителя является частью типа самого unique_ptr
.
Следовательно:
- Для
unique_ptr
тип пользовательской функции удаления нужно явно задать через параметр шаблона unique_ptr
, либо воспользоваться автоматическим выведением типа, а для shared_ptr
это всегда вызываемый объект с параметром T*
.
Что касается второго вопроса. Для unique_ptr
пользовательский удалитель хранится в виде указателя на функцию или функционального объекта (заданного через параметр шаблона). Для shared_ptr
пользовательский удалитель (как и счетчик ссылок, слабый счеткик, аллокатор и т.п.) является частью управляющего блока, выделенного в динамической памяти.
Поэтому:
- При копировании/перемещении умного указателя функция не копируется/перемещается. Копирование/перемещение умного указателя копирует/перемещает только указатель на эту функцию(функц. объект) или на управляющий блок.