cpp_proposals

Papers with Numbers

Accepted Papers

• P0704 Fixing const-qualified pointers to members: p0704r0 p0704r1
• P0780 Allow pack expansion in lambda init-capture: p0780r0 p0780r1 p0780r2
• P0847 Deducing this: p0847r0 p0847r1 p0847r2 p0847r4 p0847r5 p0847r6 p0847r7
• P0848 Conditionally Trivial Special Member Functions: p0848r0 p0848r1 p0848r2 p0848r3
• P0892 explicit(bool): p0892r0 p0892r1 p0892r2
• P1061 Structured Bindings can introduce a Pack: p1061r0 p1061r1 p1061r2 p1061r3 p1061r4 p1061r5 p1061r6 p1061r7 p1061r8 p1061r9 p1061r10
• P1065 constexpr INVOKE: p1065r0 p1065r1 p1065r2
• P1169 static operator(): p1169r0 p1169r1 p1169r2 p1169r3 p1169r4
• P1185 <=> != ==: p1185r0 p1185r1 p1185r2
• P1186 When do you actually use <=> ?: p1186r0 p1186r1 p1186r2 p1186r3
• P1187 A type trait for std::compare_3way()'s type: p1187r0
• P1188 Library utilities for <=>: p1188r0
• P1189 Adding <=> to library: p1189r0
• P1306 Expansion Statements: p1306r4 p1306r5
• P1614 The Mothership has Landed: p1614r0 p1614r1 p1614r2
• P1630 Spaceship needs a tune-up: p1630r0 p1630r1
• P1870 forwarding-range <T> is too subtle: p1870r0 p1870r1
• P1871 Concept traits should be named after concepts: p1871r0 p1871r1
• P1938 if consteval: p1938r0 p1938r1 p1938r2 p1938r3
• P1946 Allow defaulting comparisons by value: p1946r0
• P1959 Remove std::weak_equality and std::strong_equality: p1959r0
• P2017 Conditionally borrowed ranges: p2017r0 p2017r1
• P2036 Change scope of lambda trailing-return-type: p2036r0 p2036r1 p2036r2 d2036r3 p2036r3
• P2095 Resolve lambda init-capture pack grammar (CWG2378): p2095r0
• P2162 Inheriting from std::variant: p2162r0 p2162r1 p2162r2
• P2210 Superior String Splitting: p2210r0 p2210r1 p2210r2
• P2214 A Plan for C++23 Ranges: p2214r0 p2214r1 p2214r2
• P2231 Missing constexpr in std::optional and std::variant: p2231r0 p2231r1
• P2278 cbegin should always return a constant iterator: p2278r0 p2278r1 p2278r2 p2278r3 p2278r4
• P2280 Using unknown pointers and references in constant expressions: p2280r0 p2280r1 p2280r2 p2280r3 p2280r4
• P2286 Formatting Ranges: p2286r0 p2286r1 p2286r2 p2286r3 p2286r4 p2286r5 p2286r6 p2286r7 p2286r8
• P2287 Designated-initializers for Base Classes: p2287r0 p2287r1 p2287r2 p2287r3 p2287r4 p2287r5 p2287r6
• P2322 ranges::fold: p2322r0 p2322r1 p2322r2 p2322r3 p2322r4 p2322r5 p2322r6
• P2325 Views should not be required to be default constructible: p2325r0 p2325r1 p2325r2 p2325r3
• P2387 Pipe support for user-defined range adaptors: p2387r0 p2387r1 p2387r2 p2387r3
• P2415 What is a view ?: p2415r0 p2415r1 p2415r2
• P2441 views::join_with: p2441r0 p2441r1 p2441r2
• P2446 views::as_rvalue: p2446r0 p2446r1 p2446r2
• P2448 Relaxing some constexpr restrictions: p2448r0 p2448r1 p2448r2
• P2493 Missing feature test macros for C++20 core papers: p2493r0
• P2508 Expose std::basic-format-string<charT, Args...>: p2508r0 p2508r1 p2508r2
• P2520 move_iterator<T*> should be a random access iterator: p2520r0 p2520r1
• P2564 consteval needs to propagate up: p2564r0 p2564r1 p2564r2 p2564r3
• P2585 Improve default container formatting: p2585r0 p2585r1
• P2593 Allowing static_assert(false): p2593r0 p2593r1
• P2602 Poison Pills are Too Toxic: p2602r0 p2602r1 p2602r2
• P2637 Member visit: p2637r0 p2637r1 p2637r2 p2637r3
• P2641 Checking if a union alternative is active: p2641r0 p2641r1 p2641r2 p2641r3 p2641r4
• P2647 Permitting static constexpr variables in constexpr functions: p2647r0 p2647r1
• P2747 constexpr placement new: p2747r0 p2747r1 p2747r2
• P2757 Type-checking format args: p2757r0 p2757r1 p2757r2 p2757r3
• P2760 A Plan for C++26 Ranges: p2760r0 p2760r1
• P2944 Comparisons for reference_wrapper: p2944r0 p2944r1 p2944r2 p2944r3
• P2996 Reflection for C++26: p2996r0 p2996r1 p2996r2 p2996r3 p2996r4 p2996r5 p2996r6 p2996r7 p2996r8 p2996r9 p2996r10 p2996r11 p2996r12 p2996r13
• P2997 Removing the common reference requirement from the indirectly invocable concepts: p2997r0 p2997r1
• P3074 trivial union s (was std::uninitialized<T> ): p3074r0 p3074r1 p3074r2 p3074r3 p3074r4 p3074r5 p3074r6 p3074r7
• P3289 consteval blocks: p3289r0 p3289r1 d3289r2
• P3293 Splicing a base class subobject: p3293r0 p3293r1 p3293r2 p3293r3
• P3381 Syntax for Reflection: p3381r0
• P3391 constexpr std::format: p3391r0 p3391r1 p3391r2
• P3394 Annotations for Reflection: p3394r0 p3394r1 p3394r2 p3394r3 p3394r4
• P3450 Extend std::is_within_lifetime: p3450r0 p3450r1
• P3491 define_static_{string,object,array}: p3491r0 p3491r1 p3491r2 p3491r3
• P3560 Error Handling in Reflection: p3560r0 p3560r1 p3560r2
• P3617 std::meta::reflect_constant_{array,string}: p3617r0
• P3726 Adjustments to Union Lifetime Rules: p3726r0 p3726r1 p3726r2
• P3795 Miscellaneous Reflection Cleanup: p3795r0 p3795r1 p3795r2
• P3981 Better return types in std::inplace_vector
  and std::exception_ptr_cast: p3981r0 p3981r1 p3981r2
• P4022 Remove try_append_range from inplace_vector for now: p4022r0
• P4101 Consteval-only Values for C++26: p4101r0 p4101r1
• P4206 Revert string support in std::constant_wrapper: p4206r0

Rejected Papers

• P0312 Making Pointers to Members Callable: p0312r1
• P0573 Abbreviated Lambdas for Fun and Profit: p0573r2
• P0644 Forward without forward: p0644r1
• P0893 Chaining Comparisons: p0893r0 p0893r1 d0893r2
• P3273 Introspection of Closure Types: p3273r0
• P3451 A Suggestion for Reflection Access Control: p3451r0
• P3554 Non-transient allocation with std::vector and std::basic_string: p3554r0

Abandoned Papers

• P1170 Overload sets as function parameters: p1170r0
• P1240 Scalable Reflection in C++: p1240r2 d1240r3
• P1500 Deduplicating Forwarding Overloads: d1500r0
• P1858 Generalized pack declaration and usage: p1858r0 p1858r1 p1858r2
• P1900 Concepts-Adjacent Problems: p1900r0
• P2011 A pipeline-rewrite operator: p2011r0 p2011r1 d2011r2
• P2089 Function parameter constraints are fragile: p2089r0
• P2120 Simplified structured bindings protocol with pack aliases: p2120r0
• P2121 do not return or else: d2121r0
• P2277 Packs outside of Templates: p2277r0
• P2279 We need a language mechanism for customization points: p2279r0 d2279r1
• P2484 Extending support for class types as non-type template parameters: p2484r0
• P2550 ranges::copy should say output_iterator somewhere: p2550r0 p2550r1
• P2670 Non-transient constexpr allocation: p2670r0 p2670r1
• P2671 Syntax Choices for Generalized Pack Declaration and Usage: p2671r0
• P2672 Exploring the Design Space for a Pipeline Operator: p2672r0
• P2994 On the Naming of Packs: p2994r0 p2994r1
• P3032 Less transient constexpr allocation (and more consteval relaxation): p3032r0 p3032r1 p3032r2
• P3380 Extending support for class types as non-type template parameters: p3380r0 p3380r1

In Progress Papers

• P2481 Forwarding reference to specific type/template: p2481r0 p2481r1 p2481r2
• P2561 A control flow operator: p2561r0 p2561r1 p2561r2
• P2758 Emitting messages at compile time: p2758r0 p2758r1 p2758r2 p2758r3 p2758r4 p2758r5 d2758r6
• P2806 do expressions: p2806r0 p2806r1 p2806r2 p2806r3 p2806r4 p2806r5 p2806r6
• P2945 Additional format specifiers for time_point: p2945r0 p2945r1
• P3157 Generative Extensions for Reflection: p3157r1
• P3171 Adding functionality to placeholder types: p3171r0 p3171r1
• P3177 const prvalues in the conditional operator: p3177r0
• P3294 Code Injection with Token Sequences: p3294r0 p3294r1 p3294r2
• P3420 Reflection of Templates: p3420r0
• P3485 Grouping using declarations with braces: p3485r0
• P3496 Immediate-Escalating Expressions: p3496r0
• P3525 Explicit Implicit Template Regions: p3525r0
• P3549 Diverging Expressions: p3549r0 p3549r1
• P3603 Consteval-only Values and Consteval Variables: p3603r0 p3603r1 p3603r2
• P3951 String Interpolation with Template Strings: p3951r0 p3951r1
• P4259 The name of the floor division function should have floor in it: p4259r0
• P4339 consteval variables: p4339r0
• P4340 Extending constant template parameter support by customizing std::meta::reflect_constant: p4340r0
• P4341 Another take on non-transient constexpr allocation: p4341r0