adjacent_remove_if.cpp 4.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117
  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 <vector>
  12. #include <iterator>
  13. #include <functional>
  14. #include <range/v3/core.hpp>
  15. #include <range/v3/view/adjacent_remove_if.hpp>
  16. #include <range/v3/view/iota.hpp>
  17. #include <range/v3/view/counted.hpp>
  18. #include <range/v3/utility/copy.hpp>
  19. #include <range/v3/algorithm/copy.hpp>
  20. #include <range/v3/iterator/operations.hpp>
  21. #include <range/v3/iterator/insert_iterators.hpp>
  22. #include "../simple_test.hpp"
  23. #include "../test_utils.hpp"
  24. #include "../test_iterators.hpp"
  25. int main()
  26. {
  27. using namespace ranges;
  28. int const rgi[] = {1, 1, 1, 2, 3, 4, 4};
  29. std::vector<int> out;
  30. {
  31. auto rng = rgi | views::adjacent_remove_if(std::equal_to<int>{});
  32. has_type<int const &>(*begin(rng));
  33. CPP_assert(view_<decltype(rng)>);
  34. CPP_assert(common_range<decltype(rng)>);
  35. CPP_assert(!sized_range<decltype(rng)>);
  36. CPP_assert(bidirectional_iterator<decltype(begin(rng))>);
  37. CPP_assert(!random_access_iterator<decltype(begin(rng))>);
  38. CPP_assert(output_iterator<decltype(ranges::back_inserter(out)), int>);
  39. CPP_assert(!equality_comparable<decltype(ranges::back_inserter(out))>);
  40. copy(rng, ranges::back_inserter(out));
  41. ::check_equal(out, {1, 2, 3, 4});
  42. }
  43. {
  44. auto rng2 = views::counted(rgi, 7)
  45. | views::adjacent_remove_if([&](int i, int j) { return i == j; });
  46. has_type<int const &>(*begin(rng2));
  47. CPP_assert(view_<decltype(rng2)>);
  48. CPP_assert(forward_range<decltype(rng2)>);
  49. CPP_assert(common_range<decltype(rng2)>);
  50. CPP_assert(!sized_range<decltype(rng2)>);
  51. CPP_assert(bidirectional_iterator<decltype(begin(rng2))>);
  52. CPP_assert(!random_access_iterator<decltype(begin(rng2))>);
  53. ::check_equal(rng2, {1, 2, 3, 4});
  54. }
  55. {
  56. auto rng3 = views::counted(ForwardIterator<int const*>(rgi), 7)
  57. | views::adjacent_remove_if(std::equal_to<int>{});
  58. has_type<int const &>(*begin(rng3));
  59. CPP_assert(view_<decltype(rng3)>);
  60. CPP_assert(forward_range<decltype(rng3)>);
  61. CPP_assert(!common_range<decltype(rng3)>);
  62. CPP_assert(!sized_range<decltype(rng3)>);
  63. CPP_assert(forward_iterator<decltype(begin(rng3))>);
  64. CPP_assert(!bidirectional_iterator<decltype(begin(rng3))>);
  65. ::check_equal(rng3, {1, 2, 3, 4});
  66. }
  67. {
  68. auto rng4 = views::counted(ForwardIterator<int const*>(rgi), 7)
  69. | views::adjacent_remove_if([](int,int){return true;});
  70. has_type<int const &>(*begin(rng4));
  71. CHECK(*begin(rng4) == 4);
  72. CPP_assert(view_<decltype(rng4)>);
  73. CPP_assert(forward_range<decltype(rng4)>);
  74. CPP_assert(!common_range<decltype(rng4)>);
  75. CPP_assert(!sized_range<decltype(rng4)>);
  76. CPP_assert(forward_iterator<decltype(begin(rng4))>);
  77. CPP_assert(!bidirectional_iterator<decltype(begin(rng4))>);
  78. ::check_equal(rng4, {4});
  79. }
  80. {
  81. auto is_odd_then_even = [](int i, int j){return 1==i%2 && 0 == j%2;};
  82. auto rng5 = views::iota(0, 11) | views::adjacent_remove_if(is_odd_then_even);
  83. has_type<int>(*begin(rng5));
  84. CPP_assert(view_<decltype(rng5)>);
  85. CPP_assert(forward_range<decltype(rng5)>);
  86. CPP_assert(common_range<decltype(rng5)>);
  87. CPP_assert(!sized_range<decltype(rng5)>);
  88. CPP_assert(bidirectional_iterator<decltype(begin(rng5))>);
  89. CPP_assert(!random_access_iterator<decltype(begin(rng5))>);
  90. ::check_equal(rng5, {0,2,4,6,8,10});
  91. }
  92. {
  93. // Verify that forward and backward traversal both select the same elements.
  94. auto rng = views::adjacent_remove_if(rgi, std::equal_to<int>{});
  95. std::vector<int const*> pointers;
  96. for(auto& i : rng)
  97. pointers.push_back(&i);
  98. auto pos = ranges::end(rng);
  99. for(auto i = pointers.size(); i != 0;)
  100. {
  101. CHECK(pos != ranges::begin(rng));
  102. CHECK(&*--pos == pointers[--i]);
  103. }
  104. CHECK(pos == ranges::begin(rng));
  105. }
  106. return test_result();
  107. }