最終更新日時: 2017年03月15日 08時21分29秒
Akira Takahashi が更新

Buffer Concept

Buffer とは、その中に何かしらアイテムを書き込んだり、削除したりできるものである。 Buffer のコンセプトは、ほとんど要求を持たない。アイテムが格納の仕方や削除される時に関して、いかなる特定の順序付けも要求してはいないが、例によって、ソートに関しては順序付けのポリシーがいくつかある。

表記

Buffer をモデル化する型は、以下のメンバーを持たなければならない。

メンバ	説明
`value_type`	Buffer 内に格納されるオブジェクトの型。その値の型は Assignable でなければならない。
`size_type`	Buffer 内のオブジェクトの数を表す符号無し整数型。
`void push(const T& t)`	`t` を Buffer 内に挿入する。 `size()` は 1 インクリメントされる。
`void pop()`	Buffer からオブジェクトを削除する。 `size()` は 1 デクリメントされる。事前条件: `empty()` が `false` であること。
`T& top()`	Buffer 内のあるオブジェクトへの非 `const` な参照を返す。事前条件: `empty()` が `false` であること。
`const T& top() const`	Buffer 内のあるオブジェクトへの `const` な参照を返す。事前条件: `empty()` が `false` であること。
`void size() const`	Buffer 内のオブジェクトの数を返す。不変式: `size() >= 0`
`bool empty() const`	`b.size() == 0` と等価。