› P3039R1
Automatically Generate `operator->`
A. Kostur , D. Stone
› P3373R2
Of Operation States and Their Lifetimes
R. Leahy
Intent
Proposal
Abstract
In broad terms a regular (i.e. synchronous) function call has access to two forms of storage throughout its lifetime (note that the “lifetime” of a regular function call is the time between the call thereto and the return therefrom):
› P3826R3
Fix Sender Algorithm Customization
E. Niebler
› P3873R0
2025-10 Library Evolution Poll Outcomes
I. Levi , F. Fracassi , A. Weis , N. Liber , B. Baker , C. Jabot
Intent
Proposal
Abstract
In 2025-10, the C++ Library Evolution group conducted a series of electronic decision polls [[P3872R0]](https://wg21.link/P3872r0). This paper provides the results of those polls and summarizes the results.
› P3927R0
task_scheduler Support for Parallel Bulk Execution
E. Niebler
› P3941R1
Scheduler Affinity
D. Kühl
Intent
Proposal
Abstract
There are a few NB comments raised about the way `affine_on` works:
› P3952R0
is_pointer_in_range
H. Sutter , G. Fernandes
Intent
Proposal
Abstract
WG21 is often asked for a way to reliably answer the question, “does this raw pointer point inside this buffer?” See [Core 2025] for some use cases. Such an `is_pointer_in_range` function is appropriate to standardize because:
› P3953R0
Rename std::runtime_format
V. Zverovich
Intent
Proposal
Abstract
[P2918] introduced `std::runtime_format` to allow opting out of compile-time format string checks in `std::format`. Subsequently, [P3391] made `std::format` usable in constant evaluation. As a result, `std::runtime_format` can now be evaluated at compile time, making its name misleading. This paper proposes renaming `std::runtime_format` to `std::dynamic_format` to better reflect its semantics and
› P3955R0
It's Scopes All the Way Down
R. Leahy
Intent
Proposal
Abstract
The fundamental scope algorithm is `within`. It establishes a scope by running an enter scope sender. Thereafter it allows a child operation to run (in that scope since the exit scope sender has not yet run), and then before completing the overall operation runs the exit scope sender yielded by the enter scope sender.
› P3959R0
Let layout_stride::mapping with zero extent(s) accept zero strides
M. Hoemmen , J. Faibussowitsch , C. Trott
Intent
Proposal
Abstract
We propose to change `layout_stride::mapping`’s constructors to permit strides to be zero if one or more extents are zero. For example, for extents (3, 5, 0, 11), this change would permit any nonnegative strides. Currently, users would need to set the stride(s) corresponding to zero extents to an arbitrary positive value, such as 1. That would make the strides (1, 3, 1, 105) in this example.
› P3960R0
Define copy-constructibility-from-bytes
M. Hoemmen , R. Arutyunyan
Intent
Proposal
Abstract
Given an object `src` of trivially-copyable type `T`, we can copy the object’s value representation to an array of bytes, and implicitly create a new `T` object (e.g., with `start_lifetime_as`) in the array of bytes. The result will hold the same value as `src`.
› P3961R0
Less double indirection in function_ref (RU-220)
Z. Yuan
Intent
Proposal
Abstract
RU-220 calls for allowing skipping indirections when constructing `function_ref` to improve codegen. The proposed change in LWG 4264<sup>[1]</sup> is not strictly an optimization because certain behaviors with and without the change are visible, therefore, need to be made unspecified. This paper (P3961) suggests that, in addition to the change, a subset of the "optimized" cases should be mandated.