>>127
ttp://www.kuzbass.ru/docs/isocpp/lib-utilities.html#lib.allocator.requirements

a1 == a2 の結果は "returns true iff storage allocated from each can be deallocated via the other" とされている。
データメンバを持つなら、 a1 == a2 が true にならない場合があるんじゃない？