Explore the complexities of using `noexcept` in C++ function contracts in this CppCon 2023 conference talk. Delve into the original purpose of the `noexcept` specifier and operator, examining how they interact with runtime contract checks and testing. Learn about the proposed contract-checking feature for C++26 and discover an alternative exception-specification annotation that better aligns with contract checking. Gain insights from experts Pablo Halpern and Timur Doumler on the nuances of exception handling, contract design, and the future of C++ language features.
Overview
Syllabus
Noexcept? Enabling Testing of Contract Checks in C++ - Pablo Halpern & Timur Doumler - CppCon 2023
Taught by
CppCon