>The allocator_type typedef is always allocator, as far as I can tell. Ok, coffee break. This is wrong, by inspection. >And _Alloc_type (should be __underlying_allocator or whatever) seems >superfluous. The points about a simpler way still seem true though. -benjamin