Lightning Talk: Interfaces in C++
summary
Defines a shape concept that requires a size method convertible to long and shows it matching a Rectangle, then hits a practical snag when storing polymorphic values in a vector and when a typo passes the vector type itself. Demonstrates using an explicit sept is implemented template and a static_assert plus a check for dynamic constructible to bridge concepts and virtual dispatch, and sketches a path toward Rust‑like traits.
AI-written summary · about
related talks
33mRust and Haskell, sitting in a tree
19mType Theory for the Working Rustacean
25mType System Tips for the Real World
29mExtending Rust’s notions of sizedness
01h 02mEmbedded Friendly C++: Features That Make a Difference
05mLightning Talk: Embrace Leaky Abstractions in C++
01h 01mEmbracing PODs Safely Until They Die
05mIdris (Lightning Talk)