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

E>То есть тебе кажется удобным для нумерации элементов последовательности и подпоследовательности использовать разные типы?

Мне кажется удобным использовать натуральные числа для нумерации, и целые — для адресации.

E>Это странно и, как минимум, противоречит идее Степанова отделить алгоритмы от данных, на которой построен STL...

Для универсальных алгоритмов и контейнеров широкого назначения знаковая адресация вполне допустима. А вот для чего, например, argc в main имеет знаковый тип? В каких случаях он может становиться отрицательным?