Лекции

Разбираем три способа выразить «значение может отсутствовать» в C++: вернуть указатель T* и проверить nullptr, вернуть результат как std::optional<T> и обработать std::nullopt, либо использовать sentinel-значения вроде std::string::npos. Учимся выбирать подход по смыслу («доступ к объекту» vs «значение-результат»), делаем мини-рефакторинг API и фиксируем типичные ошибки.

Разбираем, что такое инвалидация ссылок/указателей/итераторов в std::vector, почему контейнер «переезжает» при росте ( reallocation), как удаление через erase сдвигает элементы и ломает старые адреса, почему const не спасает, и как мыслить «картой рисков» по операциям ( push_back, reserve, resize, erase) чтобы не нарваться на UB.

Разбираем практическую проблему C++: почему хранить указатели/ссылки на элементы std::vector в долгоживущем состоянии опасно (инвалидация из-за reallocation и сдвигов после erase), как это превращается в UB, и чем заменять такие «ссылки на элемент» — индексом ( std::optional<std::size_t>) или устойчивым идентификатором ( id), переполучая доступ заново.

Разбираем, как на самом деле работают new/ delete и new []/ delete [] в C++: какие шаги выполняются при выделении памяти и конструировании объектов, чем отличается инициализация new int от new int {}, почему delete завершает время жизни объекта, и главное — почему перепутанные формы удаления дают UB.

Разбираем три классических аварии ручного управления памятью в C++: leak, double-free и use-after-free. Фиксируем «золотой инвариант» пар new/ delete и new []/ delete [], смотрим типовые сценарии (ранний return, перезапись указателя, алиасы), а затем на мини‑кейсе с legacy‑заметками на char* видим, как неявное владение приводит к UB.