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

DB>Да что такое сегодня с руками...

Похоже, что не только сегодня...

DB>Должно быть

DB>

DB>std::vector<int> v;
DB>for (std::vector<int>::size_type i = v.size() - 1; i >= 0; --i)
DB>{
DB>  ...
DB>}
DB>

DB>Этот код ошибочен при любом количестве элементов в векторе.

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