group_by.cpp 5.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158
  1. // Range v3 library
  2. //
  3. // Copyright Eric Niebler 2014-present
  4. //
  5. // Use, modification and distribution is subject to the
  6. // Boost Software License, Version 1.0. (See accompanying
  7. // file LICENSE_1_0.txt or copy at
  8. // http://www.boost.org/LICENSE_1_0.txt)
  9. //
  10. // Project home: https://github.com/ericniebler/range-v3
  11. #include <list>
  12. #include <vector>
  13. #include <range/v3/core.hpp>
  14. #include <range/v3/view/counted.hpp>
  15. #include <range/v3/view/cycle.hpp>
  16. #include <range/v3/view/group_by.hpp>
  17. #include <range/v3/view/remove_if.hpp>
  18. #include <range/v3/view/take.hpp>
  19. #include "../simple_test.hpp"
  20. #include "../test_utils.hpp"
  21. #include "../test_iterators.hpp"
  22. RANGES_DIAGNOSTIC_IGNORE_SIGN_CONVERSION
  23. RANGES_DIAGNOSTIC_IGNORE_DEPRECATED_DECLARATIONS
  24. int main()
  25. {
  26. using namespace ranges;
  27. using P = std::pair<int,int>;
  28. std::vector<std::pair<int, int>> v =
  29. {
  30. {1,1},
  31. {1,1},
  32. {1,2},
  33. {1,2},
  34. {1,2},
  35. {1,2},
  36. {2,2},
  37. {2,2},
  38. {2,3},
  39. {2,3},
  40. {2,3},
  41. {2,3}
  42. };
  43. {
  44. auto rng0 = v | views::group_by([](P p0, P p1) {return p0.second == p1.second;});
  45. CPP_assert(forward_range<decltype(rng0)>);
  46. CPP_assert(!bidirectional_range<decltype(rng0)>);
  47. CHECK(distance(rng0) == 3);
  48. check_equal(*rng0.begin(), {P{1,1},P{1,1}});
  49. check_equal(*next(rng0.begin()), {P{1,2},P{1,2},P{1,2},P{1,2},P{2,2},P{2,2}});
  50. check_equal(*next(rng0.begin(), 2), {P{2,3},P{2,3},P{2,3},P{2,3}});
  51. auto rng1 = v | views::group_by([](P p0, P p1) {return p0.first == p1.first;});
  52. CPP_assert(forward_range<decltype(rng1)>);
  53. CPP_assert(!bidirectional_range<decltype(rng1)>);
  54. CHECK(distance(rng1) == 2);
  55. check_equal(*rng1.begin(), {P{1,1},P{1,1},P{1,2},P{1,2},P{1,2},P{1,2}});
  56. check_equal(*next(rng1.begin()), {P{2,2},P{2,2},P{2,3},P{2,3},P{2,3},P{2,3}});
  57. }
  58. {
  59. ForwardIterator<std::vector<P>::iterator> b{v.begin()};
  60. auto rng0 = views::counted(b, v.size())
  61. | views::group_by([](P p0, P p1) {return p0.second == p1.second;});
  62. CPP_assert(forward_range<decltype(rng0)>);
  63. CPP_assert(!bidirectional_range<decltype(rng0)>);
  64. CHECK(distance(rng0) == 3);
  65. check_equal(*rng0.begin(), {P{1,1},P{1,1}});
  66. check_equal(*next(rng0.begin()), {P{1,2},P{1,2},P{1,2},P{1,2},P{2,2},P{2,2}});
  67. check_equal(*next(rng0.begin(), 2), {P{2,3},P{2,3},P{2,3},P{2,3}});
  68. auto rng1 = views::counted(b, v.size())
  69. | views::group_by([](P p0, P p1) {return p0.first == p1.first;});
  70. CPP_assert(forward_range<decltype(rng1)>);
  71. CPP_assert(!bidirectional_range<decltype(rng1)>);
  72. CHECK(distance(rng1) == 2);
  73. check_equal(*rng1.begin(), {P{1,1},P{1,1},P{1,2},P{1,2},P{1,2},P{1,2}});
  74. check_equal(*next(rng1.begin()), {P{2,2},P{2,2},P{2,3},P{2,3},P{2,3},P{2,3}});
  75. }
  76. {
  77. int a[] = {0, 1, 2, 3, 4, 5};
  78. auto rng = a | views::remove_if([](int n) { return n % 2 == 0; })
  79. | views::group_by([](int, int) { return true; });
  80. check_equal(*rng.begin(), {1, 3, 5});
  81. }
  82. {
  83. std::vector<int> v2 {0,1,2,3,4,5,6,7,8,9};
  84. auto rng0 = ranges::views::group_by(v2, [](int i, int j){ return j - i < 3; });
  85. check_equal(*rng0.begin(), {0, 1, 2});
  86. check_equal(*next(rng0.begin()), {3, 4, 5});
  87. check_equal(*next(rng0.begin(), 2), {6, 7, 8});
  88. check_equal(*next(rng0.begin(), 3), {9});
  89. CHECK(distance(rng0) == 4);
  90. }
  91. {
  92. std::vector<int> v3{1, 2, 3, 4, 5};
  93. int count_invoc = 0;
  94. auto rng = views::group_by(v3, [&](int, int) {
  95. ++count_invoc;
  96. return false;
  97. });
  98. CHECK(distance(rng) == 5);
  99. CHECK(count_invoc == 4);
  100. auto it = rng.begin();
  101. check_equal(*it, {1});
  102. check_equal(*++it, {2});
  103. check_equal(*++it, {3});
  104. check_equal(*++it, {4});
  105. check_equal(*++it, {5});
  106. // 7, not 8, because caching in begin()
  107. CHECK(count_invoc == 7);
  108. }
  109. {
  110. std::vector<int> v4 = {2, 3, 4, 5, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 0};
  111. auto rng = v4 | views::group_by(std::less<>{});
  112. CHECK(distance(rng) == 4);
  113. check_equal(*rng.begin(), {2, 3, 4, 5});
  114. check_equal(*next(rng.begin()), {0, 1, 2, 3, 4, 5, 6});
  115. check_equal(*next(rng.begin(), 2), {0, 1, 2, 3});
  116. check_equal(*next(rng.begin(), 3), {0});
  117. }
  118. {
  119. std::vector<int> v5 = { 0, 1, 2 };
  120. auto rng = views::cycle(v5) | views::take(6) | views::group_by(std::less<>{});
  121. CHECK(distance(rng) == 2);
  122. check_equal(*rng.begin(), v5);
  123. check_equal(*next(rng.begin()), v5);
  124. }
  125. {
  126. std::vector<int> e;
  127. auto rng = e | views::group_by(std::less<>{});
  128. CHECK(distance(rng) == 0);
  129. }
  130. {
  131. std::vector<int> single{2};
  132. auto rng = single | views::group_by([](int, int) -> bool {
  133. throw 0;
  134. });
  135. CHECK(distance(rng) == 1);
  136. check_equal(*rng.begin(), {2});
  137. }
  138. return test_result();
  139. }