boost::circular_bufferのerase

BoostML - circular_buffer::erase in constant time


circular_bufferのeraseはいま線形時間で実装されているが、定数時間にすることは可能か、
という質問があり、どうやら次のバージョン(1.42)ではerase_begin() / erase_end()が追加される予定で
これを使えば定数時間で要素を削除できるようになるみたいです。
SVNにはすでに上がっていました。