Lightning Talk: Finding My First Compiler Bug
summary
Finds a reproducible Visual Studio bug where a non-type template parameter that holds a small structural type is correct at compile time (static_assert passes) but gets zeroed out at runtime when code is placed in an immediately-invoked lambda. Example reduces to a struct wrapping an int, a trivial concept, and a constrained Checker template instantiated with that structural NTTP, showing differing runtime vs compile-time results and a clear minimal repro.
AI-written summary · about
chapters (4)
related talks
03mLightning Talk: Undefined Behaviour in C++
05mLightning Talk: The Finer Points of Parameter Packs
03mLightning Talk: C++ Catastrophes: A Poem
32mCute C++ Tricks, Part 2 of N: More code you should learn from and never write
01h 13mType safe C++ – LOL! :-)
01h 30mRethinking the Way We Do Templates in C++
56mCute C++ Tricks (and what you can learn from them): Part 2 of N
43mEverything I learned about static analysis and program safety in C++
