From Jason Turner

[range.prim.ssize]

C++20 → C++23 1.1 KB 15 lines
Current Draft | LaTeX Source
Archived: C++20 | C++23
Markdown: C++20 | C++23
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmpoa24ix8d/{from.md → to.md} +7 -5
tmp/tmpoa24ix8d/{from.md → to.md} RENAMED
@@ -1,10 +1,12 @@
1
  ### `ranges::ssize` <a id="range.prim.ssize">[[range.prim.ssize]]</a>
2
 
3
  The name `ranges::ssize` denotes a customization point object
4
- [[customization.point.object]]. The expression `ranges::ssize({}E)` for
5
- a subexpression `E` of type `T` is expression-equivalent to:
6
 
7
- - If `range_difference_t<T>` has width less than `ptrdiff_t`,
8
- `static_cast<ptrdiff_t>(ranges::{}size(E))`.
9
- - Otherwise, `static_cast<range_difference_t<T>>(ranges::size(E))`.
 
 
 
10
 
 
1
  ### `ranges::ssize` <a id="range.prim.ssize">[[range.prim.ssize]]</a>
2
 
3
  The name `ranges::ssize` denotes a customization point object
4
+ [[customization.point.object]].
 
5
 
6
+ Given a subexpression `E` with type `T`, let `t` be an lvalue that
7
+ denotes the reified object for `E`. If `ranges::size(t)` is ill-formed,
8
+ `ranges::ssize(E)` is ill-formed. Otherwise let `D` be
9
+ `make-signed-like-t<decltype(ranges::{}size(t))>`, or `ptrdiff_t` if it
10
+ is wider than that type; `ranges::ssize(E)` is expression-equivalent to
11
+ `static_cast<D>(ranges::size(t))`.
12