Почему unique_ptr принимает два параметра шаблона, когда shared_ptr принимает только один?

Question

И unique_ptr, и shared_ptr принимают пользовательский деструктор для вызова объекта, которому они принадлежат. Но в случае с деструктор передается в качестве параметра шаблона класса , тогда как тип настраиваемого деструктора shared_ptr должен быть указан как шаблонный шаблон конструктор.

template <class T, class D = default_delete<T>> 
class unique_ptr 
{ 
    unique_ptr(T*, D&); //simplified 
    ... 
}; 

и

template<class T> 
class shared_ptr 
{ 
    template<typename D> 
    shared_ptr(T*, D); //simplified 
    ... 
}; 

Я не могу понять, почему такая разница. Что требует этого?

Answer 1

Если вы предоставите детер в качестве аргумента шаблона (как в unique_ptr), он является частью типа, и вам не нужно хранить что-либо дополнительно в объектах этого типа. Если deleter передается как аргумент конструктора (как в shared_ptr), вам необходимо сохранить его в объекте. Это стоимость дополнительной гибкости, так как вы можете использовать разные удалители для объектов того же типа.

Я думаю, это и есть причина: unique_ptr должен быть очень легким объектом с нулевыми накладными расходами. Хранение удалений с каждым unique_ptr может удвоить их размер. Из-за этого люди вместо этого использовали бы старые добрые указатели, что было бы неправильно.

С другой стороны, shared_ptr не так легковес, так как ему нужно хранить счетчик ссылок, поэтому хранение пользовательского делетера также выглядит как хороший компромисс.