Лекции

Разбираем, почему шаблоны в C++ «проверяются не сразу»: что такое инстанцирование, почему ошибка появляется в момент использования, как читать длинные сообщения компилятора (цепочки подстановок, [with T = ...], «no match for operator...»), и как превратить «шаблонную простыню» в понятный список требований к типу. В конце — практический пример: универсальная печать std::vector<T> и необходимость определить operator<< для своего Task.

Разбираем, почему определения шаблонов в C++ почти всегда держат в заголовках: модель раздельной компиляции, инстанциация по месту использования, типичный линковочный провал undefined reference, и как всё это связано с правилом ODR. Плюс — гигиена заголовков ( #pragma once / include guards) и практичный приём разнесения реализации через .inl/ .tpp.

Разбираем, как работает вывод типа в C++ при объявлении переменных через auto: почему обязателен инициализатор, как форма auto x = expr ведёт себя как создание копии «по значению», что именно теряется при дедукции (верхнеуровневый const и ссылочность без &), и почему auto особенно полезен со стандартной библиотекой (например, size(), find(), итераторы и алгоритмы). В конце — типичные ошибки и практические рекомендации по читаемости кода.

Разбираем, почему обычное auto часто делает копию и «снимает» const, и как правильно выбирать между auto, auto & и const auto &. На примерах с std::string, std::vector и мини-приложением TaskBox увидим, где появляются лишние копии в range-for, почему неконстантная ссылка не привязывается к временным объектам, и какие ошибки чаще всего делают новички.

Разбираем, зачем в C++ нужен decltype, даже если вы активно используете auto: как получить тип выражения «буквально как есть», не потерять const и ссылочность ( &), почему decltype(x) и decltype((x)) — разные вещи, и как decltype( auto) помогает писать корректные и эффективные return без лишних копий.