C++26 Contracts: Introduction to Preconditions and Postconditions

Automated excerpt

If the handler returns normally, execution terminates before the function body performs the invalid access. Together, pre, post, and contract_assert cover function entry, normal exit, and points inside a function. Contract predicates use special constification rules.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.