Lightning Talk: Quantum Interpretations of the C++ Object Model
summary
Claims that many pre-C++20 idioms are truly undefined because raw memory lacks objects and that C++20’s implicit-lifetime types fixes some of that, enabling implementations like vector. Uses concrete code: pointer casts, allocator patterns, reinterpret_cast, memcpy, and bit_cast to show which operations start lifetimes. Demonstrates a “Schrödinger’s cat” array-of-bytes example with a hardware random branch and argues UB can destroy the abstract machine, spawning an infinite number of program states.
AI-written summary · about
chapters (7)
- 0:00Start
- 0:31The Basics
- 0:53Construction vs. assignment
- 3:15The Copenhagen Interpretation
- 3:50The Many Programs Interpretation
- 4:39Schrödinger's cat
- 5:22What can start a lifetime
related talks
36mInterfaces Matter
05mLightning Talk: Micro C++ Benchmarks & Murphy's Law
17mAlice's Adventures in Memory Management, or how JavaScript objects work
06mLightning Talk: Let's Fix Sparse Linear Algebra with C++. It'll Be Fun and Easy!
28mAlice's Adventures in Memoryland
52mAliasing in C++ - Risks, Opportunities and Techniques
01h 03mFast and Small C++ - When Efficiency Matters
01h 00mMoving Faster: Everyday efficiency in modern C++