From de201fa0bd42dc8eeade3a49e02c600b12972374 Mon Sep 17 00:00:00 2001 From: github-actions Date: Sat, 14 Dec 2024 16:00:11 +0000 Subject: [PATCH] Automatic update from GitHub Actions workflow --- issue4181.html | 92 +++++++++++++++++++++++++++++++++++++ lwg-active.html | 37 +++++++++++++-- lwg-closed.html | 10 ++-- lwg-defects.html | 10 ++-- lwg-immediate.html | 2 +- lwg-index-open.html | 15 ++++-- lwg-index.html | 15 ++++-- lwg-ready.html | 2 +- lwg-status-date.html | 13 +++++- lwg-status.html | 13 +++++- lwg-tentative.html | 2 +- lwg-toc.html | 11 ++++- lwg-unresolved.html | 29 +++++++++++- unresolved-index.html | 15 ++++-- unresolved-prioritized.html | 13 +++++- unresolved-status-date.html | 13 +++++- unresolved-status.html | 13 +++++- unresolved-toc.html | 11 ++++- votable-index.html | 2 +- votable-status-date.html | 2 +- votable-status.html | 2 +- votable-toc.html | 2 +- 22 files changed, 280 insertions(+), 44 deletions(-) create mode 100644 issue4181.html diff --git a/issue4181.html b/issue4181.html new file mode 100644 index 0000000000..20983de4cd --- /dev/null +++ b/issue4181.html @@ -0,0 +1,92 @@ + + + + +Issue 4181: Some ranges have negative ssize + + + + + + + + + +
+

This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.

+

4181. Some ranges have negative ssize

+

Section: 24.7 [iterator.range], 25.3.11 [range.prim.ssize] Status: New + Submitter: Casey Carter Opened: 2024-12-13 Last modified: 2024-12-14

+

Priority: Not Prioritized +

+

View other active issues in [iterator.range].

+

View all other issues in [iterator.range].

+

View all issues with New status.

+

Discussion:

+

+There exist range types R whose size is representable by neither ptrdiff_t nor +make-signed-like-t<ranges::range_size_t<R>>, specifically views::iota(size_t(0), size_t(-1)). +It's unfortunate that std::ssize and ranges::ssize produce a negative size for such ranges even when their +difference type is capable of representing their size (see demo). +Perhaps the ssize overloads should return +static_cast<common_type_t<ptrdiff_t, iter_difference_t<decltype(meow.begin())>>>(meow.size()) +instead when the argument meow models range? +

+ + +

Proposed resolution:

+ + + + + + + diff --git a/lwg-active.html b/lwg-active.html index c2c247420e..68b6411bd7 100644 --- a/lwg-active.html +++ b/lwg-active.html @@ -79,7 +79,7 @@

C++ Standard Library Active Issues List (Revision D125)

-

Revised 2024-12-14 at 15:47:42 UTC +

Revised 2024-12-14 at 16:00:05 UTC

Reference ISO/IEC IS 14882:2020(E)

Also see:

@@ -199,22 +199,22 @@

Revision History