1 // Copyright (C) 2019-2021 Free Software Foundation, Inc.
3 // This file is part of the GNU ISO C++ Library. This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3. If not see
16 // <http://www.gnu.org/licenses/>.
18 // { dg-options "-std=gnu++2a" }
19 // { dg-do run { target c++2a } }
22 #include <testsuite_hooks.h>
23 #include <testsuite_iterators.h>
25 using __gnu_test::test_range
;
26 using __gnu_test::random_access_iterator_wrapper
;
27 using __gnu_test::bidirectional_iterator_wrapper
;
28 using __gnu_test::forward_iterator_wrapper
;
29 using __gnu_test::input_iterator_wrapper
;
30 using __gnu_test::output_iterator_wrapper
;
35 int a
[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
36 test_range
<int, random_access_iterator_wrapper
> r(a
);
37 auto begin
= r
.begin();
39 auto endi
= std::ranges::next(begin
, end
);
40 VERIFY( *std::ranges::next(begin
) == 1 );
41 VERIFY( std::ranges::next(begin
, 0) == begin
);
42 VERIFY( *std::ranges::next(begin
, 1) == 1 );
43 VERIFY( *std::ranges::next(begin
, 3) == 3 );
44 VERIFY( *std::ranges::next(endi
, -4) == 6 );
45 VERIFY( std::ranges::next(begin
, begin
) == begin
);
46 VERIFY( std::ranges::next(begin
, end
) == end
);
47 VERIFY( std::ranges::next(endi
, end
) == end
);
48 VERIFY( std::ranges::next(endi
, begin
) == begin
);
49 VERIFY( std::ranges::next(begin
, 0, begin
) == begin
);
50 VERIFY( std::ranges::next(begin
, 5, begin
) == begin
);
51 VERIFY( std::ranges::next(begin
, -5, begin
) == begin
);
52 VERIFY( std::ranges::next(begin
, 0, end
) == begin
);
53 VERIFY( *std::ranges::next(begin
, 5, end
) == 5 );
54 VERIFY( std::ranges::next(begin
, 55, end
) == end
);
55 VERIFY( std::ranges::next(endi
, 0, end
) == end
);
56 VERIFY( std::ranges::next(endi
, -5, end
) == end
);
57 VERIFY( std::ranges::next(endi
, -55, end
) == end
);
58 VERIFY( std::ranges::next(endi
, 0, begin
) == end
);
59 VERIFY( *std::ranges::next(endi
, -5, begin
) == 5 );
60 VERIFY( std::ranges::next(endi
, -55, begin
) == begin
);
66 int a
[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
67 test_range
<int, bidirectional_iterator_wrapper
> r(a
);
68 auto begin
= r
.begin();
70 auto endi
= std::ranges::next(begin
, end
);
71 VERIFY( *std::ranges::next(begin
) == 1 );
72 VERIFY( std::ranges::next(begin
, 0) == begin
);
73 VERIFY( *std::ranges::next(begin
, 1) == 1 );
74 VERIFY( *std::ranges::next(begin
, 3) == 3 );
75 VERIFY( *std::ranges::next(endi
, -4) == 6 );
76 VERIFY( std::ranges::next(begin
, begin
) == begin
);
77 VERIFY( std::ranges::next(begin
, end
) == end
);
78 VERIFY( std::ranges::next(endi
, end
) == end
);
79 VERIFY( std::ranges::next(endi
, begin
) == begin
);
80 VERIFY( std::ranges::next(begin
, 0, begin
) == begin
);
81 VERIFY( std::ranges::next(begin
, 5, begin
) == begin
);
82 VERIFY( std::ranges::next(begin
, -5, begin
) == begin
);
83 VERIFY( std::ranges::next(begin
, 0, end
) == begin
);
84 VERIFY( *std::ranges::next(begin
, 5, end
) == 5 );
85 VERIFY( std::ranges::next(begin
, 55, end
) == end
);
86 VERIFY( std::ranges::next(endi
, 0, end
) == end
);
87 VERIFY( std::ranges::next(endi
, -5, end
) == end
);
88 VERIFY( std::ranges::next(endi
, -55, end
) == end
);
89 VERIFY( std::ranges::next(endi
, 0, begin
) == end
);
90 VERIFY( *std::ranges::next(endi
, -5, begin
) == 5 );
91 VERIFY( std::ranges::next(endi
, -55, begin
) == begin
);
97 int a
[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
98 test_range
<int, forward_iterator_wrapper
> r(a
);
99 auto begin
= r
.begin();
101 auto endi
= std::ranges::next(begin
, end
);
102 VERIFY( *std::ranges::next(begin
) == 1 );
103 VERIFY( std::ranges::next(begin
, 0) == begin
);
104 VERIFY( *std::ranges::next(begin
, 1) == 1 );
105 VERIFY( *std::ranges::next(begin
, 3) == 3 );
106 VERIFY( std::ranges::next(begin
, begin
) == begin
);
107 VERIFY( std::ranges::next(begin
, end
) == end
);
108 VERIFY( std::ranges::next(endi
, end
) == end
);
109 VERIFY( std::ranges::next(begin
, 0, begin
) == begin
);
110 VERIFY( std::ranges::next(begin
, 5, begin
) == begin
);
111 VERIFY( std::ranges::next(begin
, -5, begin
) == begin
);
112 VERIFY( std::ranges::next(begin
, 0, end
) == begin
);
113 VERIFY( *std::ranges::next(begin
, 5, end
) == 5 );
114 VERIFY( std::ranges::next(begin
, 55, end
) == end
);
115 VERIFY( std::ranges::next(endi
, 0, end
) == end
);
116 VERIFY( std::ranges::next(endi
, 5, end
) == end
);
117 VERIFY( std::ranges::next(endi
, 55, end
) == end
);
118 VERIFY( std::ranges::next(endi
, 0, begin
) == end
);
124 int a
[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
125 test_range
<int, input_iterator_wrapper
> r(a
);
126 auto begin
= r
.begin();
128 auto iter
= std::ranges::next(begin
);
129 VERIFY( *iter
== 1 );
130 iter
= std::ranges::next(iter
, 0);
131 VERIFY( *iter
== 1 );
132 iter
= std::ranges::next(iter
, 1);
133 VERIFY( *iter
== 2 );
134 iter
= std::ranges::next(iter
, 4);
135 VERIFY( *iter
== 6 );
137 iter
= std::ranges::next(iter
, iter
);
138 VERIFY( *iter
== 6 );
139 iter
= std::ranges::next(iter
, end
);
140 VERIFY( iter
== end
);
141 iter
= std::ranges::next(iter
, end
);
142 VERIFY( iter
== end
);
144 test_range
<int, input_iterator_wrapper
> r2(a
);
147 auto endi
= std::ranges::next(begin
, end
);
148 // reset single-pass input range
150 iter
= std::ranges::next(begin
, 0, begin
);
151 VERIFY( *iter
== 0 );
152 iter
= std::ranges::next(begin
, 5, begin
);
153 VERIFY( *iter
== 0 );
154 iter
= std::ranges::next(begin
, -5, begin
);
155 VERIFY( *iter
== 0 );
156 iter
= std::ranges::next(begin
, 0, end
);
157 VERIFY( *iter
== 0 );
158 iter
= std::ranges::next(endi
, 0, begin
);
159 VERIFY( iter
== end
);
160 iter
= std::ranges::next(begin
, 5, end
); // invalidates begin
161 VERIFY( *iter
== 5 );
162 iter
= std::ranges::next(iter
, 55, end
);
163 VERIFY( iter
== end
);
164 iter
= std::ranges::next(endi
, 0, end
);
165 VERIFY( iter
== end
);
166 iter
= std::ranges::next(endi
, 5, end
);
167 VERIFY( iter
== end
);
173 int a
[10] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };
174 test_range
<int, output_iterator_wrapper
> r(a
);
175 auto iter
= r
.begin();
176 auto end
= r
.end(); // sentinel, !same_as<decltype(iter), decltype(end)>
178 iter
= std::ranges::next(iter
);
180 VERIFY( a
[1] == 10 );
181 iter
= std::ranges::next(iter
, 0);
182 iter
= std::ranges::next(iter
, 1);
184 VERIFY( a
[2] == 20 );
185 iter
= std::ranges::next(iter
, 4);
186 iter
= std::ranges::next(iter
, 0);
188 VERIFY( a
[6] == 60 );
190 iter
= std::ranges::next(iter
, end
);
191 VERIFY( iter
== end
);
192 iter
= std::ranges::next(iter
, end
);
193 VERIFY( iter
== end
);
195 test_range
<int, output_iterator_wrapper
> r2(a
);
196 iter
= std::ranges::next(r2
.begin(), 5);
199 iter
= std::ranges::next(iter
, 0, end
);
201 VERIFY( a
[5] == 50 );
202 iter
= std::ranges::next(iter
, 2, end
);
204 VERIFY( a
[7] == 70 );
205 iter
= std::ranges::next(iter
, 5, end
);
206 VERIFY( iter
== end
);