It's all good, but if there's a sizable std::map with std::strings somewhere in the code, it only makes sense to use a faster allocator when one is available. I

It's all good, but if there's a sizable std::map with std::strings somewhere in the code, it only makes sense to use a faster allocator when one is available. It's basically an optimization freebie.