Overview
Explore the concept of validity in C++ programming through this comprehensive conference talk from CppCon 2023. Delve into precise definitions of key programming concepts such as object, state, invariant, value, and invalid, addressing common misconceptions and divergences within the C++ standard library. Discover practical coding practices while unraveling the deep connections between move semantics and exception safety. Learn to identify implicit contracts, enhance your understanding of program semantics, and gain valuable insights into large-scale software engineering and advanced C++ topics from David Sankel, a Principal Scientist at Adobe and active member of the C++ Standardization Committee.
Syllabus
Introduction
Validity
Preconditions
Invalid Pointer
Best Practices
Object State
Object Stuff
Substance
Pair Sequence
Rational
Rational class
Value types
Exception safety classes
Meaningless objects
Conclusion
EOP
Object discard
Exception safety guarantee
Implicit precondition
Unbroken
Essence
State
Taught by
CppCon