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

Disposition Updated

	Paper	Title	Authors	Audience
	P3097R3	Contracts for C++: Virtual functions	T. Doumler, J. Berne, G. Ažman	CWG
Mailing Date 2026-07 Post-Brno Author(s) Timur Doumler, Joshua Berne, Gašper Ažman Target Audience CWG Revisions R2 Tracking issue View on GitHub Disposition Date 2026-06 Abstract ```cpp We propose to allow specifying precondition and postcondition assertions on virtual functions, in the same way they can already be specified on non-virtual functions:
	P3099R3	Contracts for C++: User-defined diagnostic messages	T. Doumler, P. Bindels, J. Berne	EWG LEWG
Mailing Date 2026-07 Post-Brno Author(s) Timur Doumler, Peter Bindels, Joshua Berne Target Audience EWG LEWG Revisions R2 Tracking issue View on GitHub Abstract * Updated Section 2.6 “Constant evaluation”; specified behaviour for unevaluated contexts, discarded contexts, SFINAE, and trial evaluation
	P3100R7	A framework for systematically addressing undefined behaviour in the C++ Standard	T. Doumler, J. Berne	EWG LEWG
Mailing Date 2026-07 Post-Brno Author(s) Timur Doumler, Joshua Berne Target Audience EWG LEWG Revisions R6 Tracking issue View on GitHub Abstract In this paper, we enumerate all cases of core language undefined behaviour explicitly specified in the C++ Standard, group them into ten categories, and classify them along a number of relevant criteria.
	P3155R1	noexcept policy for SD-9 (The Lakos Rule)	T. Doumler, J. Lakos	LEWG
Mailing Date 2026-07 Post-Brno Author(s) Timur Doumler, John Lakos Target Audience LEWG Tracking issue View on GitHub
	P3290R6	Integrating Existing Assertions With Contracts	J. Berne, T. Doumler, J. Lakos	LEWG
Mailing Date 2026-07 Post-Brno Author(s) Joshua Berne, Timur Doumler, John Lakos Target Audience LEWG Revisions R5 R4 Tracking issue View on GitHub Abstract * Presenting feedback from SG22 on the `assert` macro choices, including new subsections on implementation-defined integration and throwing violation handlers
	P3596R3	Undefined Behavior and IFNDR Annexes	J. Berne, T. Doumler, J. Maurer, S. Yaghmour	CWG
Mailing Date 2026-07 Post-Brno Author(s) Joshua Berne, Timur Doumler, Jens Maurer, Shafik Yaghmour Target Audience CWG Revisions R2 R1 R0 Tracking issue View on GitHub Disposition Date 2026-06 Abstract * Removed deep dive into organization possibilities, organized by clause, made UB and IFNDR descriptions subsection-like
	P3850R1	A proposed plan for extending Contracts in C++29	T. Doumler, J. Berne	EWG LEWG
Mailing Date 2026-07 Post-Brno Author(s) Timur Doumler, Joshua Berne Target Audience EWG LEWG Revisions R0 Tracking issue View on GitHub Abstract At the March 2026 WG21 meeting in Croydon, the ISO C++ committee completed the C++26 Standard, including the addition of contract assertions. This milestone is the result of a sustained effort by the authors of [[P2900R14](https://wg21.link/p2900r14)] and the WG21 subgroups responsible for evaluating the proposal: SG21, EWG, and CWG. This success was made possible in part by the existence of a c

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

Mailings Beta

Sign in