Беды с шаблонами в C++

«Какие ещё шаблоны? В чём их беда? Причём тут метапрограммирование? Вы чё, угараете?» Да, угараем! На этой лекции ты узнаешь: - Как уронить компилятор с segmentation fault; - Как написать код, который генерирует другой код; - Как один язык программирования может существовать внутри другого. Если ты уже знаком с основами C++ и хочешь узнать о нём больше или желаешь познакомиться с концепцией метапрограммирования, то приглашаем на лекцию! Материалы лекции: https://github.com/danilasar/templates-cpp Telegram: https://t.me/dscsgu VK: https://vk.com/dscsgu Github: https://github.com/dsc-sgu Сайт: https://dsc.alivetech.org Тайм-коды: 0:00:00 — Введение 0:00:52 — Что такое метапрограммирование? 0:01:41 — Генерация кода на этапе компиляции 0:03:26 — Как работают шаблоны? 0:05:50 — Явное инстанцирование и аргументы шаблона по умолчанию 0:07:33 — Специализации шаблонов 0:12:10 — Загадка перегрузки шаблонов 0:16:22 — Логика выбора лучшего кандидата при перегрузке 0:19:04 — Шаблоны в шаблонах (Template Template Parameters) 0:21:50 — Условная компиляция 0:23:23 — Вычисления на этапе компиляции 0:24:45 — Как уронить компилятор? 0:31:08 — Использование requires для ограничений 0:33:02 — Разбор семантики requires и проверка операций 0:38:51 — Метафункции 0:50:33 — Шаблонные переменные 1:00:50 — Иллюзия константности 1:02:13 — Как обмануть обещание константности через const_cast? 1:14:15 — Ужасы remove_reference и ссылки на R-value