Лекции

Разбираем CTAD ( Class Template Argument Deduction) — механизм C++17+, который позволяет не писать параметры шаблона класса вручную: компилятор выводит их из аргументов конструктора. На примерах со std::pair, std::array, std::vector обсудим плюсы и ловушки ( {} vs ()), затем применим CTAD в своём коде (шаблон Box<T> и мини-контекст TaskTracker) и закрепим типичные ошибки.

Разбираем, почему фигурные скобки {} в сочетании с auto могут внезапно менять выводимый тип: где получается обычный int, а где — std::initializer_list<T>. На примерах показываем «симптомы» вроде появления .size(), ловушки со строковыми литералами и правильные способы явно зафиксировать контейнер ( std::vector<std::string>).

Разбираем, почему «универсальный» template почти всегда имеет скрытые требования (операторы +, *, методы size(), функции begin()/ end()), откуда берутся «простыни» ошибок при инстанцировании, и как concepts и constraints делают контракт видимым в сигнатуре и переносят диагностику ближе к месту вызова. На примерах с Transaction, sum2 и safe_square показываем эффект и разбираем типичные ошибки.

Разбираем, как в C++20/23 перестать «кормить» шаблоны любыми типами и заранее описывать контракт через concept и requires: чем отличается requires-expression ( requires(...) { ... }) от requires-clause (… requires MyConcept< T>), как собрать минимальные HasSize и Addable, и почему запись requires( T x) может случайно потребовать копируемость (и «сломать» std::unique_ptr).

Разбираем, зачем в C++23 использовать стандартные concepts как контракт для шаблонов: как constraints “фильтруют” неподходящие типы на этапе компиляции, чем отличаются ограничения для целых ( std::integral) и вещественных ( std::floating_point), и как обобщать алгоритмы на любые последовательности через std::ranges::range. На практике собираем мини-версию утилиты DataBox и обсуждаем типичные ошибки.