это ошибка. Тип удалителя является частью типа интеллектуального указателя.
rasure - так ты это называешь?
Какboost::shared_ptr
хранит его удалитель и какboost::function
хранит свой функциональный объект?
Есть ли учебник, который учит трюк?
Какова стоимость использования функциональных объектов со стертыми типами во время выполнения?