Лекции

Разбираем, что такое Undefined Behavior в C++ и почему после него язык «ничего не обещает»: от эффекта «в Debug работает, в Release падает» до причин, из‑за которых оптимизатор меняет поведение. На примерах показываем типовые источники UB (выход за границы через operator[], деление на ноль, signed overflow, некорректные сдвиги), собираем безопасную мини‑архитектуру для StudyLog и обсуждаем, как искать UB с помощью санитайзеров ( ASan/ UBSan).

Разбираем, зачем в C++ включать санитайзеры и почему это всегда отдельный режим сборки (инструментирование даёт другой бинарник). Сравним зоны ответственности ASan и UBSan, посмотрим типовые «попадания» (выход за границы массива/вектора, деление на 0, signed overflow, некорректные сдвиги), и закрепим практикой: флаги -fsanitize=address/ -fsanitize=undefined, плюс полезные опции -g и -O0, а также мини-кейс со статистикой шагов.

Разбираем практический алгоритм чтения отчётов AddressSanitizer ( ASan) и UndefinedBehaviorSanitizer ( UBSan): как за 10 секунд выцепить тип проблемы ( heap-buffer-overflow, division by zero), найти первую ссылку на свой .cpp/ .hpp, прочитать stack trace и отличить «место обнаружения» от «места рождения» бага. На мини‑проекте со std::vector формулируем инварианты вроде i < v . size() и учимся чинить первопричину, а не симптом.

Разбираем, как использовать assert (из <cassert>) как «предохранитель» для инвариантов: где ставить проверки, почему в Release они могут исчезать из-за NDEBUG, почему нельзя допускать побочные эффекты внутри assert(...), как добавлять понятные сообщения через &&, и как сочетать проверки с санитайзерами для раннего и диагностируемого падения.

Разбираем, как использовать static_assert для compile-time контрактов в C++: чем он отличается от assert и обычного if, какие условия считаются константными (например, constexpr, sizeof), как защищать конфигурацию проекта и читать сообщения компилятора. Плюс — аккуратное знакомство с static_assert внутри шаблонов и типичными ошибками.