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

Select	Paper	Title	Authors	Audience	Doc Date
	P4332R0	Contracts are inappropriate for undefined behavior checks	J. Spicer, V. Voutilainen, B. Stroustrup, V. Falco, J. Sanchez	EWG SG23 WG21	2026-07-31
Doc Date 2026-07-31 Mailing Date 2026-08 Unassigned Author(s) John Spicer, Ville Voutilainen, Bjarne Stroustrup, Vinnie Falco, Jose Daniel Garcia Sanchez Target Audience EWG SG23 WG21 Abstract This document makes one narrow claim: that the mechanism P2900 defines for contract assertions is the wrong mechanism for checks whose purpose is to detect or mitigate core-language undefined behavior, as proposed by P3100. The claim does not depend on any hostile reading of contracts. It follows from what the contracts proposal says about itself: P3846R1 concedes that guaranteed enforcement is a

Showing 1 of 1 paper · source: open-std.org

Mailings Beta

Sign in