Standard library hardening

LibraryC++263 papers4 connections

Hardened preconditions for the library, specified in contract terms, plus the minor additions and the observe-semantic exclusion.

Connected features

ContractsC++26hardened preconditions are specified via contract semanticsRanges (C++26)C++26view_interface::at()mdspanC++23mdspan.at()std::spanC++26span.at()

Papers

3 · Hagenberg 2025 → Kona 2025

Adds hardened preconditions (bounds checks and similar) that implementations may enable, specified with contract semantics.

Read P3471R4 on wg21.link →Paper page