Skip to content

[2022-07 LWG Motion 1] P2618R0 C++ Standard Library Issues #5667

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 26 commits into from
Aug 11, 2022
+144 −177
Merged

[2022-07 LWG Motion 1] P2618R0 C++ Standard Library Issues #5667

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
0472487
LWG3564 transform_view::iterator<true>::value_type and iterator_categ…
burblebee Jul 28, 2022
c5b6a5c
LWG3617 function/packaged_task deduction guides and deducing this
burblebee Jul 28, 2022
53c83cf
LWG3656 Inconsistent bit operations returning a count
burblebee Jul 28, 2022
c61c1b6
LWG3659 Consider ATOMIC_FLAG_INIT undeprecation
burblebee Jul 28, 2022
6fbded2
LWG3670 Cpp17InputIterators don't have integer-class difference types
burblebee Jul 28, 2022
50f1e24
LWG3671 atomic_fetch_xor missing from stdatomic.h
burblebee Jul 28, 2022
0df9a20
LWG3672 common_iterator::operator->() should return by value
burblebee Jul 28, 2022
da4456d
LWG3683 operator== for polymorphic_allocator cannot deduce template a…
burblebee Jul 28, 2022
29f66da
LWG3687 expected<cv void, E> move constructor should move
burblebee Jul 28, 2022
76a86b8
LWG3692 zip_view::iterator's operator<=> is overconstrained
burblebee Jul 28, 2022
62e3587
LWG3701 Make formatter<remove_cvref_t<const charT[N]>, charT> require…
burblebee Jul 28, 2022
d29b963
LWG3702 Should zip_transform_view::iterator remove operator<?
burblebee Jul 28, 2022
62fe2a0
LWG3703 Missing requirements for expected<T, E> requires is_void<T>
burblebee Jul 28, 2022
a7cbca7
LWG3704 LWG 2059 added overloads that might be ill-formed for sets
burblebee Jul 28, 2022
f8f6265
LWG3705 Hashability shouldn't depend on basic_string's allocator
burblebee Jul 28, 2022
7ecb746
LWG3707 chunk_view::outer-iterator::value_type::size should return un…
burblebee Jul 28, 2022
d6a68e3
LWG3708 take_while_view::sentinel's conversion constructor should move
burblebee Jul 28, 2022
60fa43a
LWG3709 LWG-3703 was underly ambitious
burblebee Jul 28, 2022
d7a01d9
LWG3710 The end of chunk_view for input ranges can be const
burblebee Jul 28, 2022
0416e7e
LWG3711 Missing preconditions for slide_view constructor
burblebee Jul 28, 2022
ab54e00
LWG3712 chunk_view and slide_view should not be default_initializable
burblebee Jul 28, 2022
d6d435a
LWG3713 Sorted with respect to comparator (only)
burblebee Jul 28, 2022
81b066e
LWG3715 view_interface::empty is overconstrained
burblebee Jul 28, 2022
8d06220
LWG3719 Directory iterators should be usable with default sentinel
burblebee Jul 28, 2022
c519b70
LWG3721 Allow an arg-id with a value of zero for width in std-format-…
burblebee Jul 28, 2022
cdd04d6
LWG3724 decay-copy should be constrained
burblebee Jul 28, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions source/ranges.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4430,7 +4430,7 @@
using iterator_concept = @\seebelownc@;
using iterator_category = @\seebelownc@; // not always present
using value_type =
remove_cvref_t<invoke_result_t<F&, range_reference_t<@\exposid{Base}@>>>;
remove_cvref_t<invoke_result_t<@\exposidnc{maybe-const}@<Const, F>&, range_reference_t<@\exposid{Base}@>>>;
using difference_type = range_difference_t<@\exposid{Base}@>;

@\exposid{iterator}@() requires @\libconcept{default_initializable}@<iterator_t<@\exposid{Base}@>> = default;
Expand Down Expand Up @@ -4514,7 +4514,7 @@
\tcode{iterator_traits<iterator_t<\exposid{Base}>>::iterator_category}.
\begin{itemize}
\item
If \tcode{is_lvalue_reference_v<invoke_result_t<F\&, range_reference_t<\exposid{Base}>>>}
If \tcode{is_lvalue_reference_v<invoke_result_t<\exposidnc{maybe-const}<Const, F>\&, range_reference_t<\linebreak\exposid{Base}>>>}
is \tcode{true}, then
\begin{itemize}
\item
Expand Down
6 changes: 4 additions & 2 deletions source/threads.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11316,9 +11316,11 @@
\begin{itemize}
\item
\tcode{F::operator()} is a non-static member function and
\tcode{decltype(\brk{}\&F::operator())} is of the form
\tcode{decltype(\brk{}\&F::operator())} is either of the form
\tcode{R(G::*)(A...)}~\cv{}~\tcode{\opt{\&}~\opt{noexcept}}
for a class type \tcode{G}, or
or of the form
\tcode{R(*)(G, A...)~\opt{noexcept}}
for a type \tcode{G}, or
\item
\tcode{F::operator()} is a static member function and
\tcode{decltype(\&F::operator())} is of the form
Expand Down
6 changes: 4 additions & 2 deletions source/utilities.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11679,9 +11679,11 @@
\begin{itemize}
\item
\tcode{F::operator()} is a non-static member function and
\tcode{decltype(\brk{}\&F::operator())} is of the form
\tcode{decltype(\brk{}\&F::operator())} is either of the form
\tcode{R(G::*)(A...)}~\cv{}~\tcode{\opt{\&}~\opt{noexcept}}
for a class type \tcode{G}, or
or of the form
\tcode{R(*)(G, A...)~\opt{noexcept}}
for a type \tcode{G}, or
\item
\tcode{F::operator()} is a static member function and
\tcode{decltype(\&F::operator())} is of the form
Expand Down