|
9 | 9 |
|
10 | 10 | export module containers.algorithms.compare;
|
11 | 11 |
|
12 |
| -import containers.c_array; |
13 | 12 | import containers.begin_end;
|
14 |
| -import containers.empty_range; |
15 | 13 | import containers.iterator;
|
16 | 14 | import containers.range;
|
17 | 15 | import containers.sentinel_for;
|
@@ -193,81 +191,3 @@ constexpr auto equal(Range1 && range1, Range2 && range2) {
|
193 | 191 | }
|
194 | 192 |
|
195 | 193 | } // namespace containers
|
196 |
| - |
197 |
| -constexpr auto empty = containers::empty_range<int>(); |
198 |
| - |
199 |
| -static_assert(containers::lexicographical_compare_3way(empty, empty) == 0); |
200 |
| -static_assert(containers::equal(empty, empty)); |
201 |
| - |
202 |
| -constexpr containers::c_array<int, 1> one_one = {1}; |
203 |
| -constexpr containers::c_array<int, 1> one_two = {2}; |
204 |
| - |
205 |
| -static_assert(containers::lexicographical_compare_3way(empty, one_one) < 0); |
206 |
| -static_assert(containers::lexicographical_compare_3way(one_one, empty) > 0); |
207 |
| -static_assert(!containers::equal(empty, one_one)); |
208 |
| -static_assert(!containers::equal(one_one, empty)); |
209 |
| - |
210 |
| -static_assert(containers::lexicographical_compare_3way(one_one, one_two) < 0); |
211 |
| -static_assert(containers::lexicographical_compare_3way(one_two, one_one) > 0); |
212 |
| -static_assert(!containers::equal(one_one, one_two)); |
213 |
| -static_assert(!containers::equal(one_two, one_one)); |
214 |
| - |
215 |
| -static_assert(containers::equal(one_one, one_one)); |
216 |
| -static_assert(containers::equal(one_two, one_two)); |
217 |
| - |
218 |
| -constexpr containers::c_array<int, 2> two_forward = {1, 2}; |
219 |
| -constexpr containers::c_array<int, 2> two_reversed = {2, 1}; |
220 |
| - |
221 |
| -static_assert(containers::lexicographical_compare_3way(empty, two_forward) < 0); |
222 |
| -static_assert(containers::lexicographical_compare_3way(two_forward, empty) > 0); |
223 |
| -static_assert(!containers::equal(empty, two_forward)); |
224 |
| -static_assert(!containers::equal(two_forward, empty)); |
225 |
| - |
226 |
| -static_assert(containers::lexicographical_compare_3way(one_one, two_forward) < 0); |
227 |
| -static_assert(containers::lexicographical_compare_3way(two_forward, one_one) > 0); |
228 |
| -static_assert(!containers::equal(one_one, two_forward)); |
229 |
| -static_assert(!containers::equal(two_forward, one_one)); |
230 |
| - |
231 |
| -static_assert(containers::lexicographical_compare_3way(one_two, two_forward) > 0); |
232 |
| -static_assert(containers::lexicographical_compare_3way(two_forward, one_two) < 0); |
233 |
| -static_assert(!containers::equal(one_two, two_forward)); |
234 |
| -static_assert(!containers::equal(two_forward, one_two)); |
235 |
| - |
236 |
| -static_assert(containers::lexicographical_compare_3way(two_forward, two_reversed) < 0); |
237 |
| -static_assert(containers::lexicographical_compare_3way(two_reversed, two_forward) > 0); |
238 |
| -static_assert(!containers::equal(two_forward, two_reversed)); |
239 |
| -static_assert(!containers::equal(two_reversed, two_forward)); |
240 |
| - |
241 |
| -static_assert(containers::equal(two_forward, two_forward)); |
242 |
| -static_assert(containers::equal(two_reversed, two_reversed)); |
243 |
| - |
244 |
| -constexpr containers::c_array<int, 9> nine = {1, 2, 3, 4, 5, 6, 7, 8, 9}; |
245 |
| -constexpr containers::c_array<int, 10> ten = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}; |
246 |
| - |
247 |
| -static_assert(containers::lexicographical_compare_3way(empty, nine) < 0); |
248 |
| -static_assert(containers::lexicographical_compare_3way(nine, empty) > 0); |
249 |
| -static_assert(!containers::equal(empty, nine)); |
250 |
| -static_assert(!containers::equal(nine, empty)); |
251 |
| - |
252 |
| -static_assert(containers::lexicographical_compare_3way(one_one, nine) < 0); |
253 |
| -static_assert(containers::lexicographical_compare_3way(nine, one_one) > 0); |
254 |
| -static_assert(!containers::equal(one_one, nine)); |
255 |
| -static_assert(!containers::equal(nine, one_one)); |
256 |
| - |
257 |
| -static_assert(containers::lexicographical_compare_3way(one_two, nine) > 0); |
258 |
| -static_assert(containers::lexicographical_compare_3way(nine, one_two) < 0); |
259 |
| -static_assert(!containers::equal(one_two, nine)); |
260 |
| -static_assert(!containers::equal(nine, one_two)); |
261 |
| - |
262 |
| -static_assert(containers::lexicographical_compare_3way(nine, two_reversed) < 0); |
263 |
| -static_assert(containers::lexicographical_compare_3way(two_reversed, nine) > 0); |
264 |
| -static_assert(!containers::equal(nine, two_reversed)); |
265 |
| -static_assert(!containers::equal(two_reversed, nine)); |
266 |
| - |
267 |
| -static_assert(containers::lexicographical_compare_3way(nine, ten) < 0); |
268 |
| -static_assert(containers::lexicographical_compare_3way(ten, nine) > 0); |
269 |
| -static_assert(!containers::equal(nine, ten)); |
270 |
| -static_assert(!containers::equal(ten, nine)); |
271 |
| - |
272 |
| -static_assert(containers::equal(nine, nine)); |
273 |
| -static_assert(containers::equal(ten, ten)); |
0 commit comments