Explores the four evaluation semantics for C++ contracts: ignore, observe, enforce, and quick-enforce. Covers the differences between checking and terminating semantics, explains contract violation handlers and their customization options, and details the std::contracts::contract_violation interface that provides information about contract violations including location, kind, and evaluation context.
Table of contents
Checking Semantic and Terminating SemanticEvaluation SemanticModernes C++ MentoringContract Violation HandlerWhat’s next?394 Impressions