Overview
Explore an in-depth conference talk on the inherent incompatibility between narrow contracts and the `noexcept` specifier in C++. Delve into the concepts of contracts, essential behavior, and preconditions before comparing the Design by Contract and Liskov Substitutability principles. Examine how adhering to The Lakos Rule benefits backward compatibility and wide implementations, particularly in the context of the C++ Standard Library. Discover a solution that addresses the needs of the diverse C++ community while maintaining best practices in software design and development.
Syllabus
Narrow Contracts and `noexcept` are Inherently Incompatible in C++ - John Lakos - ACCU 2024
Taught by
ACCU Conference