Skip to content

Latest commit

 

History

History
81 lines (53 loc) · 4.73 KB

README.md

File metadata and controls

81 lines (53 loc) · 4.73 KB
Raw

Метапрограммирование на C++

Презентации

Условия задач

Как тестировать задачи

Code style

Темы

Темы идут в произвольном порядке и не мапятся 1 к 1 на занятия. Более того, скорее всего осветить все из них за один семестр не удастся. Программа продумана не до конца и будет уточняться по ходу дела.

  1. Templates. Templateable entities, kinds, metafunctions
  2. Template debugging. Dependent false assertion, tracers, archetypes
  3. Name resolution, two-phase lookup, dependent names
  4. Type deduction. Template arguments, auto, deduction guides
  5. Perfect forwarding. Unversal references, argument forwarding, result forwarding, decltype(auto)
  6. Friends, Barton–Nackman trick
  7. Concepts, requirements
  8. Stateful metaprogramming with friends
  9. Reflection tricks. std::source_location, enum reflection, struct reflection
  10. Type lists
  11. Traits and policies
  12. Policy based design, Mixins, EBCO
  13. Polymorphism. VTables, templates, macros, link time polymorphism, CRTP, type erasure
  14. Multimethods
  15. Named template arguments trick
  16. Hierarchy generation
  17. Tuples and variants
  18. OO patterns revisited: factory, abstract factory, prototype, visitor, command, observer, strategy...
  19. Niebloids
  20. Tag invoke
  21. Ranges
  22. Macros and codegen

Полезные ссылки

refactoring.guru — сайт про паттерны и рефакторинг

Concepts and constraints — cppreference

Концепты: упрощаем реализацию классов std utility — доклад Андрея Давыдова

Метапрограммирование, щадящее компилятор — доклад Андрея Давыдова

Building Range Adaptors (part 1, part 2) — Chris Di Bella, CppCon

Move only folly::Function — Sven Over, CppCon

Inplace std::function alternative for audio processing — Tom Poole, CppCon

C++14 Reflections Without Macros, Markup nor External Tooling — Антон Полухин, CppCon

How to Hack C++ with Templates and Friends

C++ vtables — таблицы виртуальных функций в деталях

Customization Point Design in C++11 and Beyond — ниблоиды, CPO используемые в std::ranges

Template metaprogramming — бесплатные списки типов через std::ranges

tag_invoke: A general pattern for supporting customisable functions (P1895) — новый ультимативный механизм для CPO без измений в язык

[https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2020/p1985r1.pdf](Universal Template Parameters) — то, что мы очень хотим, но получим не скоро

function2 — улучшеный std::function, пример реализации vtable руками

libunifex — новый фреймворк для асинхронности в плюсах. Содержит примеры и на vtable, и на тайплисты, и на tag_invoke, и вообще на всё на свете

Building Range Adaptors — Chris Di Bella, CppCon

YOMM2 — библиотека для открытых (мульти)методов

Полезные книжки

Andrei Alexandrescu, "Modern C++ Design: Generic Programming and Design Patterns Applied" — слегка устаревшая классика

David Vandevoorde, Nicolai M. Josuttis, Douglas Gregor, "C++ Templates: The Complete Guide (2nd ed.)" — всё, что нужно знать о шаблонах в C++17