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
	P3097R2	Contracts for C++: Virtual functions	T. Doumler, J. Berne	EWG
Mailing Date 2026-05 Pre-Brno Author(s) Timur Doumler, Joshua Berne Target Audience EWG Revisions R3 Tracking issue View on GitHub Abstract 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:
	P3098R2	Contracts for C++: Postcondition captures	T. Doumler, G. Ažman, J. Berne	EWG LEWG SG21
Mailing Date 2026-05 Pre-Brno Author(s) Timur Doumler, Gašper Ažman, Joshua Berne Target Audience EWG LEWG SG21 Tracking issue View on GitHub Abstract We propose to add a new, optional syntactic construct to postcondition assertions, called postcondition captures. Postcondition captures are spelled in the same fashion as lambda captures. They are placed immediately after the `post` contextual keyword and before the predicate: `post [``captures``] (``predicate``)` Postcondition captures are variables constructed when the function is called. The
	P3099R2	Contracts for C++: User-defined diagnostic messages	T. Doumler, P. Bindels, J. Berne	EWG
Mailing Date 2026-05 Pre-Brno Author(s) Timur Doumler, Peter Bindels, Joshua Berne Target Audience EWG Revisions R3 Tracking issue View on GitHub Abstract A user-defined diagnostic message can provide additional information that can help developers more quickly understand why a particular assertion failed and how to resolve the issue. The ability to optionally provide such a message is valuable for any assertion facility, including contract assertions. The C `assert` macro does not directly support an associated diagnostic message. However, the idio
	P3100R6	A framework for systematically addressing undefined behaviour in the C++ Standard	T. Doumler, J. Berne	EWG LEWG
Mailing Date 2026-05 Pre-Brno Author(s) Timur Doumler, Joshua Berne Target Audience EWG LEWG Revisions R8 R7 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.
	P3290R4	Integrating Existing Assertions With Contracts	J. Berne, T. Doumler, J. Lakos	LEWG
Mailing Date 2026-05 Pre-Brno Author(s) Joshua Berne, Timur Doumler, John Lakos Target Audience LEWG Revisions R6 R5 Tracking issue View on GitHub Abstract – Specified use of `source_location::current()` and discussed implementation choices
	P3400R3	Controlling Contract-Assertion Properties	J. Berne	EWG
Mailing Date 2026-05 Pre-Brno Author(s) Joshua Berne Target Audience EWG Revisions R4 Tracking issue View on GitHub Abstract — Major restructuring: new Introduction, Design, Glossary, expanded Standard Library Additions sections
	P3596R2	Undefined Behavior and IFNDR Annexes	J. Berne, T. Doumler, J. Maurer, S. Yaghmour	CWG
Mailing Date 2026-05 Pre-Brno Author(s) Joshua Berne, Timur Doumler, Jens Maurer, Shafik Yaghmour Target Audience CWG Revisions R3 R1 R0 Tracking issue View on GitHub
	P3850R0	A proposed plan for extending Contracts in C++29	T. Doumler, J. Berne	EWG LEWG
Mailing Date 2026-05 Pre-Brno Author(s) Timur Doumler, Joshua Berne Target Audience EWG LEWG Revisions R1 Tracking issue View on GitHub

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

Mailings Beta

Sign in