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

1 · Year 1 · Month

Select the arrow to the right of the year to filter for specific months.

Add Year +

Select Years To Display

Current Years Selected

2026 2025

Group by date?

Select	Paper	Title	Authors	Audience	Doc Date	Mailing Date
	P4414R0	Structural classes: a bugfix for reflection	Ville Voutilainen V. Voutilainen	EWG LEWG	2026-10-23	2026-10
Doc Date 2026-10-23 Mailing Date 2026-10 Pre-Búzios Author(s) Ville Voutilainen Target Audience EWG LEWG Abstract This proposal allows encapsulated types, including `string_view` and `span`, to be used with `define_static_array`, and to be conveyed from compile-time code to run-time code.
	P4415R0	Profiles: implementation status and experience	Michael Wong M. Wong , Krystian Stasiowski ; Ville Voutilainen K. Voutilainen	EWG LEWG SG23	2026-10-23	2026-10
Doc Date 2026-10-23 Mailing Date 2026-10 Pre-Búzios Author(s) Michael Wong, Krystian Stasiowski ; Ville Voutilainen Target Audience EWG LEWG SG23 Abstract Profiles now have two independent implementations. Krystian Stasiowski's Clang implements the P3589R2 framework, except <ins>[[profiles::exempt]]</ins>, and most of the P4222R2 initialization profile <ins>std::init</ins>. Ville Voutilainen's GCC implements the framework, <ins>std::init, and the first working invalidation profile, std::invalidation</ins>, on the design of P3446R0 with the default-d
	P4423R0	Strict contracts: conveyor functions and conveyor predicates	Ville Voutilainen V. Voutilainen	EWG	2026-10-23	2026-10
Doc Date 2026-10-23 Mailing Date 2026-10 Pre-Búzios Author(s) Ville Voutilainen Target Audience EWG Abstract This paper presents the design and an implementation of strict contracts: contract predicates that are guaranteed by the compiler to be free of side effects and of undefined behavior. It builds on the conveyor functions of [P2680](https://wg21.link/p2680) and [P3285](https://wg21.link/p3285), and expresses strictness through the control objects of [P4324](https://wg21.link/p4324), of which this pa
	P4425R0	Symbolic contracts	Ville Voutilainen V. Voutilainen	EWG	2026-10-23	2026-10
Doc Date 2026-10-23 Mailing Date 2026-10 Pre-Búzios Author(s) Ville Voutilainen Target Audience EWG Abstract This paper describes the design and an implementation exploration for symbolic contracts: contract assertions whose predicate has, by default, no run-time representation at all, and whose truth is instead established and consumed purely by the compiler's own static reasoning about the program. We explain what a symbolic function is, the escape hatch for predicates that are known to be unprovable
	P4426R0	Contracts for (member) function pointers	Ville Voutilainen V. Voutilainen	EWG	2026-10-23	2026-10
Doc Date 2026-10-23 Mailing Date 2026-10 Pre-Búzios Author(s) Ville Voutilainen Target Audience EWG Abstract This paper supplies a design and implementation exploration for contracts on function pointers and member function pointers.
	P4427R0	Configurable contracts for virtual functions	Ville Voutilainen V. Voutilainen	EWG	2026-10-23	2026-10
Doc Date 2026-10-23 Mailing Date 2026-10 Pre-Búzios Author(s) Ville Voutilainen Target Audience EWG Abstract This paper supplies a design and implementation exploration for configurable contracts on virtual functions.
	P4428R0	Contract concerns and where they are addressed	Ville Voutilainen V. Voutilainen	EWG	2026-10-23	2026-10
Doc Date 2026-10-23 Mailing Date 2026-10 Pre-Búzios Author(s) Ville Voutilainen Target Audience EWG Abstract Several concerns have been raised about the C++26 contracts facility, [P2900](https://wg21.link/p2900), most compactly in [P3173R0](https://wg21.link/p3173r0), "P2900R6 May Be Minimal, but It Is Not Viable": that it doesn't prioritize safety, that the evaluation of a contract assertion can have undefined behavior, that it doesn't support virtual functions and function pointers, and that it isn't a

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

Mailings Beta

Sign in