Why does std::shared_ptr accept a deleter as a constructor argument and not as a template parameter? Storing a type erased deleter seems to go against the C++ philosophy of not adding any unnecessary overhead to the standard library components.
The only logic I can see behind this is that since the cost of atomic increments of the reference count are so high, the cost of indirection through type erasure is ignored. But still it seems like unnecessary overhead.