Comment by xedrac

With some notable exceptions, I would argue that most of the time, the caller simply doesn't care. Maybe the "right" approach is to provide two functions, one that takes an allocator, and one that does not. That way the caller doesn't have to care unless it wants to.