Устранено обращение к неинициализированной памяти при очистке части вектора

В реализации слива части вектора устранено обращение к памяти, которая не была инициализирована. Это неопределённое поведение, то есть программа читает то, чего там нет.

Как это выглядит снаружи

Метод слива удаляет диапазон элементов из вектора, возвращая их. Это основной способ убрать середину коллекции — например, при обработке запроса на удаление из середины списка.

Ошибка находится не в результате, а во внутреннем механизме. Сам вектор после операции корректен, но в ходе работы с ним программа обращается к неинициализированной памяти.

Почему такие ошибки находят не сразу

Неинициализированная память обычно содержит старые данные. Если программа не использует результат, она продолжает работать правильно, и ошибка не проявляется — до тех пор, пока значение не попадёт куда-то, где оно важно.

Это делает ошибку опасной: она не обязана проявиться, и упасть может совсем другой код через несколько месяцев после обновления.

Оригинал

vec::Drain::fill без ссылки на неинициализированную память