Коротко — исходный фрагмент
std::vector v;
for (int i=0;i<=v.size();++i) v[i]=i;
содержит несколько ошибок и источников неопределённого поведения. Ниже — разбор и исправления для разных целей.
Ошибки и UB
- Выход за границу массива: валидные индексы для вектора с размером $v.size()$ — от $0$ до $v.size()-1$. Условие цикла $i\le v.size()$ допускает $i==v.size()$, поэтому обращение $v[i]$ при $i==v.size()$ — неопределённое поведение.
- Пустой вектор: при $v.size()==0$ исходный цикл всё равно выполнится для $i=0$ и сразу попытается записать в $v[0]$ — UB.
- Отсутствие элементов для записи: оператор $v[i]$ требует, чтобы элемент с этим индексом уже существовал (size > index). Для добавления элементов надо использовать методы добавления или заранее изменить размер.
- Сигнально-беззнаковое сравнение / предупреждение компилятора: $v.size()$ имеет тип беззнаковый ($size\_t$ / $std::vector<int>::size\_type$), переменная $i$ — знаковая ($int$). Сравнение $i<v.size()$ приводит к неявному приведению типов и может генерировать предупреждение; в редких случаях неправильный тип индекса (например, если $v.size()$ больше $INT\_MAX$) может привести к переполнению или логике ошибки.
- Отсутствие проверки границ: $operator[]$ не проверяет границы. Для отлавливания ошибки можно использовать $v.at(i)$, который бросает исключение при выходе за пределы.
Корректные варианты (в зависимости от цели)
1) Цель: создать вектор длины $n$ и заполнить числами $\mathrm{0..}n-1$ - Рекомендуемый (быстро и просто):
std::vector v;
v.resize(n);
for (std::vector::size_type i = 0; i < v.size(); ++i) v[i] = static_cast(i);
(здесь условие $i<v.size()$, а не $i\le v.size()$.)
- Ещё лучше (стандартный способ):
#include std::vector v(n);
std::iota(v.begin(), v.end(), 0);
(коротко: $std::iota(v.begin(),v.end(),0);$ — заполняет 0,1,2,...)
2) Цель: последовательно добавлять элементы (не заранее задавать размер)
- Использовать push_back / emplace_back:
std::vector v;
v.reserve(n); // опционально для производительности
for (int i = 0; i < n; ++i) v.push_back(i);
(условие цикла $i<n$.)
3) Цель: изменить уже существующие элементы вектора (без изменения размера)
- Если вектор уже имеет нужный размер:
for (std::size_t i = 0; i < v.size(); ++i) v[i] = /* значение для индекса i */;
- Альтернатива с проверкой:
for (std::size_t i = 0; i < v.size(); ++i) v.at(i) = /* ... */; // at выбросит исключение при ошибке
4) Стиль и безопасность индексов
- Используйте тип индекса, равный типу размера вектора:
for (std::vector::size_type i = 0; i < v.size(); ++i) ...
или
for (auto i = v.size(); i-- > 0; ) { /* обход в обратном порядке */ }
- Для простого изменения всех элементов без индекса:
for (auto &x : v) x = /* выражение, не требующее индекса */;
если нужен индекс, используйте явный счётчик или iota/std::generate.
5) Отлавливание ошибок
- Для отладочного варианта используйте $v.at(i)$ чтобы получить исключение при выходе за границы.
- Компилятор: исправьте предупреждения о сравнении знакового и беззнакового типов (используйте одинаковые типы).
Краткие исправленные примеры
- Заполнить $n$ элементами 0..n-1:
std::vector v(n); // создали нужный размер
std::iota(v.begin(), v.end(), 0);
- Добавлять по одному:
std::vector v;
v.reserve(n);
for (int i = 0; i < n; ++i) v.push_back(i);
Вывод: главное — заменить $i\le v.size()$ на $i<v.size()$ и обеспечить, что элементы существуют перед записью (через resize/конструктор или push_back), а индексы использовать совместимые по типу с $v.size()$.