Итерация по std::vector: unsigned vs signed индекс — что выбрать?

Проблема signed vs unsigned: корень зла

Ваше замешательство абсолютно нормально — это одна из самых частых ловушек в C++. Метод std::vector::size() возвращает тип std::size_t — это беззнаковый целочисленный тип, определённый в . Его размер зависит от платформы (обычно 8 байт на 64-битных системах). Использование int (обычно 4 байта, знаковый) приводит к неявному преобразованию типов, что и вызывает предупреждение компилятора.

Почему size_t — не всегда идеал

Главная проблема size_t — это его беззнаковость. Рассмотрим обратный цикл:

for (std::size_t i = vec.size() - 1; i >= 0; --i) // БЕСКОНЕЧНЫЙ ЦИКЛ!

Когда i становится 0 и мы делаем --i, значение переполняется до максимального для size_t (например, 18446744073709551615). Условие i >= 0 всегда истинно для беззнаковых типов. Это классическая ошибка.

Лучшее решение: итераторы и range-based for

Современный C++ (C++11 и новее) предлагает гораздо более безопасные и выразительные способы итерации, которые полностью устраняют проблему выбора типа индекса.

1. Range-based for (для прямого прохода)

for (const auto& value : vec) {
    std::cout << value << " ";
}

Самый простой и безопасный способ. Нет индексов, нет ошибок выхода за границы (если не модифицируете контейнер).

2. Итераторы (для гибкости)

// Прямой проход
for (auto it = vec.begin(); it != vec.end(); ++it) {
    std::cout << *it << " ";
}

// Обратный проход
for (auto it = vec.rbegin(); it != vec.rend(); ++it) {
    std::cout << *it << " ";
}

Итераторы используют difference_type (обычно ptrdiff_t, знаковый тип), поэтому сравнения безопасны. rbegin()/rend() — идеальное решение для обратного прохода.

3. Если очень нужен индекс — используйте ptrdiff_t

Если по каким-то причинам вы обязаны использовать индекс (например, доступ к соседним элементам), используйте знаковый тип, способный вместить размер контейнера:

#include <iterator> // для std::ptrdiff_t

for (std::ptrdiff_t i = 0; i < static_cast<std::ptrdiff_t>(vec.size()); ++i) {
    std::cout << vec[i] << " ";
}

// Обратный проход с ptrdiff_t
for (std::ptrdiff_t i = static_cast<std::ptrdiff_t>(vec.size()) - 1; i >= 0; --i) {
    std::cout << vec[i] << " ";
}

std::ptrdiff_t — знаковый тип, определённый в <cstddef>. Он гарантированно может хранить разность двух итераторов. Явное приведение size_t к ptrdiff_t делает намерения программиста ясными.

Рекомендации

• Для простого чтения: используйте range-based for.
• Для обратного прохода: используйте обратные итераторы (rbegin()/rend()).
• Если нужен индекс: используйте std::ptrdiff_t с явным приведением.
• Избегайте int для индексации контейнеров STL — он может быть слишком мал для больших векторов на 64-битных системах.
• Не используйте size_t для обратных циклов с условием i >= 0 — это приведёт к ошибке.

Итог

В современном C++ индексы для итерации по std::vector практически не нужны. Итераторы и range-based for покрывают 99% задач. Если же вы пишете код, где индекс необходим, std::ptrdiff_t — самый безопасный выбор. Главное — избегайте смешивания знаковых и беззнаковых типов в сравнениях.

#include <vector>
#include <ranges>  // для std::ssize

std::vector<int> vec = {1, 2, 3, 4, 5};

// Прямой проход
for (int i = 0; i < std::ssize(vec); ++i) {
    std::cout << vec[i] << " ";
}

// Обратный проход
for (int i = std::ssize(vec) - 1; i >= 0; --i) {
    std::cout << vec[i] << " ";
}