// 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 #include #include #include #include #include #include #include #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; std::vector> 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); CPP_assert(!bidirectional_range); 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); CPP_assert(!bidirectional_range); 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::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); CPP_assert(!bidirectional_range); 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); CPP_assert(!bidirectional_range); 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 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 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 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 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 e; auto rng = e | views::group_by(std::less<>{}); CHECK(distance(rng) == 0); } { std::vector 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(); }