Здравствуйте, Erop, Вы писали:

EP>>У контейнеров size_type — это implementation-defined беззнаковое целое.
E>А есть гарантия, что беззнаковое?

Да: "Table 96 — Container requirements ... X::size_type unsigned integer type"

E>Тоесть, если я хочу свой конетейнер сделать для стандартных алгоритмов, то я тоже обязан беззнаковое использовать для инндекса, например?

Не помню есть ли алгоритмы STL принимающие контейнер, а не итераторы. Вспоминается только boost'вский remove_erase и подобные.
А так да, если бы были — то да, формально должно быть беззнаковое.