From Jason Turner

[counted.iter.nav]

C++23 → Trunk 1.7 KB 18 lines
Current Draft | LaTeX Source
Archived: C++23
Markdown: C++23 | Trunk
Explore in Adventure Game

Diff to HTML by rtfpessoa

Files changed (1) hide show
  1. tmp/tmp64cow5n5/{from.md → to.md} +6 -6
tmp/tmp64cow5n5/{from.md → to.md} RENAMED
@@ -2,11 +2,11 @@
2
 
3
  ``` cpp
4
  constexpr counted_iterator& operator++();
5
  ```
6
 
7
- *Preconditions:* `length > 0`.
8
 
9
  *Effects:* Equivalent to:
10
 
11
  ``` cpp
12
  ++current;
@@ -16,11 +16,11 @@ return *this;
16
 
17
  ``` cpp
18
  constexpr decltype(auto) operator++(int);
19
  ```
20
 
21
- *Preconditions:* `length > 0`.
22
 
23
  *Effects:* Equivalent to:
24
 
25
  ``` cpp
26
  --length;
@@ -86,11 +86,11 @@ friend constexpr counted_iterator operator+(
86
  ``` cpp
87
  constexpr counted_iterator& operator+=(iter_difference_t<I> n)
88
  requires random_access_iterator<I>;
89
  ```
90
 
91
- *Preconditions:* `n <= length`.
92
 
93
  *Effects:* Equivalent to:
94
 
95
  ``` cpp
96
  current += n;
@@ -117,28 +117,28 @@ sequence [[counted.iterator]].
117
 
118
  *Effects:* Equivalent to: `return y.length - x.length;`
119
 
120
  ``` cpp
121
  friend constexpr iter_difference_t<I> operator-(
122
- const counted_iterator& x, default_sentinel_t);
123
  ```
124
 
125
  *Effects:* Equivalent to: `return -x.length;`
126
 
127
  ``` cpp
128
  friend constexpr iter_difference_t<I> operator-(
129
- default_sentinel_t, const counted_iterator& y);
130
  ```
131
 
132
  *Effects:* Equivalent to: `return y.length;`
133
 
134
  ``` cpp
135
  constexpr counted_iterator& operator-=(iter_difference_t<I> n)
136
  requires random_access_iterator<I>;
137
  ```
138
 
139
- *Preconditions:* `-n <= length`.
140
 
141
  *Effects:* Equivalent to:
142
 
143
  ``` cpp
144
  current -= n;
 
2
 
3
  ``` cpp
4
  constexpr counted_iterator& operator++();
5
  ```
6
 
7
+ `length > 0` is `true`.
8
 
9
  *Effects:* Equivalent to:
10
 
11
  ``` cpp
12
  ++current;
 
16
 
17
  ``` cpp
18
  constexpr decltype(auto) operator++(int);
19
  ```
20
 
21
+ `length > 0` is `true`.
22
 
23
  *Effects:* Equivalent to:
24
 
25
  ``` cpp
26
  --length;
 
86
  ``` cpp
87
  constexpr counted_iterator& operator+=(iter_difference_t<I> n)
88
  requires random_access_iterator<I>;
89
  ```
90
 
91
+ `n <= length` is `true`.
92
 
93
  *Effects:* Equivalent to:
94
 
95
  ``` cpp
96
  current += n;
 
117
 
118
  *Effects:* Equivalent to: `return y.length - x.length;`
119
 
120
  ``` cpp
121
  friend constexpr iter_difference_t<I> operator-(
122
+ const counted_iterator& x, default_sentinel_t) noexcept;
123
  ```
124
 
125
  *Effects:* Equivalent to: `return -x.length;`
126
 
127
  ``` cpp
128
  friend constexpr iter_difference_t<I> operator-(
129
+ default_sentinel_t, const counted_iterator& y) noexcept;
130
  ```
131
 
132
  *Effects:* Equivalent to: `return y.length;`
133
 
134
  ``` cpp
135
  constexpr counted_iterator& operator-=(iter_difference_t<I> n)
136
  requires random_access_iterator<I>;
137
  ```
138
 
139
+ `-n <= length` is `true`.
140
 
141
  *Effects:* Equivalent to:
142
 
143
  ``` cpp
144
  current -= n;