Лекции

Разбираем, как использовать static_assert в шаблонах C++ так, чтобы вместо «простыни» ошибок получать одну понятную причину: где именно нарушен контракт и что ожидалось от типа. Обсудим, когда проверка срабатывает (при инстанцировании), почему опасен static_assert( false, ...), как применять трюк always_false_v<T>, где лучше размещать проверки, и как сочетать concept/ requires с дружелюбной диагностикой.

Разбираем, как C++ «отфильтровывает» неподходящие шаблоны: через SFINAE (когда перегрузка исчезает при ошибке подстановки) и через concepts/ requires (когда контракт виден прямо в сигнатуре). Сравним читаемость, качество ошибок компиляции и перегрузки, а затем соберём практический пример edu::pretty_print для чисел, строк и диапазонов ( std::ranges::range) в стиле C++20/23.

Разбираем «лестницу возможностей» итераторов в STL: чем отличаются input, forward, bidirectional и random-access, какие операции гарантированы ( ++, --, +, [], разность итераторов), почему диапазоны почти всегда задаются как [ first , last ), и как выбирать универсальные инструменты вроде std::advance вместо неверных предположений о контейнере ( vector vs map).

Разбираем, зачем в C++ нужны const_iterator и методы cbegin()/ cend(), как они фиксируют «намерение только читать» и превращают случайные модификации в ошибки компиляции. Сравним поведение begin()/ end() и cbegin()/ cend(), посмотрим на взаимодействие с алгоритмами ( std::find_if) и на выбор режима доступа в range-for через auto, auto& и const auto&.

Разбираем, как STL‑алгоритмы пишут результат через «выходной итератор» и почему попытка писать в dst . begin() для пустого контейнера приводит к проблемам. Учимся подключать контейнеры к алгоритмам через std :: back_inserter (вставка в конец через push_back()) и std :: inserter (вставка через insert() для set/ map), а также фиксируем разницу между reserve() и resize() и разбираем типичные ошибки.