Contracts

LanguageC++26C++293 papers3 connections

pre/post/contract_assert with evaluation semantics; virtual-function contracts in C++29.

Connected features

Contracts (C++20, removed)C++20contracts return in C++26Standard library hardeningC++26hardened preconditions are specified via contract semanticsErroneous behaviour & observable checkpointsC++26contract-violation termination aligned with erroneous-behaviour termination

Papers

3 · Hagenberg 2025 → Brno 2026

Adds contract assertions pre(...), post(...) and contract_assert(...) with ignore/observe/enforce/quick-enforce semantics and a replaceable violation handler.

Read P2900R14 on wg21.link →Paper page