Contracts for C++ - Design by Contract for Safer Programming

Explore the current design of the Contracts MVP targeting C++26 in this comprehensive conference talk from ACCU 2024. Delve into the world of Design by Contract, a powerful approach for creating safer and more correct programs. Learn about preconditions, postconditions, assertions, and contract-violation handling as presented by Timur Doumler, co-chair of SG21, the Contracts study group in the ISO C++ standard committee. Discover how the Contracts MVP offers a superior alternative to custom assertion macros and can significantly enhance the safety and correctness of your code. Gain insights into the long history of attempts to add Contracts to C++ and understand why this new design is on track for inclusion in the upcoming C++26 Standard.