Expressive Compile-Time Parsers in C++

on YouTube ↗01h 18m

" summary

Survey of compile‑time parsers compares actual libraries and implementations: Boost.MetaParse, Lexi, ctpg, CT and experimental macro_rules and YP across C++98→C++23, with concrete builds — a compile‑time SQL DSL, a compile‑time JSON tree using a custom compile‑time allocator, and struct/type generators tied to reflection. Claims: parsed DSLs compile into identical assembly (-O1) so there is zero runtime overhead. Measured costs are small (whole demo adds ~1.5s build time), but pathological template expansions can blow compile time and memory (>1 minute, gigabytes) and some constructs fail due to C++ structural type rules.

AI-written summary · about

" chapters (17)

1. 0:00Introduction
2. 1:05Expressive code in C++
3. 9:16Compile-time parsing basics
4. 11:24Boost MetaParse library
5. 16:38Lexi compile-time parser
6. 20:14CT compile-time regex
7. 24:06CTPG parser generator
8. 27:39Macro rules in C++
9. 32:59YP parser combinator
10. 38:44Compile-time parsing and reflection
11. 47:15Nested data member access
12. 58:16Type creation with syntax
13. 1:01:24JSON tree with compile-time allocator
14. 1:05:18Compile-time performance
15. 1:08:09Future of compile-time parsing
16. 1:15:42Derive macro implementation
17. 1:18:05Q&A and closing

" related talks

• 01h 01mExpressive Compile Time ParsersAlon Wolf · Meeting C++ 2023
• 01h 03mCompile-Time Regular ExpressionsHana Dusikova · NDC TechTown 2019
• 53m“Parsing C++”Timur Doumler, Dmitry Kozhevnikov · CppCon 2018
• 59mThe Power Of Compile-Time ResourcesJason Turner · CppNorth 2022
• 01h 10m“constexpr ALL the Things!”Jason Turner, Ben Deane · CppCon 2017
• 01h 01m“How bad is Meta-Programming still today?"Peter Gottschling · CppCon 2016
• 46mWhat FP Can Learn From Static IntrospectionAditya Siram · Lambda World Cádiz 2019
• 51mCompile-time tools supporting generic programming in C++Ábel Sinkovics · CppCon 2015