WG21 PAPERS

Mailings Beta

Volunteer-driven · Not affiliated with WG21 or ISO

Filter and export papers from the C++ Committee’s monthly mailings by time frame and audience using the options below, or refine your export further with the Select button. Links point directly to the official WG21 papers on open-std.org.

Submit Issue C++ Standards Committee Papers

Audience
Wording
Evolution
Mailings
1 · Year 1 · Month

Select the arrow to the right of the year to filter for specific months.

2026 Apr · 1 of 6

Pick months in 2026

Add Year +

Select Years To Display

Current Years Selected

2026
Filters Author: Lucian Radu Teodorescu EWG Clear all
1 out of 1 paper selected for export
Paper Title Authors Audience Doc Date
P4044R0 Just `pre!`. Mandatory precondition for contracts. L. Teodorescu
EWG
Intent Proposal
Mailing Date 2026-04 Post-Croydon
Author(s) Lucian Radu Teodorescu
Target Audience EWG
Tracking issue View on GitHub
Abstract C++26 contracts support a wide range of uses, but they currently cannot reliably enforce *UB-safety*. Because preconditions may be evaluated with *ignore* semantics, a library that relies on contract preconditions to prevent undefined behavior cannot guarantee that those checks will execute.
Showing 1 of 1 paper · source: open-std.org