Wishful Thinking
summary
Argues for making names first-class in templates, claiming a name tuple lets templates configure member names so structs can be accessed by name not just type or index; critiques CRTP for instantiation and cast problems and proposes mixins copy body so the compiler pastes mixin code into the class simplifying static_asserts and returns; notes an existing working project sqlpp11 as evidence of doing this sort of type-level metaprogramming.
AI-written summary · about
related talks
01h 07mBack to Basics: Templates (part 2 of 2)
41mTemplate meta-programming: Why you must get it
56mboost.tmp: your DSL for Metaprogramming
36mThe language that isn't
39mReflection without Reflection TS
59mTemplate Metaprogramming: Type Traits (part 2 of 2)
49mA new look at TMP
52mStrong types for strong interfaces