Re: [boost] Proposal: Boost.Core

On Sun, 01 Jun 2014 08:34:01 -0700, Peter Dimov wrote:

I'd be much happier if empty_deleter is called null_deleter though. empty_deleter always makes me think of empty deleter optimizations, and null_deleter, while not necessarily a better name, does have an established meaning.

I suggest "noop_deleter". At first glance "null_deleter" conveys that it's a deleter for null pointers.