OLD | NEW |
---|---|
(Empty) | |
1 // Copyright 2016 The Chromium Authors. All rights reserved. | |
danakj
2017/02/03 20:30:49
2017
dyaroshev
2017/02/04 00:59:16
Done. Sorry)
| |
2 // Use of this source code is governed by a BSD-style license that can be | |
3 // found in the LICENSE file. | |
4 | |
5 #include "base/containers/flat_set.h" | |
6 | |
7 // Following tests are ported and extended tests from libcpp for std::set. | |
8 // They can be found here: | |
9 // https://github.com/llvm-mirror/libcxx/tree/master/test/std/containers/associa tive/set | |
10 // | |
11 // Not ported tests: | |
12 // * No tests with PrivateConstructor and std::less<> changed to std::less<T> | |
13 // These tests have to do with C++14 std::less<> | |
14 // http://en.cppreference.com/w/cpp/utility/functional/less_void | |
15 // and add support for templated versions of lookup functions. | |
16 // Current implementation of flat containers doesn't support it. | |
17 // * No tests with TemplateConstructor. | |
18 // Library working group issue: LWG #2059 | |
19 // http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#2059 | |
20 // There is an ambiguity between erase with an iterator and erase with a key, | |
21 // if key has a templated constructor. We have to fix this. | |
22 // * No tests for max_size() | |
23 // Has to do with allocator support. | |
24 // * No tests with DefaultOnly. | |
25 // Standard containers allocate each element in the separate node on the heap | |
26 // and then manipulate these nodes. Flat containers store their elements in | |
27 // contiguous memory and move them around, type is required to be movable. | |
28 // * No tests for N3644. | |
29 // This proposal suggests that all default constructed iterators compare | |
30 // equal. Currently we use std::vector iterators and they don't implement | |
31 // this. | |
32 // * No tests with min_allocator and no tests counting allocations. | |
33 // Flat sets currently don't support allocators. | |
34 // * No tests for range insertion. Flat sets currently do not support this | |
35 // functionality. | |
36 | |
37 #include <string> | |
38 #include <vector> | |
39 | |
40 #include "base/macros.h" | |
41 #include "testing/gtest/include/gtest/gtest.h" | |
42 | |
43 namespace { | |
44 | |
45 class MoveOnly { | |
46 public: | |
47 MoveOnly(int data = 1) : data_(data) {} | |
danakj
2017/02/03 20:30:49
can this be explicit?
dyaroshev
2017/02/04 00:59:16
Done. It was useful for ExpectRange, but I got rid
danakj
2017/02/07 16:35:51
Looks like it wasn't done?
dyaroshev
2017/02/07 23:47:24
So sorry, I made it work but forgot adding explici
| |
48 MoveOnly(MoveOnly&& other) : data_(other.data_) { other.data_ = 0; } | |
49 MoveOnly& operator=(MoveOnly&& other) { | |
50 data_ = other.data_; | |
51 other.data_ = 0; | |
52 return *this; | |
53 } | |
54 | |
55 friend bool operator==(const MoveOnly& lhs, const MoveOnly& rhs) { | |
56 return lhs.data_ == rhs.data_; | |
57 } | |
58 | |
59 friend bool operator<(const MoveOnly& lhs, const MoveOnly& rhs) { | |
60 return lhs.data_ < rhs.data_; | |
61 } | |
62 | |
63 int data() const { return data_; } | |
64 | |
65 private: | |
66 int data_; | |
67 | |
68 DISALLOW_COPY_AND_ASSIGN(MoveOnly); | |
69 }; | |
70 | |
71 template <class It> | |
72 class InputIterator { | |
73 public: | |
74 using iterator_category = std::input_iterator_tag; | |
75 using value_type = typename std::iterator_traits<It>::value_type; | |
76 using difference_type = typename std::iterator_traits<It>::difference_type; | |
77 using pointer = It; | |
78 using reference = typename std::iterator_traits<It>::reference; | |
79 | |
80 InputIterator() : it_() {} | |
81 explicit InputIterator(It it) : it_(it) {} | |
82 | |
83 reference operator*() const { return *it_; } | |
84 pointer operator->() const { return it_; } | |
85 | |
86 InputIterator& operator++() { | |
87 ++it_; | |
88 return *this; | |
89 } | |
90 InputIterator operator++(int) { | |
91 InputIterator tmp(*this); | |
92 ++(*this); | |
93 return tmp; | |
94 } | |
95 | |
96 friend bool operator==(const InputIterator& lhs, const InputIterator& rhs) { | |
97 return lhs.it_ == rhs.it_; | |
98 } | |
99 friend bool operator!=(const InputIterator& lhs, const InputIterator& rhs) { | |
100 return !(lhs == rhs); | |
101 } | |
102 | |
103 private: | |
104 It it_; | |
105 }; | |
106 | |
107 template <typename It> | |
108 InputIterator<It> MakeInputIterator(It it) { | |
109 return InputIterator<It>(it); | |
110 } | |
111 | |
112 class Emplaceable { | |
113 public: | |
114 Emplaceable() : Emplaceable(0, 0.0) {} | |
115 Emplaceable(int i, double d) : int_(i), double_(d) {} | |
116 Emplaceable(Emplaceable&& other) : int_(other.int_), double_(other.double_) { | |
117 other.int_ = 0; | |
118 other.double_ = 0.0; | |
119 } | |
120 | |
121 Emplaceable& operator=(Emplaceable&& other) { | |
122 int_ = other.int_; | |
123 other.int_ = 0; | |
124 double_ = other.double_; | |
125 other.double_ = 0.0; | |
126 return *this; | |
127 } | |
128 | |
129 friend bool operator==(const Emplaceable& lhs, const Emplaceable& rhs) { | |
130 return std::tie(lhs.int_, lhs.double_) == std::tie(rhs.int_, rhs.double_); | |
131 } | |
132 | |
133 friend bool operator<(const Emplaceable& lhs, const Emplaceable& rhs) { | |
134 return std::tie(lhs.int_, lhs.double_) < std::tie(rhs.int_, rhs.double_); | |
135 } | |
136 | |
137 private: | |
138 int int_; | |
139 double double_; | |
140 | |
141 DISALLOW_COPY_AND_ASSIGN(Emplaceable); | |
142 }; | |
143 | |
144 class NonDefaultConstructibleCompare { | |
145 public: | |
146 NonDefaultConstructibleCompare(int) {} | |
danakj
2017/02/03 20:30:49
can this be explicit?
dyaroshev
2017/02/04 00:59:16
Done.
| |
147 | |
148 template <typename T> | |
149 bool operator()(const T& lhs, const T& rhs) { | |
150 return std::less<T>()(lhs, rhs); | |
151 } | |
152 }; | |
153 | |
154 template <typename T> | |
155 std::string ToString(const T& val) { | |
156 return std::to_string(val); | |
157 } | |
158 | |
159 std::string ToString(const MoveOnly& val) { | |
160 return std::to_string(val.data()); | |
161 } | |
162 | |
163 template <typename LhsRange, typename RhsRange> | |
164 // Requires: | |
165 // LhsRange is ForwardRange | |
danakj
2017/02/03 20:30:49
in these comments just use a - or a * or something
dyaroshev
2017/02/04 00:59:16
Not applicable.
| |
166 // RhsRange is ForwardRange | |
167 // ValueType<LhsRange> is EqualityComparable to ValueType<RhsRange> | |
168 bool EqualRange(const LhsRange& lhs_range, const RhsRange& rhs_range) { | |
169 return (std::distance(lhs_range.begin(), lhs_range.end()) == | |
170 std::distance(rhs_range.begin(), rhs_range.end())) && | |
171 std::equal(lhs_range.begin(), lhs_range.end(), rhs_range.begin()); | |
172 } | |
173 | |
174 template <typename Range> | |
175 // Requires: | |
176 // Range is InputRange | |
177 // ValueType<Range> is ConvertibleToString. | |
178 std::string RangeToString(const Range& range) { | |
179 std::string res = "["; | |
180 for (const auto& val : range) | |
181 res += ToString(val) + ", "; | |
182 res += ']'; | |
183 return res; | |
184 } | |
185 | |
186 template <typename TestedRange> | |
187 // Requires: | |
188 // TestedRange is ForwardRange | |
189 // ExpectedRange is ForwardRange | |
190 // ValueType<TestedRange> is EqualityComparable to int | |
191 // ValueType<TestedRange> is ConvertibleToString. | |
192 void ExpectRange(const TestedRange& tested_range, | |
193 const std::vector<int>& expected_range) { | |
194 EXPECT_TRUE(EqualRange(tested_range, expected_range)) | |
195 << "Expected: " << RangeToString(expected_range) | |
196 << ", Actual: " << RangeToString(tested_range); | |
danakj
2017/02/03 20:30:49
perhaps "\n" in front of each of Expected and Actu
dyaroshev
2017/02/04 00:59:16
Turns out, GTEST has a pretty nice version of this
| |
197 } | |
198 | |
199 // Common test sets. | |
200 using IntSet = base::flat_set<int>; | |
201 using MoveOnlySet = base::flat_set<MoveOnly>; | |
202 using EmplaceableSet = base::flat_set<Emplaceable>; | |
203 using ReversedSet = base::flat_set<int, std::greater<int>>; | |
204 | |
205 // TODO(dyaroshev): replace less<int> with less<>, once we have it | |
206 // crbug.com/682254. | |
207 using SetWithLess = base::flat_set<int, std::less<int>>; | |
208 | |
209 using SetWithStrangeCompare = | |
210 base::flat_set<int, NonDefaultConstructibleCompare>; | |
211 | |
212 } // namespace | |
213 | |
214 // ---------------------------------------------------------------------------- | |
215 // Class. | |
216 | |
217 // Check that base::flat_set and its iterators can be instantiated with an | |
218 // incomplete type. | |
219 | |
220 TEST(FlatSet, IncompleteType) { | |
221 struct A { | |
222 using Set = base::flat_set<A>; | |
223 int data; | |
224 Set set_with_incomplete_type; | |
225 Set::iterator it; | |
226 Set::const_iterator cit; | |
227 | |
228 // We do not declare operator< because clang complains that it's unused. | |
229 }; | |
230 | |
231 A a; | |
232 } | |
233 | |
234 TEST(FlatSet, Stability) { | |
235 using Pair = std::pair<int, int>; | |
236 | |
237 struct LessByFirst { | |
238 bool operator()(const Pair& lhs, const Pair& rhs) { | |
239 return lhs.first < rhs.first; | |
240 } | |
241 }; | |
242 | |
243 using Set = base::flat_set<Pair, LessByFirst>; | |
244 | |
245 // Constructors are not stable. | |
246 Set cont{{0, 0}, {1, 0}, {0, 1}, {2, 0}, {0, 2}, {1, 1}}; | |
247 | |
248 auto NoneOfSecondsAreTwo = [&cont] { | |
249 return std::none_of(cont.begin(), cont.end(), | |
250 [](const Pair& elem) { return elem.second == 2; }); | |
251 }; | |
252 | |
253 // Should not replace existing. | |
254 cont.insert(Pair(0, 2)); | |
255 cont.insert(Pair(1, 2)); | |
256 cont.insert(Pair(2, 2)); | |
257 | |
258 EXPECT_TRUE(NoneOfSecondsAreTwo()) | |
259 << "insert should be stable with respect to constructor"; | |
260 | |
261 cont.insert(Pair(3, 0)); | |
262 cont.insert(Pair(3, 2)); | |
263 | |
264 EXPECT_TRUE(NoneOfSecondsAreTwo()) | |
265 << "insert should be stable with respect to previous insert"; | |
266 } | |
267 | |
268 // ---------------------------------------------------------------------------- | |
269 // Types. | |
270 | |
271 // key_type | |
272 // key_compare | |
273 // value_type | |
274 // value_compare | |
275 // pointer | |
276 // const_pointer | |
277 // reference | |
278 // const_reference | |
279 // size_type | |
280 // difference_type | |
281 // iterator | |
282 // const_iterator | |
283 // reverse_iterator | |
284 // const_reverse_iterator | |
285 | |
286 TEST(FlatSet, Types) { | |
287 // These are guaranteed to be portable. | |
288 static_assert((std::is_same<int, IntSet::key_type>::value), ""); | |
289 static_assert((std::is_same<int, IntSet::value_type>::value), ""); | |
290 static_assert((std::is_same<std::less<int>, IntSet::key_compare>::value), ""); | |
291 static_assert((std::is_same<std::less<int>, IntSet::value_compare>::value), | |
292 ""); | |
293 static_assert((std::is_same<int&, IntSet::reference>::value), ""); | |
294 static_assert((std::is_same<const int&, IntSet::const_reference>::value), ""); | |
295 static_assert((std::is_same<int*, IntSet::pointer>::value), ""); | |
296 static_assert((std::is_same<const int*, IntSet::const_pointer>::value), ""); | |
297 } | |
298 | |
299 // ---------------------------------------------------------------------------- | |
300 // Lifetime. | |
301 | |
302 // flat_set() | |
303 // flat_set(const Compare& comp) | |
304 | |
305 TEST(FlatSet, DefaultConstructor) { | |
306 { | |
307 IntSet cont; | |
308 ExpectRange(cont, {}); | |
danakj
2017/02/03 20:30:49
Can you ensure there is a SCOPED_TRACE at each cal
dyaroshev
2017/02/04 00:59:16
Not applicable
| |
309 } | |
310 | |
311 { | |
312 SetWithStrangeCompare cont(NonDefaultConstructibleCompare(0)); | |
313 ExpectRange(cont, {}); | |
314 } | |
315 } | |
316 | |
317 // flat_set(InputIterator first, | |
318 // InputIterator last, | |
319 // const Compare& comp = Compare()) | |
320 | |
321 TEST(FlatSet, RangeConstructor) { | |
322 { | |
323 IntSet::value_type input_vals[] = {1, 1, 1, 2, 2, 2, 3, 3, 3}; | |
324 | |
325 IntSet cont(MakeInputIterator(std::begin(input_vals)), | |
326 MakeInputIterator(std::end(input_vals))); | |
327 ExpectRange(cont, {1, 2, 3}); | |
328 } | |
329 { | |
330 SetWithStrangeCompare::value_type input_vals[] = {1, 1, 1, 2, 2, | |
331 2, 3, 3, 3}; | |
332 | |
333 SetWithStrangeCompare cont(MakeInputIterator(std::begin(input_vals)), | |
334 MakeInputIterator(std::end(input_vals)), | |
335 NonDefaultConstructibleCompare(0)); | |
336 ExpectRange(cont, {1, 2, 3}); | |
337 } | |
338 } | |
339 | |
340 // flat_set(const flat_set& x) | |
341 | |
342 TEST(FlatSet, CopyConstructor) { | |
343 IntSet original{1, 2, 3, 4}; | |
344 IntSet copied(original); | |
345 | |
346 ExpectRange(copied, {1, 2, 3, 4}); | |
347 ExpectRange(original, {1, 2, 3, 4}); | |
348 EXPECT_EQ(original, copied); | |
349 } | |
350 | |
351 // flat_set(flat_set&& x) | |
352 | |
353 TEST(FlatSet, MoveConstructor) { | |
354 int input_range[] = {1, 2, 3, 4}; | |
355 | |
356 MoveOnlySet original(std::begin(input_range), std::end(input_range)); | |
357 MoveOnlySet moved(std::move(original)); | |
358 | |
359 ExpectRange(moved, {1, 2, 3, 4}); | |
360 } | |
361 | |
362 // flat_set(std::initializer_list<value_type> ilist, | |
363 // const Compare& comp = Compare()) | |
364 | |
365 TEST(FlatSet, InitializerListConstructor) { | |
366 { | |
367 IntSet cont{1, 2, 3, 4, 5, 6, 10, 8}; | |
368 ExpectRange(cont, {1, 2, 3, 4, 5, 6, 8, 10}); | |
369 } | |
370 { | |
371 SetWithStrangeCompare cont({1, 2, 3, 4, 5, 6, 10, 8}, | |
372 NonDefaultConstructibleCompare(0)); | |
373 ExpectRange(cont, {1, 2, 3, 4, 5, 6, 8, 10}); | |
374 } | |
375 } | |
376 | |
377 // ---------------------------------------------------------------------------- | |
378 // Assignments. | |
379 | |
380 // flat_set& operator=(const flat_set&) | |
381 | |
382 TEST(FlatSet, CopyAssignable) { | |
383 IntSet original{1, 2, 3, 4}; | |
384 IntSet copied; | |
385 copied = original; | |
386 | |
387 ExpectRange(copied, {1, 2, 3, 4}); | |
388 ExpectRange(original, {1, 2, 3, 4}); | |
389 EXPECT_EQ(original, copied); | |
390 } | |
391 | |
392 // flat_set& operator=(flat_set&&) | |
393 | |
394 TEST(FlatSet, MoveAssignable) { | |
395 int input_range[] = {1, 2, 3, 4}; | |
396 | |
397 MoveOnlySet original(std::begin(input_range), std::end(input_range)); | |
398 MoveOnlySet moved; | |
399 moved = std::move(original); | |
400 | |
401 ExpectRange(moved, {1, 2, 3, 4}); | |
402 } | |
403 | |
404 // flat_set& operator=(std::initializer_list<value_type> ilist) | |
405 | |
406 TEST(FlatSet, InitializerListAssignable) { | |
407 IntSet cont{0}; | |
408 cont = {1, 2, 3, 4, 5, 6, 10, 8}; | |
409 | |
410 EXPECT_EQ(0U, cont.count(0)); | |
411 ExpectRange(cont, {1, 2, 3, 4, 5, 6, 8, 10}); | |
412 } | |
413 | |
414 // -------------------------------------------------------------------------- | |
415 // Memory management. | |
416 | |
417 // void reserve(size_type new_capacity) | |
418 | |
419 TEST(FlatSet, Reserve) { | |
420 IntSet cont{1, 2, 3}; | |
421 | |
422 cont.reserve(5); | |
423 EXPECT_LE(5U, cont.capacity()); | |
424 } | |
425 | |
426 // size_type capacity() const | |
427 | |
428 TEST(FlatSet, Capacity) { | |
429 IntSet cont{1, 2, 3}; | |
430 | |
431 EXPECT_LE(cont.size(), cont.capacity()); | |
432 cont.reserve(5); | |
433 EXPECT_LE(cont.size(), cont.capacity()); | |
434 } | |
435 | |
436 // void shrink_to_fit() | |
437 | |
438 TEST(FlatSet, ShrinkToFit) { | |
439 IntSet cont{1, 2, 3}; | |
440 | |
441 IntSet::size_type capacity_before = cont.capacity(); | |
442 cont.shrink_to_fit(); | |
443 EXPECT_GE(capacity_before, cont.capacity()); | |
444 } | |
445 | |
446 // ---------------------------------------------------------------------------- | |
447 // Size management. | |
448 | |
449 // void clear(); | |
450 | |
451 TEST(FlatSet, Clear) { | |
452 IntSet cont{1, 2, 3, 4, 5, 6, 7, 8}; | |
453 cont.clear(); | |
454 ExpectRange(cont, {}); | |
455 } | |
456 | |
457 // size_type size() const; | |
458 | |
459 TEST(FlatSet, Size) { | |
460 IntSet cont; | |
461 | |
462 EXPECT_EQ(0U, cont.size()); | |
463 cont.insert(2); | |
464 EXPECT_EQ(1U, cont.size()); | |
465 cont.insert(1); | |
466 EXPECT_EQ(2U, cont.size()); | |
467 cont.insert(3); | |
468 EXPECT_EQ(3U, cont.size()); | |
469 cont.erase(cont.begin()); | |
470 EXPECT_EQ(2U, cont.size()); | |
471 cont.erase(cont.begin()); | |
472 EXPECT_EQ(1U, cont.size()); | |
473 cont.erase(cont.begin()); | |
474 EXPECT_EQ(0U, cont.size()); | |
475 } | |
476 | |
477 // bool empty() const; | |
478 | |
479 TEST(FlatSet, Empty) { | |
480 IntSet cont; | |
481 | |
482 EXPECT_TRUE(cont.empty()); | |
483 cont.insert(1); | |
484 EXPECT_FALSE(cont.empty()); | |
485 cont.clear(); | |
486 EXPECT_TRUE(cont.empty()); | |
487 } | |
488 | |
489 // ---------------------------------------------------------------------------- | |
490 // Iterators. | |
491 | |
492 // iterator begin(); | |
493 // const_iterator begin() const; | |
494 // iterator end(); | |
495 // const_iterator end() const; | |
496 // | |
497 // reverse_iterator rbegin(); | |
498 // const_reverse_iterator rbegin() const; | |
499 // reverse_iterator rend(); | |
500 // const_reverse_iterator rend() const; | |
501 // | |
502 // const_iterator cbegin() const; | |
503 // const_iterator cend() const; | |
504 // const_reverse_iterator crbegin() const; | |
505 // const_reverse_iterator crend() const; | |
506 | |
507 TEST(FlatSet, Iterators) { | |
508 IntSet cont{1, 2, 3, 4, 5, 6, 7, 8}; | |
509 | |
510 auto size = static_cast<IntSet::difference_type>(cont.size()); | |
511 | |
512 EXPECT_EQ(size, std::distance(cont.begin(), cont.end())); | |
513 EXPECT_EQ(size, std::distance(cont.cbegin(), cont.cend())); | |
514 EXPECT_EQ(size, std::distance(cont.rbegin(), cont.rend())); | |
515 EXPECT_EQ(size, std::distance(cont.crbegin(), cont.crend())); | |
516 | |
517 { | |
518 IntSet::iterator it = cont.begin(); | |
519 IntSet::const_iterator c_it = cont.cbegin(); | |
520 EXPECT_EQ(it, c_it); | |
521 for (int j = 1; it != cont.end(); ++it, ++c_it, ++j) { | |
522 EXPECT_EQ(j, *it); | |
523 EXPECT_EQ(j, *c_it); | |
524 } | |
525 } | |
526 { | |
527 IntSet::reverse_iterator rit = cont.rbegin(); | |
528 IntSet::const_reverse_iterator c_rit = cont.crbegin(); | |
529 EXPECT_EQ(rit, c_rit); | |
530 for (int j = static_cast<int>(size); rit != cont.rend(); | |
531 ++rit, ++c_rit, --j) { | |
532 EXPECT_EQ(j, *rit); | |
533 EXPECT_EQ(j, *c_rit); | |
534 } | |
535 } | |
536 } | |
537 | |
538 // ---------------------------------------------------------------------------- | |
539 // Insert operations. | |
540 | |
541 // pair<iterator, bool> insert(const value_type& val); | |
542 | |
543 TEST(FlatSet, InsertCV) { | |
544 IntSet cont; | |
545 | |
546 int value = 2; | |
547 std::pair<IntSet::iterator, bool> result = cont.insert(value); | |
548 EXPECT_TRUE(result.second); | |
549 EXPECT_EQ(cont.begin(), result.first); | |
550 EXPECT_EQ(1U, cont.size()); | |
551 EXPECT_EQ(2, *result.first); | |
552 | |
553 value = 1; | |
554 result = cont.insert(value); | |
555 EXPECT_TRUE(result.second); | |
556 EXPECT_EQ(cont.begin(), result.first); | |
557 EXPECT_EQ(2U, cont.size()); | |
558 EXPECT_EQ(1, *result.first); | |
559 | |
560 value = 3; | |
561 result = cont.insert(value); | |
562 EXPECT_TRUE(result.second); | |
563 EXPECT_EQ(std::prev(cont.end()), result.first); | |
564 EXPECT_EQ(3U, cont.size()); | |
565 EXPECT_EQ(3, *result.first); | |
566 | |
567 value = 3; | |
568 result = cont.insert(value); | |
569 EXPECT_FALSE(result.second); | |
570 EXPECT_EQ(std::prev(cont.end()), result.first); | |
571 EXPECT_EQ(3U, cont.size()); | |
572 EXPECT_EQ(3, *result.first); | |
573 } | |
574 | |
575 // pair<iterator, bool> insert(value_type&& val); | |
576 | |
577 TEST(FlatSet, InsertRV) { | |
578 MoveOnlySet cont; | |
579 | |
580 std::pair<MoveOnlySet::iterator, bool> result = cont.insert(MoveOnly(2)); | |
581 EXPECT_TRUE(result.second); | |
582 EXPECT_EQ(cont.begin(), result.first); | |
583 EXPECT_EQ(1U, cont.size()); | |
584 EXPECT_EQ(2, *result.first); | |
585 | |
586 result = cont.insert(MoveOnly(1)); | |
587 EXPECT_TRUE(result.second); | |
588 EXPECT_EQ(cont.begin(), result.first); | |
589 EXPECT_EQ(2U, cont.size()); | |
590 EXPECT_EQ(1, *result.first); | |
591 | |
592 result = cont.insert(MoveOnly(3)); | |
593 EXPECT_TRUE(result.second); | |
594 EXPECT_EQ(std::prev(cont.end()), result.first); | |
595 EXPECT_EQ(3U, cont.size()); | |
596 EXPECT_EQ(3, *result.first); | |
597 | |
598 result = cont.insert(MoveOnly(3)); | |
599 EXPECT_FALSE(result.second); | |
600 EXPECT_EQ(std::prev(cont.end()), result.first); | |
601 EXPECT_EQ(3U, cont.size()); | |
602 EXPECT_EQ(3, *result.first); | |
603 } | |
604 | |
605 // iterator insert(const_iterator position_hint, const value_type& val); | |
606 | |
607 TEST(FlatSet, InsertIterCV) { | |
danakj
2017/02/03 20:30:49
no acronyms please, write out what CV means, same
dyaroshev
2017/02/04 00:59:16
I changed it somehow. Works for you?
| |
608 IntSet cont; | |
609 | |
610 IntSet::iterator result = cont.insert(cont.cend(), 2); | |
611 EXPECT_EQ(cont.begin(), result); | |
612 EXPECT_EQ(1U, cont.size()); | |
613 EXPECT_EQ(2, *result); | |
614 | |
615 result = cont.insert(cont.cend(), 1); | |
616 EXPECT_EQ(cont.begin(), result); | |
617 EXPECT_EQ(2U, cont.size()); | |
618 EXPECT_EQ(1, *result); | |
619 | |
620 result = cont.insert(cont.cend(), 3); | |
621 EXPECT_EQ(std::prev(cont.end()), result); | |
622 EXPECT_EQ(3U, cont.size()); | |
623 EXPECT_EQ(3, *result); | |
624 | |
625 result = cont.insert(cont.cend(), 3); | |
626 EXPECT_EQ(std::prev(cont.end()), result); | |
627 EXPECT_EQ(3U, cont.size()); | |
628 EXPECT_EQ(3, *result); | |
629 } | |
630 | |
631 // iterator insert(const_iterator position_hint, value_type&& val); | |
632 | |
633 TEST(FlatSet, InsertIterRV) { | |
634 MoveOnlySet cont; | |
635 | |
636 MoveOnlySet::iterator result = cont.insert(cont.cend(), MoveOnly(2)); | |
637 EXPECT_EQ(cont.begin(), result); | |
638 EXPECT_EQ(1U, cont.size()); | |
639 EXPECT_EQ(2, *result); | |
640 | |
641 result = cont.insert(cont.cend(), MoveOnly(1)); | |
642 EXPECT_EQ(cont.begin(), result); | |
643 EXPECT_EQ(2U, cont.size()); | |
644 EXPECT_EQ(1, *result); | |
645 | |
646 result = cont.insert(cont.cend(), MoveOnly(3)); | |
647 EXPECT_EQ(std::prev(cont.end()), result); | |
648 EXPECT_EQ(3U, cont.size()); | |
649 EXPECT_EQ(3, *result); | |
650 | |
651 result = cont.insert(cont.cend(), MoveOnly(3)); | |
652 EXPECT_EQ(std::prev(cont.end()), result); | |
653 EXPECT_EQ(3U, cont.size()); | |
654 EXPECT_EQ(3, *result); | |
655 } | |
656 | |
657 // template <class... Args> | |
658 // pair<iterator, bool> emplace(Args&&... args); | |
659 | |
660 TEST(FlatSet, Emplace) { | |
661 { | |
662 EmplaceableSet cont; | |
663 | |
664 std::pair<EmplaceableSet::iterator, bool> result = cont.emplace(); | |
665 EXPECT_TRUE(result.second); | |
666 EXPECT_EQ(cont.begin(), result.first); | |
667 EXPECT_EQ(1U, cont.size()); | |
668 EXPECT_EQ(Emplaceable(), *cont.begin()); | |
669 | |
670 result = cont.emplace(2, 3.5); | |
671 EXPECT_TRUE(result.second); | |
672 EXPECT_EQ(std::next(cont.begin()), result.first); | |
673 EXPECT_EQ(2U, cont.size()); | |
674 EXPECT_EQ(Emplaceable(2, 3.5), *result.first); | |
675 | |
676 result = cont.emplace(2, 3.5); | |
677 EXPECT_FALSE(result.second); | |
678 EXPECT_EQ(std::next(cont.begin()), result.first); | |
679 EXPECT_EQ(2U, cont.size()); | |
680 EXPECT_EQ(Emplaceable(2, 3.5), *result.first); | |
681 } | |
682 { | |
683 IntSet cont; | |
684 | |
685 std::pair<IntSet::iterator, bool> result = cont.emplace(2); | |
686 EXPECT_TRUE(result.second); | |
687 EXPECT_EQ(cont.begin(), result.first); | |
688 EXPECT_EQ(1U, cont.size()); | |
689 EXPECT_EQ(2, *result.first); | |
690 } | |
691 } | |
692 | |
693 // template <class... Args> | |
694 // iterator emplace_hint(const_iterator position_hint, Args&&... args); | |
695 | |
696 TEST(FlatSet, EmplaceHint) { | |
697 { | |
698 EmplaceableSet cont; | |
699 | |
700 EmplaceableSet::iterator result = cont.emplace_hint(cont.cend()); | |
701 EXPECT_EQ(cont.begin(), result); | |
702 EXPECT_EQ(1U, cont.size()); | |
703 EXPECT_EQ(Emplaceable(), *cont.begin()); | |
704 | |
705 result = cont.emplace_hint(cont.cend(), 2, 3.5); | |
706 EXPECT_EQ(std::next(cont.begin()), result); | |
707 EXPECT_EQ(2U, cont.size()); | |
708 EXPECT_EQ(Emplaceable(2, 3.5), *result); | |
709 | |
710 result = cont.emplace_hint(cont.cbegin(), 2, 3.5); | |
711 EXPECT_EQ(std::next(cont.begin()), result); | |
712 EXPECT_EQ(2U, cont.size()); | |
713 EXPECT_EQ(Emplaceable(2, 3.5), *result); | |
714 } | |
715 { | |
716 IntSet cont; | |
717 | |
718 IntSet::iterator result = cont.emplace_hint(cont.cend(), 2); | |
719 EXPECT_EQ(cont.begin(), result); | |
720 EXPECT_EQ(1U, cont.size()); | |
721 EXPECT_EQ(2, *result); | |
722 } | |
723 } | |
724 | |
725 // ---------------------------------------------------------------------------- | |
726 // Erase operations. | |
727 | |
728 // iterator erase(const_iterator position_hint); | |
729 | |
730 TEST(FlatSet, EraseCIter) { | |
danakj
2017/02/03 20:30:49
write out what C is
dyaroshev
2017/02/04 00:59:16
Done.
| |
731 IntSet cont{1, 2, 3, 4, 5, 6, 7, 8}; | |
732 | |
733 IntSet::iterator it = cont.erase(std::next(cont.cbegin(), 3)); | |
734 EXPECT_EQ(std::next(cont.begin(), 3), it); | |
735 ExpectRange(cont, {1, 2, 3, 5, 6, 7, 8}); | |
736 | |
737 it = cont.erase(std::next(cont.cbegin(), 0)); | |
738 EXPECT_EQ(cont.begin(), it); | |
739 ExpectRange(cont, {2, 3, 5, 6, 7, 8}); | |
740 | |
741 it = cont.erase(std::next(cont.cbegin(), 5)); | |
742 EXPECT_EQ(cont.end(), it); | |
743 ExpectRange(cont, {2, 3, 5, 6, 7}); | |
744 | |
745 it = cont.erase(std::next(cont.cbegin(), 1)); | |
746 EXPECT_EQ(std::next(cont.begin()), it); | |
747 ExpectRange(cont, {2, 5, 6, 7}); | |
748 | |
749 it = cont.erase(std::next(cont.cbegin(), 2)); | |
750 EXPECT_EQ(std::next(cont.begin(), 2), it); | |
751 ExpectRange(cont, {2, 5, 7}); | |
752 | |
753 it = cont.erase(std::next(cont.cbegin(), 2)); | |
754 EXPECT_EQ(std::next(cont.begin(), 2), it); | |
755 ExpectRange(cont, {2, 5}); | |
756 | |
757 it = cont.erase(std::next(cont.cbegin(), 0)); | |
758 EXPECT_EQ(std::next(cont.begin(), 0), it); | |
759 ExpectRange(cont, {5}); | |
760 | |
761 it = cont.erase(cont.cbegin()); | |
762 EXPECT_EQ(cont.begin(), it); | |
763 EXPECT_EQ(cont.end(), it); | |
764 } | |
765 | |
766 // iterator erase(const_iterator first, const_iterator last); | |
767 | |
768 TEST(FlatSet, EraseCIterCIter) { | |
769 IntSet cont{1, 2, 3, 4, 5, 6, 7, 8}; | |
770 | |
771 IntSet::iterator it = | |
772 cont.erase(std::next(cont.cbegin(), 5), std::next(cont.cbegin(), 5)); | |
773 EXPECT_EQ(std::next(cont.begin(), 5), it); | |
774 ExpectRange(cont, {1, 2, 3, 4, 5, 6, 7, 8}); | |
775 | |
776 it = cont.erase(std::next(cont.cbegin(), 3), std::next(cont.cbegin(), 4)); | |
777 EXPECT_EQ(std::next(cont.begin(), 3), it); | |
778 ExpectRange(cont, {1, 2, 3, 5, 6, 7, 8}); | |
779 | |
780 it = cont.erase(std::next(cont.cbegin(), 2), std::next(cont.cbegin(), 5)); | |
781 EXPECT_EQ(std::next(cont.begin(), 2), it); | |
782 ExpectRange(cont, {1, 2, 7, 8}); | |
783 | |
784 it = cont.erase(std::next(cont.cbegin(), 0), std::next(cont.cbegin(), 2)); | |
785 EXPECT_EQ(std::next(cont.begin(), 0), it); | |
786 ExpectRange(cont, {7, 8}); | |
787 | |
788 it = cont.erase(cont.cbegin(), cont.cend()); | |
789 EXPECT_EQ(cont.begin(), it); | |
790 EXPECT_EQ(cont.end(), it); | |
791 } | |
792 | |
793 // size_type erase(const key_type& key); | |
794 | |
795 TEST(FlatSet, EraseKey) { | |
796 IntSet cont{1, 2, 3, 4, 5, 6, 7, 8}; | |
797 | |
798 EXPECT_EQ(0U, cont.erase(9)); | |
799 ExpectRange(cont, {1, 2, 3, 4, 5, 6, 7, 8}); | |
800 | |
801 EXPECT_EQ(1U, cont.erase(4)); | |
802 ExpectRange(cont, {1, 2, 3, 5, 6, 7, 8}); | |
803 | |
804 EXPECT_EQ(1U, cont.erase(1)); | |
805 ExpectRange(cont, {2, 3, 5, 6, 7, 8}); | |
806 | |
807 EXPECT_EQ(1U, cont.erase(8)); | |
808 ExpectRange(cont, {2, 3, 5, 6, 7}); | |
809 | |
810 EXPECT_EQ(1U, cont.erase(3)); | |
811 ExpectRange(cont, {2, 5, 6, 7}); | |
812 | |
813 EXPECT_EQ(1U, cont.erase(6)); | |
814 ExpectRange(cont, {2, 5, 7}); | |
815 | |
816 EXPECT_EQ(1U, cont.erase(7)); | |
817 ExpectRange(cont, {2, 5}); | |
818 | |
819 EXPECT_EQ(1U, cont.erase(2)); | |
820 ExpectRange(cont, {5}); | |
821 | |
822 EXPECT_EQ(1U, cont.erase(5)); | |
823 ExpectRange(cont, {}); | |
824 } | |
825 | |
826 // ---------------------------------------------------------------------------- | |
827 // Comparators. | |
828 | |
829 // key_compare key_comp() const | |
830 | |
831 TEST(FlatSet, KeyComp) { | |
832 ReversedSet cont{1, 2, 3, 4, 5}; | |
833 | |
834 EXPECT_TRUE(std::is_sorted(cont.begin(), cont.end(), cont.key_comp())); | |
835 int new_elements[] = {6, 7, 8, 9, 10}; | |
836 std::copy(std::begin(new_elements), std::end(new_elements), | |
837 std::inserter(cont, cont.end())); | |
838 EXPECT_TRUE(std::is_sorted(cont.begin(), cont.end(), cont.key_comp())); | |
839 } | |
840 | |
841 // value_compare value_comp() const | |
842 | |
843 TEST(FlatSet, ValueComp) { | |
844 ReversedSet cont{1, 2, 3, 4, 5}; | |
845 | |
846 EXPECT_TRUE(std::is_sorted(cont.begin(), cont.end(), cont.value_comp())); | |
847 int new_elements[] = {6, 7, 8, 9, 10}; | |
848 std::copy(std::begin(new_elements), std::end(new_elements), | |
849 std::inserter(cont, cont.end())); | |
850 EXPECT_TRUE(std::is_sorted(cont.begin(), cont.end(), cont.value_comp())); | |
851 } | |
852 | |
853 // ---------------------------------------------------------------------------- | |
854 // Search operations. | |
855 | |
856 // size_type count(const key_type& key) const; | |
857 | |
858 TEST(FlatSet, Count) { | |
859 { | |
860 const IntSet cont{5, 6, 7, 8, 9, 10, 11, 12}; | |
861 | |
862 EXPECT_EQ(1U, cont.count(5)); | |
863 EXPECT_EQ(1U, cont.count(6)); | |
864 EXPECT_EQ(1U, cont.count(7)); | |
865 EXPECT_EQ(1U, cont.count(8)); | |
866 EXPECT_EQ(1U, cont.count(9)); | |
867 EXPECT_EQ(1U, cont.count(10)); | |
868 EXPECT_EQ(1U, cont.count(11)); | |
869 EXPECT_EQ(1U, cont.count(12)); | |
870 EXPECT_EQ(0U, cont.count(4)); | |
871 } | |
872 { | |
873 const SetWithLess cont{5, 6, 7, 8, 9, 10, 11, 12}; | |
874 | |
875 EXPECT_EQ(1U, cont.count(5)); | |
876 EXPECT_EQ(1U, cont.count(6)); | |
877 EXPECT_EQ(1U, cont.count(7)); | |
878 EXPECT_EQ(1U, cont.count(8)); | |
879 EXPECT_EQ(1U, cont.count(9)); | |
880 EXPECT_EQ(1U, cont.count(10)); | |
881 EXPECT_EQ(1U, cont.count(11)); | |
882 EXPECT_EQ(1U, cont.count(12)); | |
883 EXPECT_EQ(0U, cont.count(4)); | |
884 } | |
885 } | |
886 | |
887 // iterator find(const key_type& key); | |
888 // const_iterator find(const key_type& key) const; | |
889 | |
890 TEST(FlatSet, Find) { | |
891 { | |
892 IntSet cont{5, 6, 7, 8, 9, 10, 11, 12}; | |
893 | |
894 EXPECT_EQ(cont.begin(), cont.find(5)); | |
895 EXPECT_EQ(std::next(cont.begin()), cont.find(6)); | |
896 EXPECT_EQ(std::next(cont.begin(), 2), cont.find(7)); | |
897 EXPECT_EQ(std::next(cont.begin(), 3), cont.find(8)); | |
898 EXPECT_EQ(std::next(cont.begin(), 4), cont.find(9)); | |
899 EXPECT_EQ(std::next(cont.begin(), 5), cont.find(10)); | |
900 EXPECT_EQ(std::next(cont.begin(), 6), cont.find(11)); | |
901 EXPECT_EQ(std::next(cont.begin(), 7), cont.find(12)); | |
902 EXPECT_EQ(std::next(cont.begin(), 8), cont.find(4)); | |
903 } | |
904 { | |
905 const IntSet cont{5, 6, 7, 8, 9, 10, 11, 12}; | |
906 | |
907 EXPECT_EQ(cont.begin(), cont.find(5)); | |
908 EXPECT_EQ(std::next(cont.begin()), cont.find(6)); | |
909 EXPECT_EQ(std::next(cont.begin(), 2), cont.find(7)); | |
910 EXPECT_EQ(std::next(cont.begin(), 3), cont.find(8)); | |
911 EXPECT_EQ(std::next(cont.begin(), 4), cont.find(9)); | |
912 EXPECT_EQ(std::next(cont.begin(), 5), cont.find(10)); | |
913 EXPECT_EQ(std::next(cont.begin(), 6), cont.find(11)); | |
914 EXPECT_EQ(std::next(cont.begin(), 7), cont.find(12)); | |
915 EXPECT_EQ(std::next(cont.begin(), 8), cont.find(4)); | |
916 } | |
917 { | |
918 SetWithLess cont{5, 6, 7, 8, 9, 10, 11, 12}; | |
919 | |
920 EXPECT_EQ(cont.begin(), cont.find(5)); | |
921 EXPECT_EQ(std::next(cont.begin()), cont.find(6)); | |
922 EXPECT_EQ(std::next(cont.begin(), 2), cont.find(7)); | |
923 EXPECT_EQ(std::next(cont.begin(), 3), cont.find(8)); | |
924 EXPECT_EQ(std::next(cont.begin(), 4), cont.find(9)); | |
925 EXPECT_EQ(std::next(cont.begin(), 5), cont.find(10)); | |
926 EXPECT_EQ(std::next(cont.begin(), 6), cont.find(11)); | |
927 EXPECT_EQ(std::next(cont.begin(), 7), cont.find(12)); | |
928 EXPECT_EQ(std::next(cont.begin(), 8), cont.find(4)); | |
929 } | |
930 } | |
931 | |
932 // pair<iterator,iterator> equal_range(const key_type& key); | |
933 // pair<const_iterator,const_iterator> equal_range(const key_type& key) const; | |
934 | |
935 TEST(FlatSet, EqualRange) { | |
936 { | |
937 IntSet cont{5, 7, 9, 11, 13, 15, 17, 19}; | |
938 | |
939 std::pair<IntSet::iterator, IntSet::iterator> result = cont.equal_range(5); | |
940 EXPECT_EQ(std::next(cont.begin(), 0), result.first); | |
941 EXPECT_EQ(std::next(cont.begin(), 1), result.second); | |
942 result = cont.equal_range(7); | |
943 EXPECT_EQ(std::next(cont.begin(), 1), result.first); | |
944 EXPECT_EQ(std::next(cont.begin(), 2), result.second); | |
945 result = cont.equal_range(9); | |
946 EXPECT_EQ(std::next(cont.begin(), 2), result.first); | |
947 EXPECT_EQ(std::next(cont.begin(), 3), result.second); | |
948 result = cont.equal_range(11); | |
949 EXPECT_EQ(std::next(cont.begin(), 3), result.first); | |
950 EXPECT_EQ(std::next(cont.begin(), 4), result.second); | |
951 result = cont.equal_range(13); | |
952 EXPECT_EQ(std::next(cont.begin(), 4), result.first); | |
953 EXPECT_EQ(std::next(cont.begin(), 5), result.second); | |
954 result = cont.equal_range(15); | |
955 EXPECT_EQ(std::next(cont.begin(), 5), result.first); | |
956 EXPECT_EQ(std::next(cont.begin(), 6), result.second); | |
957 result = cont.equal_range(17); | |
958 EXPECT_EQ(std::next(cont.begin(), 6), result.first); | |
959 EXPECT_EQ(std::next(cont.begin(), 7), result.second); | |
960 result = cont.equal_range(19); | |
961 EXPECT_EQ(std::next(cont.begin(), 7), result.first); | |
962 EXPECT_EQ(std::next(cont.begin(), 8), result.second); | |
963 result = cont.equal_range(4); | |
964 EXPECT_EQ(std::next(cont.begin(), 0), result.first); | |
965 EXPECT_EQ(std::next(cont.begin(), 0), result.second); | |
966 result = cont.equal_range(6); | |
967 EXPECT_EQ(std::next(cont.begin(), 1), result.first); | |
968 EXPECT_EQ(std::next(cont.begin(), 1), result.second); | |
969 result = cont.equal_range(8); | |
970 EXPECT_EQ(std::next(cont.begin(), 2), result.first); | |
971 EXPECT_EQ(std::next(cont.begin(), 2), result.second); | |
972 result = cont.equal_range(10); | |
973 EXPECT_EQ(std::next(cont.begin(), 3), result.first); | |
974 EXPECT_EQ(std::next(cont.begin(), 3), result.second); | |
975 result = cont.equal_range(12); | |
976 EXPECT_EQ(std::next(cont.begin(), 4), result.first); | |
977 EXPECT_EQ(std::next(cont.begin(), 4), result.second); | |
978 result = cont.equal_range(14); | |
979 EXPECT_EQ(std::next(cont.begin(), 5), result.first); | |
980 EXPECT_EQ(std::next(cont.begin(), 5), result.second); | |
981 result = cont.equal_range(16); | |
982 EXPECT_EQ(std::next(cont.begin(), 6), result.first); | |
983 EXPECT_EQ(std::next(cont.begin(), 6), result.second); | |
984 result = cont.equal_range(18); | |
985 EXPECT_EQ(std::next(cont.begin(), 7), result.first); | |
986 EXPECT_EQ(std::next(cont.begin(), 7), result.second); | |
987 result = cont.equal_range(20); | |
988 EXPECT_EQ(std::next(cont.begin(), 8), result.first); | |
989 EXPECT_EQ(std::next(cont.begin(), 8), result.second); | |
990 } | |
991 { | |
992 const IntSet cont{5, 7, 9, 11, 13, 15, 17, 19}; | |
993 | |
994 std::pair<IntSet::const_iterator, IntSet::const_iterator> result = | |
995 cont.equal_range(5); | |
996 EXPECT_EQ(std::next(cont.begin(), 0), result.first); | |
997 EXPECT_EQ(std::next(cont.begin(), 1), result.second); | |
998 result = cont.equal_range(7); | |
999 EXPECT_EQ(std::next(cont.begin(), 1), result.first); | |
1000 EXPECT_EQ(std::next(cont.begin(), 2), result.second); | |
1001 result = cont.equal_range(9); | |
1002 EXPECT_EQ(std::next(cont.begin(), 2), result.first); | |
1003 EXPECT_EQ(std::next(cont.begin(), 3), result.second); | |
1004 result = cont.equal_range(11); | |
1005 EXPECT_EQ(std::next(cont.begin(), 3), result.first); | |
1006 EXPECT_EQ(std::next(cont.begin(), 4), result.second); | |
1007 result = cont.equal_range(13); | |
1008 EXPECT_EQ(std::next(cont.begin(), 4), result.first); | |
1009 EXPECT_EQ(std::next(cont.begin(), 5), result.second); | |
1010 result = cont.equal_range(15); | |
1011 EXPECT_EQ(std::next(cont.begin(), 5), result.first); | |
1012 EXPECT_EQ(std::next(cont.begin(), 6), result.second); | |
1013 result = cont.equal_range(17); | |
1014 EXPECT_EQ(std::next(cont.begin(), 6), result.first); | |
1015 EXPECT_EQ(std::next(cont.begin(), 7), result.second); | |
1016 result = cont.equal_range(19); | |
1017 EXPECT_EQ(std::next(cont.begin(), 7), result.first); | |
1018 EXPECT_EQ(std::next(cont.begin(), 8), result.second); | |
1019 result = cont.equal_range(4); | |
1020 EXPECT_EQ(std::next(cont.begin(), 0), result.first); | |
1021 EXPECT_EQ(std::next(cont.begin(), 0), result.second); | |
1022 result = cont.equal_range(6); | |
1023 EXPECT_EQ(std::next(cont.begin(), 1), result.first); | |
1024 EXPECT_EQ(std::next(cont.begin(), 1), result.second); | |
1025 result = cont.equal_range(8); | |
1026 EXPECT_EQ(std::next(cont.begin(), 2), result.first); | |
1027 EXPECT_EQ(std::next(cont.begin(), 2), result.second); | |
1028 result = cont.equal_range(10); | |
1029 EXPECT_EQ(std::next(cont.begin(), 3), result.first); | |
1030 EXPECT_EQ(std::next(cont.begin(), 3), result.second); | |
1031 result = cont.equal_range(12); | |
1032 EXPECT_EQ(std::next(cont.begin(), 4), result.first); | |
1033 EXPECT_EQ(std::next(cont.begin(), 4), result.second); | |
1034 result = cont.equal_range(14); | |
1035 EXPECT_EQ(std::next(cont.begin(), 5), result.first); | |
1036 EXPECT_EQ(std::next(cont.begin(), 5), result.second); | |
1037 result = cont.equal_range(16); | |
1038 EXPECT_EQ(std::next(cont.begin(), 6), result.first); | |
1039 EXPECT_EQ(std::next(cont.begin(), 6), result.second); | |
1040 result = cont.equal_range(18); | |
1041 EXPECT_EQ(std::next(cont.begin(), 7), result.first); | |
1042 EXPECT_EQ(std::next(cont.begin(), 7), result.second); | |
1043 result = cont.equal_range(20); | |
1044 EXPECT_EQ(std::next(cont.begin(), 8), result.first); | |
1045 EXPECT_EQ(std::next(cont.begin(), 8), result.second); | |
1046 } | |
1047 { | |
1048 SetWithLess cont{5, 7, 9, 11, 13, 15, 17, 19}; | |
1049 | |
1050 std::pair<SetWithLess::iterator, SetWithLess::iterator> result = | |
1051 cont.equal_range(5); | |
1052 EXPECT_EQ(std::next(cont.begin(), 0), result.first); | |
1053 EXPECT_EQ(std::next(cont.begin(), 1), result.second); | |
1054 result = cont.equal_range(7); | |
1055 EXPECT_EQ(std::next(cont.begin(), 1), result.first); | |
1056 EXPECT_EQ(std::next(cont.begin(), 2), result.second); | |
1057 result = cont.equal_range(9); | |
1058 EXPECT_EQ(std::next(cont.begin(), 2), result.first); | |
1059 EXPECT_EQ(std::next(cont.begin(), 3), result.second); | |
1060 result = cont.equal_range(11); | |
1061 EXPECT_EQ(std::next(cont.begin(), 3), result.first); | |
1062 EXPECT_EQ(std::next(cont.begin(), 4), result.second); | |
1063 result = cont.equal_range(13); | |
1064 EXPECT_EQ(std::next(cont.begin(), 4), result.first); | |
1065 EXPECT_EQ(std::next(cont.begin(), 5), result.second); | |
1066 result = cont.equal_range(15); | |
1067 EXPECT_EQ(std::next(cont.begin(), 5), result.first); | |
1068 EXPECT_EQ(std::next(cont.begin(), 6), result.second); | |
1069 result = cont.equal_range(17); | |
1070 EXPECT_EQ(std::next(cont.begin(), 6), result.first); | |
1071 EXPECT_EQ(std::next(cont.begin(), 7), result.second); | |
1072 result = cont.equal_range(19); | |
1073 EXPECT_EQ(std::next(cont.begin(), 7), result.first); | |
1074 EXPECT_EQ(std::next(cont.begin(), 8), result.second); | |
1075 result = cont.equal_range(4); | |
1076 EXPECT_EQ(std::next(cont.begin(), 0), result.first); | |
1077 EXPECT_EQ(std::next(cont.begin(), 0), result.second); | |
1078 result = cont.equal_range(6); | |
1079 EXPECT_EQ(std::next(cont.begin(), 1), result.first); | |
1080 EXPECT_EQ(std::next(cont.begin(), 1), result.second); | |
1081 result = cont.equal_range(8); | |
1082 EXPECT_EQ(std::next(cont.begin(), 2), result.first); | |
1083 EXPECT_EQ(std::next(cont.begin(), 2), result.second); | |
1084 result = cont.equal_range(10); | |
1085 EXPECT_EQ(std::next(cont.begin(), 3), result.first); | |
1086 EXPECT_EQ(std::next(cont.begin(), 3), result.second); | |
1087 result = cont.equal_range(12); | |
1088 EXPECT_EQ(std::next(cont.begin(), 4), result.first); | |
1089 EXPECT_EQ(std::next(cont.begin(), 4), result.second); | |
1090 result = cont.equal_range(14); | |
1091 EXPECT_EQ(std::next(cont.begin(), 5), result.first); | |
1092 EXPECT_EQ(std::next(cont.begin(), 5), result.second); | |
1093 result = cont.equal_range(16); | |
1094 EXPECT_EQ(std::next(cont.begin(), 6), result.first); | |
1095 EXPECT_EQ(std::next(cont.begin(), 6), result.second); | |
1096 result = cont.equal_range(18); | |
1097 EXPECT_EQ(std::next(cont.begin(), 7), result.first); | |
1098 EXPECT_EQ(std::next(cont.begin(), 7), result.second); | |
1099 result = cont.equal_range(20); | |
1100 EXPECT_EQ(std::next(cont.begin(), 8), result.first); | |
1101 EXPECT_EQ(std::next(cont.begin(), 8), result.second); | |
1102 } | |
1103 } | |
1104 | |
1105 // iterator lower_bound(const key_type& key); | |
1106 // const_iterator lower_bound(const key_type& key) const; | |
1107 | |
1108 TEST(FlatSet, LowerBound) { | |
1109 { | |
1110 IntSet cont{5, 7, 9, 11, 13, 15, 17, 19}; | |
1111 | |
1112 EXPECT_EQ(cont.begin(), cont.lower_bound(5)); | |
1113 EXPECT_EQ(std::next(cont.begin()), cont.lower_bound(7)); | |
1114 EXPECT_EQ(std::next(cont.begin(), 2), cont.lower_bound(9)); | |
1115 EXPECT_EQ(std::next(cont.begin(), 3), cont.lower_bound(11)); | |
1116 EXPECT_EQ(std::next(cont.begin(), 4), cont.lower_bound(13)); | |
1117 EXPECT_EQ(std::next(cont.begin(), 5), cont.lower_bound(15)); | |
1118 EXPECT_EQ(std::next(cont.begin(), 6), cont.lower_bound(17)); | |
1119 EXPECT_EQ(std::next(cont.begin(), 7), cont.lower_bound(19)); | |
1120 EXPECT_EQ(std::next(cont.begin(), 0), cont.lower_bound(4)); | |
1121 EXPECT_EQ(std::next(cont.begin(), 1), cont.lower_bound(6)); | |
1122 EXPECT_EQ(std::next(cont.begin(), 2), cont.lower_bound(8)); | |
1123 EXPECT_EQ(std::next(cont.begin(), 3), cont.lower_bound(10)); | |
1124 EXPECT_EQ(std::next(cont.begin(), 4), cont.lower_bound(12)); | |
1125 EXPECT_EQ(std::next(cont.begin(), 5), cont.lower_bound(14)); | |
1126 EXPECT_EQ(std::next(cont.begin(), 6), cont.lower_bound(16)); | |
1127 EXPECT_EQ(std::next(cont.begin(), 7), cont.lower_bound(18)); | |
1128 EXPECT_EQ(std::next(cont.begin(), 8), cont.lower_bound(20)); | |
1129 } | |
1130 { | |
1131 const IntSet cont{5, 7, 9, 11, 13, 15, 17, 19}; | |
1132 | |
1133 EXPECT_EQ(cont.begin(), cont.lower_bound(5)); | |
1134 EXPECT_EQ(std::next(cont.begin()), cont.lower_bound(7)); | |
1135 EXPECT_EQ(std::next(cont.begin(), 2), cont.lower_bound(9)); | |
1136 EXPECT_EQ(std::next(cont.begin(), 3), cont.lower_bound(11)); | |
1137 EXPECT_EQ(std::next(cont.begin(), 4), cont.lower_bound(13)); | |
1138 EXPECT_EQ(std::next(cont.begin(), 5), cont.lower_bound(15)); | |
1139 EXPECT_EQ(std::next(cont.begin(), 6), cont.lower_bound(17)); | |
1140 EXPECT_EQ(std::next(cont.begin(), 7), cont.lower_bound(19)); | |
1141 EXPECT_EQ(std::next(cont.begin(), 0), cont.lower_bound(4)); | |
1142 EXPECT_EQ(std::next(cont.begin(), 1), cont.lower_bound(6)); | |
1143 EXPECT_EQ(std::next(cont.begin(), 2), cont.lower_bound(8)); | |
1144 EXPECT_EQ(std::next(cont.begin(), 3), cont.lower_bound(10)); | |
1145 EXPECT_EQ(std::next(cont.begin(), 4), cont.lower_bound(12)); | |
1146 EXPECT_EQ(std::next(cont.begin(), 5), cont.lower_bound(14)); | |
1147 EXPECT_EQ(std::next(cont.begin(), 6), cont.lower_bound(16)); | |
1148 EXPECT_EQ(std::next(cont.begin(), 7), cont.lower_bound(18)); | |
1149 EXPECT_EQ(std::next(cont.begin(), 8), cont.lower_bound(20)); | |
1150 } | |
1151 { | |
1152 SetWithLess cont{5, 7, 9, 11, 13, 15, 17, 19}; | |
1153 | |
1154 EXPECT_EQ(cont.begin(), cont.lower_bound(5)); | |
1155 EXPECT_EQ(std::next(cont.begin()), cont.lower_bound(7)); | |
1156 EXPECT_EQ(std::next(cont.begin(), 2), cont.lower_bound(9)); | |
1157 EXPECT_EQ(std::next(cont.begin(), 3), cont.lower_bound(11)); | |
1158 EXPECT_EQ(std::next(cont.begin(), 4), cont.lower_bound(13)); | |
1159 EXPECT_EQ(std::next(cont.begin(), 5), cont.lower_bound(15)); | |
1160 EXPECT_EQ(std::next(cont.begin(), 6), cont.lower_bound(17)); | |
1161 EXPECT_EQ(std::next(cont.begin(), 7), cont.lower_bound(19)); | |
1162 EXPECT_EQ(std::next(cont.begin(), 0), cont.lower_bound(4)); | |
1163 EXPECT_EQ(std::next(cont.begin(), 1), cont.lower_bound(6)); | |
1164 EXPECT_EQ(std::next(cont.begin(), 2), cont.lower_bound(8)); | |
1165 EXPECT_EQ(std::next(cont.begin(), 3), cont.lower_bound(10)); | |
1166 EXPECT_EQ(std::next(cont.begin(), 4), cont.lower_bound(12)); | |
1167 EXPECT_EQ(std::next(cont.begin(), 5), cont.lower_bound(14)); | |
1168 EXPECT_EQ(std::next(cont.begin(), 6), cont.lower_bound(16)); | |
1169 EXPECT_EQ(std::next(cont.begin(), 7), cont.lower_bound(18)); | |
1170 EXPECT_EQ(std::next(cont.begin(), 8), cont.lower_bound(20)); | |
1171 } | |
1172 } | |
1173 | |
1174 // iterator upper_bound(const key_type& key); | |
1175 // const_iterator upper_bound(const key_type& key) const; | |
1176 | |
1177 TEST(FlatSet, UpperBound) { | |
1178 { | |
1179 IntSet cont{5, 7, 9, 11, 13, 15, 17, 19}; | |
1180 | |
1181 EXPECT_EQ(std::next(cont.begin(), 1), cont.upper_bound(5)); | |
1182 EXPECT_EQ(std::next(cont.begin(), 2), cont.upper_bound(7)); | |
1183 EXPECT_EQ(std::next(cont.begin(), 3), cont.upper_bound(9)); | |
1184 EXPECT_EQ(std::next(cont.begin(), 4), cont.upper_bound(11)); | |
1185 EXPECT_EQ(std::next(cont.begin(), 5), cont.upper_bound(13)); | |
1186 EXPECT_EQ(std::next(cont.begin(), 6), cont.upper_bound(15)); | |
1187 EXPECT_EQ(std::next(cont.begin(), 7), cont.upper_bound(17)); | |
1188 EXPECT_EQ(std::next(cont.begin(), 8), cont.upper_bound(19)); | |
1189 EXPECT_EQ(std::next(cont.begin(), 0), cont.upper_bound(4)); | |
1190 EXPECT_EQ(std::next(cont.begin(), 1), cont.upper_bound(6)); | |
1191 EXPECT_EQ(std::next(cont.begin(), 2), cont.upper_bound(8)); | |
1192 EXPECT_EQ(std::next(cont.begin(), 3), cont.upper_bound(10)); | |
1193 EXPECT_EQ(std::next(cont.begin(), 4), cont.upper_bound(12)); | |
1194 EXPECT_EQ(std::next(cont.begin(), 5), cont.upper_bound(14)); | |
1195 EXPECT_EQ(std::next(cont.begin(), 6), cont.upper_bound(16)); | |
1196 EXPECT_EQ(std::next(cont.begin(), 7), cont.upper_bound(18)); | |
1197 EXPECT_EQ(std::next(cont.begin(), 8), cont.upper_bound(20)); | |
1198 } | |
1199 { | |
1200 const IntSet cont{5, 7, 9, 11, 13, 15, 17, 19}; | |
1201 | |
1202 EXPECT_EQ(std::next(cont.begin(), 1), cont.upper_bound(5)); | |
1203 EXPECT_EQ(std::next(cont.begin(), 2), cont.upper_bound(7)); | |
1204 EXPECT_EQ(std::next(cont.begin(), 3), cont.upper_bound(9)); | |
1205 EXPECT_EQ(std::next(cont.begin(), 4), cont.upper_bound(11)); | |
1206 EXPECT_EQ(std::next(cont.begin(), 5), cont.upper_bound(13)); | |
1207 EXPECT_EQ(std::next(cont.begin(), 6), cont.upper_bound(15)); | |
1208 EXPECT_EQ(std::next(cont.begin(), 7), cont.upper_bound(17)); | |
1209 EXPECT_EQ(std::next(cont.begin(), 8), cont.upper_bound(19)); | |
1210 EXPECT_EQ(std::next(cont.begin(), 0), cont.upper_bound(4)); | |
1211 EXPECT_EQ(std::next(cont.begin(), 1), cont.upper_bound(6)); | |
1212 EXPECT_EQ(std::next(cont.begin(), 2), cont.upper_bound(8)); | |
1213 EXPECT_EQ(std::next(cont.begin(), 3), cont.upper_bound(10)); | |
1214 EXPECT_EQ(std::next(cont.begin(), 4), cont.upper_bound(12)); | |
1215 EXPECT_EQ(std::next(cont.begin(), 5), cont.upper_bound(14)); | |
1216 EXPECT_EQ(std::next(cont.begin(), 6), cont.upper_bound(16)); | |
1217 EXPECT_EQ(std::next(cont.begin(), 7), cont.upper_bound(18)); | |
1218 EXPECT_EQ(std::next(cont.begin(), 8), cont.upper_bound(20)); | |
1219 } | |
1220 { | |
1221 SetWithLess cont{5, 7, 9, 11, 13, 15, 17, 19}; | |
1222 | |
1223 EXPECT_EQ(std::next(cont.begin(), 1), cont.upper_bound(5)); | |
1224 EXPECT_EQ(std::next(cont.begin(), 2), cont.upper_bound(7)); | |
1225 EXPECT_EQ(std::next(cont.begin(), 3), cont.upper_bound(9)); | |
1226 EXPECT_EQ(std::next(cont.begin(), 4), cont.upper_bound(11)); | |
1227 EXPECT_EQ(std::next(cont.begin(), 5), cont.upper_bound(13)); | |
1228 EXPECT_EQ(std::next(cont.begin(), 6), cont.upper_bound(15)); | |
1229 EXPECT_EQ(std::next(cont.begin(), 7), cont.upper_bound(17)); | |
1230 EXPECT_EQ(std::next(cont.begin(), 8), cont.upper_bound(19)); | |
1231 EXPECT_EQ(std::next(cont.begin(), 0), cont.upper_bound(4)); | |
1232 EXPECT_EQ(std::next(cont.begin(), 1), cont.upper_bound(6)); | |
1233 EXPECT_EQ(std::next(cont.begin(), 2), cont.upper_bound(8)); | |
1234 EXPECT_EQ(std::next(cont.begin(), 3), cont.upper_bound(10)); | |
1235 EXPECT_EQ(std::next(cont.begin(), 4), cont.upper_bound(12)); | |
1236 EXPECT_EQ(std::next(cont.begin(), 5), cont.upper_bound(14)); | |
1237 EXPECT_EQ(std::next(cont.begin(), 6), cont.upper_bound(16)); | |
1238 EXPECT_EQ(std::next(cont.begin(), 7), cont.upper_bound(18)); | |
1239 EXPECT_EQ(std::next(cont.begin(), 8), cont.upper_bound(20)); | |
1240 } | |
1241 } | |
1242 | |
1243 // ---------------------------------------------------------------------------- | |
1244 // General operations. | |
1245 | |
1246 // void swap(flat_set& other) | |
1247 // void swap(flat_set& lhs, flat_set& rhs) | |
1248 | |
1249 TEST(FlatSetOurs, Swap) { | |
1250 IntSet x{1, 2, 3}; | |
1251 IntSet y{4}; | |
1252 swap(x, y); | |
1253 ExpectRange(x, {4}); | |
1254 ExpectRange(y, {1, 2, 3}); | |
1255 | |
1256 y.swap(x); | |
1257 ExpectRange(x, {1, 2, 3}); | |
1258 ExpectRange(y, {4}); | |
1259 } | |
1260 | |
1261 // bool operator==(const flat_set& lhs, const flat_set& rhs) | |
1262 // bool operator!=(const flat_set& lhs, const flat_set& rhs) | |
1263 // bool operator<(const flat_set& lhs, const flat_set& rhs) | |
1264 // bool operator>(const flat_set& lhs, const flat_set& rhs) | |
1265 // bool operator<=(const flat_set& lhs, const flat_set& rhs) | |
1266 // bool operator>=(const flat_set& lhs, const flat_set& rhs) | |
1267 | |
1268 TEST(FlatSet, Comparison) { | |
1269 // Provided comparator does not participate in comparison. | |
1270 ReversedSet biggest{3}; | |
1271 ReversedSet smallest{1}; | |
1272 ReversedSet middle{1, 2}; | |
1273 | |
1274 EXPECT_EQ(biggest, biggest); | |
1275 EXPECT_NE(biggest, smallest); | |
1276 EXPECT_LT(smallest, middle); | |
1277 EXPECT_LE(smallest, middle); | |
1278 EXPECT_LE(middle, middle); | |
1279 EXPECT_GT(biggest, middle); | |
1280 EXPECT_GE(biggest, middle); | |
1281 EXPECT_GE(biggest, biggest); | |
1282 } | |
OLD | NEW |