| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158 |
- // Range v3 library
- //
- // Copyright Eric Niebler 2014-present
- //
- // Use, modification and distribution is subject to the
- // Boost Software License, Version 1.0. (See accompanying
- // file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- //
- // Project home: https://github.com/ericniebler/range-v3
- #include <list>
- #include <vector>
- #include <range/v3/core.hpp>
- #include <range/v3/view/counted.hpp>
- #include <range/v3/view/cycle.hpp>
- #include <range/v3/view/group_by.hpp>
- #include <range/v3/view/remove_if.hpp>
- #include <range/v3/view/take.hpp>
- #include "../simple_test.hpp"
- #include "../test_utils.hpp"
- #include "../test_iterators.hpp"
- RANGES_DIAGNOSTIC_IGNORE_SIGN_CONVERSION
- RANGES_DIAGNOSTIC_IGNORE_DEPRECATED_DECLARATIONS
- int main()
- {
- using namespace ranges;
- using P = std::pair<int,int>;
- std::vector<std::pair<int, int>> v =
- {
- {1,1},
- {1,1},
- {1,2},
- {1,2},
- {1,2},
- {1,2},
- {2,2},
- {2,2},
- {2,3},
- {2,3},
- {2,3},
- {2,3}
- };
- {
- auto rng0 = v | views::group_by([](P p0, P p1) {return p0.second == p1.second;});
- CPP_assert(forward_range<decltype(rng0)>);
- CPP_assert(!bidirectional_range<decltype(rng0)>);
- CHECK(distance(rng0) == 3);
- check_equal(*rng0.begin(), {P{1,1},P{1,1}});
- check_equal(*next(rng0.begin()), {P{1,2},P{1,2},P{1,2},P{1,2},P{2,2},P{2,2}});
- check_equal(*next(rng0.begin(), 2), {P{2,3},P{2,3},P{2,3},P{2,3}});
- auto rng1 = v | views::group_by([](P p0, P p1) {return p0.first == p1.first;});
- CPP_assert(forward_range<decltype(rng1)>);
- CPP_assert(!bidirectional_range<decltype(rng1)>);
- CHECK(distance(rng1) == 2);
- check_equal(*rng1.begin(), {P{1,1},P{1,1},P{1,2},P{1,2},P{1,2},P{1,2}});
- check_equal(*next(rng1.begin()), {P{2,2},P{2,2},P{2,3},P{2,3},P{2,3},P{2,3}});
- }
- {
- ForwardIterator<std::vector<P>::iterator> b{v.begin()};
- auto rng0 = views::counted(b, v.size())
- | views::group_by([](P p0, P p1) {return p0.second == p1.second;});
- CPP_assert(forward_range<decltype(rng0)>);
- CPP_assert(!bidirectional_range<decltype(rng0)>);
- CHECK(distance(rng0) == 3);
- check_equal(*rng0.begin(), {P{1,1},P{1,1}});
- check_equal(*next(rng0.begin()), {P{1,2},P{1,2},P{1,2},P{1,2},P{2,2},P{2,2}});
- check_equal(*next(rng0.begin(), 2), {P{2,3},P{2,3},P{2,3},P{2,3}});
- auto rng1 = views::counted(b, v.size())
- | views::group_by([](P p0, P p1) {return p0.first == p1.first;});
- CPP_assert(forward_range<decltype(rng1)>);
- CPP_assert(!bidirectional_range<decltype(rng1)>);
- CHECK(distance(rng1) == 2);
- check_equal(*rng1.begin(), {P{1,1},P{1,1},P{1,2},P{1,2},P{1,2},P{1,2}});
- check_equal(*next(rng1.begin()), {P{2,2},P{2,2},P{2,3},P{2,3},P{2,3},P{2,3}});
- }
- {
- int a[] = {0, 1, 2, 3, 4, 5};
- auto rng = a | views::remove_if([](int n) { return n % 2 == 0; })
- | views::group_by([](int, int) { return true; });
- check_equal(*rng.begin(), {1, 3, 5});
- }
- {
- std::vector<int> v2 {0,1,2,3,4,5,6,7,8,9};
- auto rng0 = ranges::views::group_by(v2, [](int i, int j){ return j - i < 3; });
- check_equal(*rng0.begin(), {0, 1, 2});
- check_equal(*next(rng0.begin()), {3, 4, 5});
- check_equal(*next(rng0.begin(), 2), {6, 7, 8});
- check_equal(*next(rng0.begin(), 3), {9});
- CHECK(distance(rng0) == 4);
- }
- {
- std::vector<int> v3{1, 2, 3, 4, 5};
- int count_invoc = 0;
- auto rng = views::group_by(v3, [&](int, int) {
- ++count_invoc;
- return false;
- });
- CHECK(distance(rng) == 5);
- CHECK(count_invoc == 4);
- auto it = rng.begin();
- check_equal(*it, {1});
- check_equal(*++it, {2});
- check_equal(*++it, {3});
- check_equal(*++it, {4});
- check_equal(*++it, {5});
- // 7, not 8, because caching in begin()
- CHECK(count_invoc == 7);
- }
- {
- std::vector<int> v4 = {2, 3, 4, 5, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 0};
- auto rng = v4 | views::group_by(std::less<>{});
- CHECK(distance(rng) == 4);
- check_equal(*rng.begin(), {2, 3, 4, 5});
- check_equal(*next(rng.begin()), {0, 1, 2, 3, 4, 5, 6});
- check_equal(*next(rng.begin(), 2), {0, 1, 2, 3});
- check_equal(*next(rng.begin(), 3), {0});
- }
- {
- std::vector<int> v5 = { 0, 1, 2 };
- auto rng = views::cycle(v5) | views::take(6) | views::group_by(std::less<>{});
- CHECK(distance(rng) == 2);
- check_equal(*rng.begin(), v5);
- check_equal(*next(rng.begin()), v5);
- }
- {
- std::vector<int> e;
- auto rng = e | views::group_by(std::less<>{});
- CHECK(distance(rng) == 0);
- }
- {
- std::vector<int> single{2};
- auto rng = single | views::group_by([](int, int) -> bool {
- throw 0;
- });
- CHECK(distance(rng) == 1);
- check_equal(*rng.begin(), {2});
- }
- return test_result();
- }
|