What is the basic interface? (part 1 of 2)
summary
Defines the "basic interface" as the implicit expectations around a function: prologue/epilogue split via an implementation statement, no undefined behavior at neighborhood handoffs, and explicit capabilities like claim writable, claim readable and destructible. Shows how readable/writable trace as local capabilities across translation-unit boundaries, how leaking destructibility causes object-lifetime bugs, and how asserting capabilities lets local proofs compose into global reasoning. Good if wanting formal, actionable rules for UB, argument passing, and object lifetime.
AI-written summary · about
chapters (6)
- 0:00Introduction and context
- 13:32Basic interface definition
- 27:44Proper as class invariant
- 41:07Destructible capability
- 50:45Destructibility in practice
- 55:46Generalizing capabilities
