Skip to content

LWG Poll 2: P2051R0 C++ Standard Library Issues to be moved in Prague #3748

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
zygoloid merged 44 commits into from
Feb 27, 2020
Merged

LWG Poll 2: P2051R0 C++ Standard Library Issues to be moved in Prague #3748

Changes from 1 commit
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
95df15d
LWG3194 ConvertibleTo prose does not match code
Feb 14, 2020
707c2d5
LWG3233 Broken requirements for shared_ptr converting constructors
Feb 14, 2020
a7f2dd6
LWG3254 Strike stop_token's operator!=
Feb 14, 2020
c99a776
LWG3264 sized_range and ranges::size redundantly use disable_sized_range
Feb 14, 2020
a28b300
LWG3280 View converting constructors can cause constraint recursion a…
Feb 14, 2020
94a94e3
LWG3284 random_access_iterator semantic constraints accidentally prom…
Feb 14, 2020
7b2e123
LWG3285 The type of a customization point object shall satisfy semire…
Feb 14, 2020
095a764
LWG3286 ranges::size is not required to be valid after a call to rang…
Feb 14, 2020
5bd6da1
LWG3291 iota_view::iterator has the wrong iterator_category
Feb 14, 2020
ae15dd1
LWG3292 iota_view is under-constrained
Feb 14, 2020
09c20d9
LWG3294 zoned_time deduction guides misinterprets string/char*
Feb 14, 2020
a9d4809
LWG3296 Inconsistent default argument for basic_regex<>::assign
Feb 14, 2020
fdd34db
LWG3299 Pointers don't need customized iterator behavior
Feb 14, 2020
b7f07b3
LWG3300 Non-array ssize overload is underconstrained
Feb 14, 2020
5a66090
LWG3302 Range adaptor objects keys and values are unspecified
Feb 14, 2020
d3ce1fc
LWG3303 Bad "constexpr" marker for destroy/destroy_n
Feb 14, 2020
1cec867
LWG3304 Allocate functions of std::polymorphic_allocator should requi…
Feb 14, 2020
b3d809a
LWG3307 std::allocator<void>().allocate(n)
Feb 14, 2020
31e9bb0
LWG3310 Replace SIZE_MAX with numeric_limits<size_t>::max()
Feb 14, 2020
b561e61
LWG3313 join_view::iterator::operator-- is incorrectly constrained
Feb 14, 2020
ebd893b
LWG3315 Correct Allocator Default Behavior
Feb 14, 2020
5518e72
LWG3316 Correctly define epoch for utc_clock / utc_timepoint
Feb 14, 2020
8662855
LWG3317 Incorrect operator<< for floating-point durations
Feb 14, 2020
bd57d9c
LWG3318 Clarify whether clocks can represent time before their epoch
Feb 14, 2020
41e73c4
LWG3319 Properly reference specification of IANA time zone database
Feb 14, 2020
6faa9cf
LWG3320 span::cbegin/cend methods produce different results than std:…
Feb 14, 2020
f3199a9
LWG3321 uninitialized_construct_using_allocator should use construct_at
Feb 14, 2020
74487d3
LWG3323 has-tuple-element helper concept needs convertible_to
Feb 14, 2020
099d550
LWG3324 Special-case std::strong/weak/partial_order for pointers
Feb 14, 2020
a72b900
LWG3325 Constrain return type of transformation function for transfor…
Feb 14, 2020
3777012
LWG3326 enable_view has false positives
Feb 14, 2020
862d446
LWG3327 Format alignment specifiers vs. text direction
Feb 14, 2020
43e9566
LWG3329 totally_ordered_with both directly and indirectly requires co…
Feb 14, 2020
abaa67f
LWG3330 Include <compare> from most library headers
Feb 14, 2020
6f9fcd3
LWG3331 Define totally_ordered/_with in terms of partially-ordered-with
Feb 14, 2020
68a6fd2
LWG3332 Issue in [time.format]
Feb 14, 2020
f426a14
LWG3338 Rename default_constructible to default_initializable
Feb 14, 2020
84c829b
LWG3346 pair and tuple copy and move constructor have backwards speci…
Feb 14, 2020
1fca6b1
LWG3349 Missing __cpp_lib_constexpr_complex for P0415R1
Feb 14, 2020
4199b05
LWG3350 Simplify return type of lexicographical_compare_three_way
Feb 14, 2020
6139589
LWG3351 ranges::enable_safe_range should not be constrained
Feb 14, 2020
901833b
LWG3356 __cpp_lib_nothrow_convertible should be __cpp_lib_is_nothrow_…
Feb 14, 2020
de58af8
LWG3360 three_way_comparable_with is inconsistent with similar concepts
Feb 14, 2020
090d7d8
[allocator.uses.construction] Give a name to generic lambda type
Feb 21, 2020
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
Prev Previous commit
Next Next commit
LWG3360 three_way_comparable_with is inconsistent with similar concepts
  • Loading branch information
Dawn Perchik @zygoloid
Dawn Perchik authored and zygoloid committed Feb 27, 2020
commit de58af86bd4b248dd3aeb65aff88af068a2d9436
4 changes: 2 additions & 2 deletions source/support.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4601,13 +4601,13 @@
\begin{codeblock}
template<class T, class U, class Cat = partial_ordering>
concept @\deflibconcept{three_way_comparable_with}@ =
@\exposconcept{weakly-equality-comparable-with}@<T, U> &&
@\exposconcept{partially-ordered-with}@<T, U> &&
three_way_comparable<T, Cat> &&
three_way_comparable<U, Cat> &&
common_reference_with<const remove_reference_t<T>&, const remove_reference_t<U>&> &&
three_way_comparable<
common_reference_t<const remove_reference_t<T>&, const remove_reference_t<U>&>, Cat> &&
@\exposconcept{weakly-equality-comparable-with}@<T, U> &&
@\exposconcept{partially-ordered-with}@<T, U> &&
requires(const remove_reference_t<T>& t, const remove_reference_t<U>& u) {
{ t <=> u } -> @\exposconcept{compares-as}@<Cat>;
{ u <=> t } -> @\exposconcept{compares-as}@<Cat>;
Expand Down