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
	P4222R2	An initialization profile (R1)	B. Stroustrup	EWG SG23	2026-08-14
Doc Date 2026-08-14 Mailing Date 2026-08 Unassigned Author(s) Bjarne Stroustrup Target Audience EWG SG23 Revisions R1 R0 Tracking issue View on GitHub Abstract The initialization profile should be the easiest to define, but there can be no profile that everybody can agree on without discussion and alternative choices. Also, the rules for initialization and uninitialized memory are far more complex than most people are willing to believe. The initialization profile is foundational to just about every profile, so the initialization profile must isolate tho
	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
	P4344R0	pure alias types	J. Waterloo	CWG SG17 SG23	2026-08-13
Doc Date 2026-08-13 Mailing Date 2026-08 Unassigned Author(s) Jarrad Waterloo Target Audience CWG SG17 SG23 Abstract By formalizing `pure alias types`, we remove seeming inconsistencies between references and other alias types. This will result in fewer instances of immediate dangling, return based dangling and superfluous aliasing.
	P4348R0	Types and Attributes	B. Stroustrup	EWG SG23	2026-08-14
Doc Date 2026-08-14 Mailing Date 2026-08 Unassigned Author(s) Bjarne Stroustrup Target Audience EWG SG23 Abstract ```cpp The most important examples involve function calls that pass a pointer to initialized or uninitialized memory. Marking an argument with [[ref_to_uninit]] means that that argument must refer to uninitialized memory. If not, the initialization profile requires that that an argument refers to an initialized object. Consider int x [[uninit]]; using T = decltype(x); // does T accept a pointer to

Showing 4 of 4 papers · source: open-std.org

Mailings Beta

Sign in