------- Additional Comments From pcarlini at suse dot de 2005-03-30 15:09 ------- Irrespective of the fact that the code compiles or doesn't, I believe it's *invalid*, because, according to 23.1/8, "All other constructors for these container types take an Allocator& argument, an allocator whose value type is the same as the container's value type", where Allocator is the type of the second template parameter of the class, and your snippet violates this requirement; in other terms, the standard does *not* mandate that the containers do rebinding.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=20690
