Лекции

Разбираем, как в C++ работает абстрактный тип через pure virtual-методы: что означает синтаксис = 0, почему абстрактный класс нельзя создать напрямую, как правильно реализовывать «интерфейс» через override и зачем полиморфной базе нужен виртуальный деструктор. Практика — на мини-примере Tasky с разными стратегиями печати задач.

Разбираем, зачем интерфейсу нужен «договор» (предусловия и постусловия), почему «тонкий» интерфейс проще реализовывать и тестировать, как фиксировать контракт прямо в сигнатуре через const, std::string_view, std::optional и [[nodiscard]], как честно описывать неуспех без исключений, а также как инварианты состояния влияют на поведение. В конце — практический пример для TaskBoard и разбор типичных ошибок проектирования.

Разбираем практический паттерн «владение через абстракцию»: как хранить сервис по интерфейсу в виде std::unique_ptr < ILogger >, зачем нужен virtual-деструктор для полиморфного удаления, как работает перемещение через std::move, что означает «пустой указатель» ( nullptr), и как это применять в мини-приложении TaskApp с реализациями ConsoleLogger/ NullLogger, включая коллекции std::vector < std::unique_ptr < IService >>.

Разбираем, как централизовать выбор реализации по настройкам (конфиг/CLI) с помощью фабрики: отделяем «грязный» ввод строк от типобезопасного enum class, парсим режим в StorageKind, а затем создаём конкретное хранилище через make_storage, возвращая std::unique_ptr<ITaskStorage>. На примере TaskTracker сравним реализации на std::vector и std::map, обсудим архитектурные нюансы и типичные ошибки.

Разбираем RTTI в C++ как «огнетушитель» для редких случаев: чем отличаются статический и динамический тип, как работает безопасное приведение через dynamic_cast (с проверкой на nullptr и требованием полиморфной базы с virtual-методом), когда уместен typeid и почему std::type_info:: name() нельзя использовать как стабильный идентификатор. На примере ITaskStorage показываем, как заменить RTTI «нормальным» полиморфизмом через виртуальный метод debug_describe( std::ostream&).