>>289
言語の仕様としては定められてないってことでしょ
計算量の規定を満たしていれば、実装は処理系に任せるというスタンス
少なくともGCCは赤黒木で実装されてるし、平衡二分木を使わずに規定を満たすのは難しいんじゃないか