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
	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

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

Mailings Beta

Sign in