Files
allhaileris afb81b8278
Some checks failed
Docker. / Ubuntu (push) Has been cancelled
User-agent updater. / User-agent (push) Failing after 15s
Lock Threads / lock (push) Failing after 10s
Waiting for answer. / waiting-for-answer (push) Failing after 22s
Needs user action. / needs-user-action (push) Failing after 8s
Can't reproduce. / cant-reproduce (push) Failing after 8s
Close stale issues and PRs / stale (push) Has been cancelled
init
2026-02-16 15:50:16 +03:00

159 lines
5.0 KiB
C++

// 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();
}