вычисления и выбор кода на этапе компиляцииcomputation and code selection at compile time
Как ограничивать шаблоны и выбирать перегрузку на этапе компиляции — от SFINAE (до C++20) до concepts (после), как компилятор выводит типы и специализирует шаблоны, и где заканчивается const и начинается настоящее вычисление во время компиляции через constexpr/consteval. Каждая тема — с примерами использования и минимальной реализацией, не только теорией. Все 3 карточки заполнены.How to constrain templates and pick an overload at compile time — from SFINAE (pre-C++20) to concepts (post-C++20), how the compiler deduces types and specializes templates, and where const ends and real compile-time computation via constexpr/consteval begins. Each topic comes with usage examples and a minimal implementation, not just theory. All 3 cards are filled in.
статусstatus
Все 3 карточки заполнены. Каждая страница включает не только объяснение механизма, но и рабочий пример его применения — SFINAE/concepts на конкретной перегрузке, вывод типов на конкретном шаблоне, constexpr-функцию, реально вычисляемую компилятором.All 3 cards are filled in. Each page includes not just an explanation of the mechanism but a working example of it in use — SFINAE/concepts on a concrete overload, type deduction on a concrete template, a constexpr function actually evaluated by the compiler.