Skip to content

[Motions 2026 03 lwg 1] P4145R0 C++ Standard Library Ready Issues#8926

Merged
tkoeppe merged 44 commits intomainfrom
motions-2026-03-lwg-1
Apr 12, 2026
Merged

[Motions 2026 03 lwg 1] P4145R0 C++ Standard Library Ready Issues#8926
tkoeppe merged 44 commits intomainfrom
motions-2026-03-lwg-1

Conversation

@burblebee
Copy link
Copy Markdown
Contributor

@burblebee burblebee commented Apr 7, 2026 •
edited by jensmaurer
Loading

Fixes #8835.
Fixes cplusplus/papers#2722

Also fixes cplusplus/papers#2616

Also fixes cplusplus/nbballot#708
Also fixes cplusplus/nbballot#814
Also fixes cplusplus/nbballot#879
Also fixes cplusplus/nbballot#855
Also fixes cplusplus/nbballot#830
Also fixes cplusplus/nbballot#817
Also fixes cplusplus/nbballot#815

Notes:

  • LWG4474: See FIXMEs for concerns about the wording.

@jensmaurer
Copy link
Copy Markdown
Member

jensmaurer commented Apr 7, 2026

I have added "fixes cplusplus/nbballot" links in the initial comment of this pull request. It would be good to amend the corresponding commits with our usual "Fixes NB ... (C++26 CD)." text (examples all over "git log").

@burblebee burblebee force-pushed the motions-2026-03-lwg-1 branch from c3db190 to 1ec13a4 Compare April 7, 2026 13:21
@burblebee burblebee marked this pull request as ready for review April 7, 2026 13:21
@burblebee burblebee marked this pull request as draft April 7, 2026 13:47
@burblebee burblebee force-pushed the motions-2026-03-lwg-1 branch from 1ec13a4 to 076fc37 Compare April 7, 2026 13:56
@burblebee burblebee marked this pull request as ready for review April 7, 2026 13:58
frederick-vs-ja
frederick-vs-ja reviewed Apr 9, 2026
View reviewed changes
Comment thread source/support.tex Outdated
@jwakely
Copy link
Copy Markdown
Member

jwakely commented Apr 9, 2026

The fourth commit in the series (fd289eb) says "CWG" instead of "LWG" in the commit log.

jwakely
jwakely reviewed Apr 9, 2026
View reviewed changes
Comment thread source/time.tex
jwakely
jwakely reviewed Apr 9, 2026
View reviewed changes
Comment thread source/time.tex
jwakely
jwakely reviewed Apr 9, 2026
View reviewed changes
Comment thread source/containers.tex
jwakely
jwakely reviewed Apr 9, 2026
View reviewed changes
Comment thread source/meta.tex
jwakely
jwakely approved these changes Apr 9, 2026
View reviewed changes
Copy link
Copy Markdown
Member

@jwakely jwakely left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I added a few minor comments but everything looks correct. Nice work, Dawn!

@eisenwave eisenwave added this to the post-2026-03 milestone Apr 12, 2026
@tkoeppe tkoeppe force-pushed the motions-2026-03-lwg-1 branch 2 times, most recently from 7014982 to 824dc70 Compare April 12, 2026 16:24
burblebee added 14 commits April 12, 2026 18:17
@burblebee @tkoeppe
LWG2414 Member function reentrancy should be implementation-defined
2ea7dbc
@burblebee @tkoeppe
LWG2746 Inconsistency between requirements for emplace between option…
5ea831b 
…al and variant
@burblebee @tkoeppe
LWG3504 condition_variable::wait_for is overspecified
0d37df0
@burblebee @tkoeppe
LWG3599 The const overload of lazy_split_view::begin should be constr…
b58214b 
…ained by const Pattern
@burblebee @tkoeppe
LWG4290 Missing Mandates clauses on is_sufficiently_aligned
612c845
@burblebee @tkoeppe
LWG4453 atomic_ref<cv T>::required_alignment should be the same as for T
346d301 
Editorial note:
* [atomics.ref.ops]p3 Added "," to match wording added in p1.
@burblebee @tkoeppe
LWG4454 assert should forbid co_await and co_yield
b9add07 
Fixes NB GB 05-129 (C++26 CD).
@burblebee @tkoeppe
LWG4469 Names of parameters of addressable function shall remain unsp…
e1234bc 
…ecified
@burblebee @tkoeppe
LWG4472 std::atomic_ref<const T> can be constructed from temporaries
7a18690
@burblebee @tkoeppe
LWG4486 integral-constant-like and constexpr-wrapper-like exposition-…
b4abee9 
…only concept duplication

Fixes NB US 151-242 (C++26 CD).
@burblebee @tkoeppe
LWG4492 std::generate and std::ranges::generate wording is unclear fo…
6923184 
…r parallel algorithms
@burblebee @tkoeppe
LWG4496 Precedes vs Reachable in [meta.reflection]
2e5143b
@burblebee @tkoeppe
LWG4499 flat_set::insert_range specification may be problematic
1c73ec4
@burblebee @tkoeppe
LWG4510 Ambiguity of std::ranges::advance and std::ranges::next when …
cc66a29 
…the difference type is also a sentinel type
burblebee added 24 commits April 12, 2026 18:17
@burblebee @tkoeppe
LWG4130 Preconditions for std::launder might be overly strict
d67ab97
@burblebee @tkoeppe
LWG4259 P1148R0 changed the return values of searching functions of s…
f700f35 
…td::basic_string on some platforms

Editorial note:
* [string.find] Use braces in complex if statement.
@burblebee @tkoeppe
LWG4324 unique_ptr<void>::operator* is not SFINAE-friendly
ebffd32
@burblebee @tkoeppe
LWG4378 Inconsistency between std::basic_string's data() and operator…
2d3f1b4 
…[] specification
@burblebee @tkoeppe
LWG4457 freestanding for stable_sort, stable_partition and inplace_merge
dbd9c63 
Fixes NB US 157-255 (C++26 CD).
@burblebee @tkoeppe
LWG4460 Missing Throws: for last variant constructor
b4780d5
@burblebee @tkoeppe
LWG4467 hive::splice can throw bad_alloc
0aed523
@burblebee @tkoeppe
LWG4468 [const.wrap.class] "operator decltype(auto)" is ill-formed
f2ceb54
@burblebee @tkoeppe
LWG4474 "round_to_nearest" rounding mode is unclear
d74efc4
@burblebee @tkoeppe
LWG4477 Placement operator delete should be constexpr
ba3eb6e
@burblebee @tkoeppe
LWG4480 <stdatomic.h> should provide ATOMIC_CHAR8_T_LOCK_FREE
658ef11
@burblebee @tkoeppe
LWG4481 Disallow chrono::duration<const T, P>
34bedfa
@burblebee @tkoeppe
LWG4483 Multidimensional arrays are not supported by meta::reflect_co…
1819377 
…nstant_array and related functions
@burblebee @tkoeppe
LWG4491 Rename submdspan_extents and submdspan_canonicalize_slices
063e722 
Fixes NB US 152-243, PL 008 (C++26 CD).
@burblebee @tkoeppe
LWG4493 Specification for some functions of bit reference types seems…
b87220c 
… missing
@burblebee @tkoeppe
LWG4500 constant_wrapper wording problems
518f4c2
@burblebee @tkoeppe
LWG4514 Missing absolute value of init in vector_two_norm and matrix_…
661ee8a 
…frob_norm
@burblebee @tkoeppe
LWG4517 data_member_spec should throw for cv-qualified unnamed bit-fi…
061e643 
…elds
@burblebee @tkoeppe
LWG4522 Clarify that std::format transcodes for std::wformat_strings
add4df6
@burblebee @tkoeppe
LWG4523 constant_wrapper should assign to value
be29bdf
@burblebee @tkoeppe
LWG4525 task's final_suspend should move the result
1bbe751
@burblebee @tkoeppe
LWG4527 await_transform needs to use as_awaitable
79a781c
@burblebee @tkoeppe
LWG4528 task needs get_completion_signatures()
a76d1f2
@burblebee @tkoeppe
LWG4529 task::promise_type::await_transform declaration and definitio…
a3bbccb 
…n mismatch
@tkoeppe tkoeppe force-pushed the motions-2026-03-lwg-1 branch from 824dc70 to a3bbccb Compare April 12, 2026 17:18
tkoeppe
tkoeppe reviewed Apr 12, 2026
View reviewed changes
Comment thread source/meta.tex
then \tcode{options.name} does not contain a value; and
\item
if \tcode{options.name} does not contain a value, then
\tcode{is_const(type) || is_volatile(type)} is \tcode{false}; and
Copy link
Copy Markdown
Contributor

@tkoeppe tkoeppe Apr 12, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We're picking up a lot of "; and"s here, but that's what the paper says.

@tkoeppe
Copy link
Copy Markdown
Contributor

tkoeppe commented Apr 12, 2026

The fourth commit in the series (fd289eb) says "CWG" instead of "LWG" in the commit log.

Fixed.

@tkoeppe tkoeppe merged commit cc902d3 into main Apr 12, 2026
4 checks passed
@eisenwave eisenwave mentioned this pull request Apr 13, 2026
Open
@jwakely jwakely mentioned this pull request Apr 20, 2026
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jwakely jwakely jwakely approved these changes

@tkoeppe tkoeppe tkoeppe left review comments

+2 more reviewers

@eisenwave eisenwave eisenwave left review comments

@frederick-vs-ja frederick-vs-ja frederick-vs-ja left review comments

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

post-2026-03

6 participants

@burblebee @jensmaurer @jwakely @tkoeppe @eisenwave @frederick-vs-ja