123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731 |
- // Copyright 2020 The Chromium Authors. All rights reserved.
- // Use of this source code is governed by a BSD-style license that can be
- // found in the LICENSE file.
- #include "base/ranges/algorithm.h"
- #include <algorithm>
- #include <functional>
- #include <initializer_list>
- #include <iterator>
- #include <random>
- #include <utility>
- #include "base/ranges/functional.h"
- #include "testing/gmock/include/gmock/gmock.h"
- #include "testing/gtest/include/gtest/gtest.h"
- using ::testing::ElementsAre;
- using ::testing::Field;
- using ::testing::Ge;
- using ::testing::Gt;
- using ::testing::Le;
- using ::testing::Lt;
- using ::testing::Pair;
- namespace base {
- namespace {
- // A macro to work around the fact that lambdas are not constexpr in C++14.
- // This will define an unnamed struct with a constexpr call operator, similarly
- // to how lambdas behave in C++17+.
- // Note that this does not support capture groups, so all lambdas defined like
- // this must be stateless.
- // Example Usage: `CONSTEXPR_LAMBDA((int i, int j) { return i + j; }) lambda;`
- // TODO(crbug.com/752720): Remove once we have constexpr lambdas for real.
- #define CONSTEXPR_LAMBDA(fun) \
- constexpr struct { constexpr bool operator() fun }
- struct Int {
- constexpr Int() = default;
- constexpr Int(int value) : value(value) {}
- int value = 0;
- };
- constexpr bool operator==(Int lhs, Int rhs) {
- return lhs.value == rhs.value;
- }
- constexpr bool operator<(Int lhs, Int rhs) {
- return lhs.value < rhs.value;
- }
- constexpr bool operator>(Int lhs, Int rhs) {
- return lhs.value > rhs.value;
- }
- constexpr bool operator<=(Int lhs, Int rhs) {
- return lhs.value <= rhs.value;
- }
- constexpr bool operator>=(Int lhs, Int rhs) {
- return lhs.value >= rhs.value;
- }
- // Move-only int that clears `value` when moving out.
- struct MoveOnlyInt {
- MoveOnlyInt(int value) : value(value) {}
- MoveOnlyInt(MoveOnlyInt&& other) : value(std::exchange(other.value, 0)) {}
- MoveOnlyInt& operator=(MoveOnlyInt&& other) {
- value = std::exchange(other.value, 0);
- return *this;
- }
- int value = 0;
- };
- constexpr bool is_even(int i) {
- return i % 2 == 0;
- }
- bool is_odd(int i) {
- return i % 2 == 1;
- }
- template <typename Iter>
- auto make_vector(Iter begin, Iter end) {
- using T = typename std::iterator_traits<Iter>::value_type;
- return std::vector<T>(begin, end);
- }
- } // namespace
- TEST(RangesTest, AllOf) {
- // Note: Lambdas don't have a constexpr call operator prior to C++17, thus we
- // are providing our own anonyomous struct here.
- constexpr struct {
- constexpr bool operator()(int i) { return i != 0; }
- } is_non_zero;
- constexpr int array[] = {0, 1, 2, 3, 4, 5};
- static_assert(ranges::all_of(array + 1, array + 6, is_non_zero), "");
- static_assert(!ranges::all_of(array, is_non_zero), "");
- constexpr Int values[] = {0, 2, 4, 5};
- static_assert(
- ranges::all_of(values + 1, ranges::end(values), is_non_zero, &Int::value),
- "");
- static_assert(!ranges::all_of(values, is_non_zero, &Int::value), "");
- }
- TEST(RangesTest, AnyOf) {
- constexpr int array[] = {0, 1, 2, 3, 4, 5};
- static_assert(!ranges::any_of(array + 5, array + 6, is_even), "");
- static_assert(ranges::any_of(array, is_even), "");
- constexpr Int values[] = {{0}, {2}, {4}, {5}};
- static_assert(
- !ranges::any_of(values + 3, ranges::end(values), is_even, &Int::value),
- "");
- static_assert(ranges::any_of(values, is_even, &Int::value), "");
- }
- TEST(RangesTest, NoneOf) {
- // Note: Lambdas don't have a constexpr call operator prior to C++17, thus we
- // are providing our own anonyomous struct here.
- constexpr struct {
- constexpr bool operator()(int i) { return i == 0; }
- } is_zero;
- constexpr int array[] = {0, 1, 2, 3, 4, 5};
- static_assert(ranges::none_of(array + 1, array + 6, is_zero), "");
- static_assert(!ranges::none_of(array, is_zero), "");
- constexpr Int values[] = {{0}, {2}, {4}, {5}};
- static_assert(
- ranges::none_of(values + 1, ranges::end(values), is_zero, &Int::value),
- "");
- static_assert(!ranges::none_of(values, is_zero, &Int::value), "");
- }
- TEST(RangesTest, ForEach) {
- auto times_two = [](int& i) { i *= 2; };
- int array[] = {0, 1, 2, 3, 4, 5};
- auto result = ranges::for_each(array, array + 3, times_two);
- EXPECT_EQ(result.in, array + 3);
- // TODO(https://crbug.com/1191256): Fix googletest and switch this back to
- // EXPECT_EQ.
- EXPECT_TRUE(result.fun == times_two);
- EXPECT_THAT(array, ElementsAre(0, 2, 4, 3, 4, 5));
- ranges::for_each(array + 3, array + 6, times_two);
- EXPECT_EQ(result.in, array + 3);
- // TODO(https://crbug.com/1191256): Fix googletest and switch this back to
- // EXPECT_EQ.
- EXPECT_TRUE(result.fun == times_two);
- EXPECT_THAT(array, ElementsAre(0, 2, 4, 6, 8, 10));
- // TODO(https://crbug.com/1191256): Fix googletest and switch this back to
- // EXPECT_EQ.
- EXPECT_TRUE(times_two == ranges::for_each(array, times_two).fun);
- EXPECT_THAT(array, ElementsAre(0, 4, 8, 12, 16, 20));
- Int values[] = {0, 2, 4, 5};
- // TODO(https://crbug.com/1191256): Fix googletest and switch this back to
- // EXPECT_EQ.
- EXPECT_TRUE(times_two ==
- ranges::for_each(values, times_two, &Int::value).fun);
- EXPECT_THAT(values,
- ElementsAre(Field(&Int::value, 0), Field(&Int::value, 4),
- Field(&Int::value, 8), Field(&Int::value, 10)));
- }
- TEST(RangesTest, ForEachN) {
- auto times_two = [](int& i) { i *= 2; };
- int array[] = {0, 1, 2, 3, 4, 5};
- auto result = ranges::for_each_n(array, 3, times_two);
- EXPECT_EQ(result.in, array + 3);
- // TODO(https://crbug.com/1191256): Fix googletest and switch this back to
- // EXPECT_EQ.
- EXPECT_TRUE(result.fun == times_two);
- EXPECT_THAT(array, ElementsAre(0, 2, 4, 3, 4, 5));
- Int values[] = {0, 2, 4, 5};
- // TODO(https://crbug.com/1191256): Fix googletest and switch this back to
- // EXPECT_EQ.
- EXPECT_TRUE(times_two ==
- ranges::for_each_n(values, 4, times_two, &Int::value).fun);
- EXPECT_THAT(values,
- ElementsAre(Field(&Int::value, 0), Field(&Int::value, 4),
- Field(&Int::value, 8), Field(&Int::value, 10)));
- }
- TEST(RangesTest, Find) {
- constexpr int array[] = {0, 1, 2, 3, 4, 5};
- static_assert(array + 6 == ranges::find(array + 1, array + 6, 0), "");
- static_assert(array == ranges::find(array, 0), "");
- constexpr Int values[] = {{0}, {2}, {4}, {5}};
- static_assert(values == ranges::find(values, values, 0, &Int::value), "");
- static_assert(ranges::end(values) == ranges::find(values, 3, &Int::value),
- "");
- }
- TEST(RangesTest, FindIf) {
- auto is_at_least_5 = [](int i) { return i >= 5; };
- int array[] = {0, 1, 2, 3, 4, 5};
- EXPECT_EQ(array + 5, ranges::find_if(array, array + 5, is_at_least_5));
- EXPECT_EQ(array + 5, ranges::find_if(array, is_at_least_5));
- Int values[] = {{0}, {2}, {4}, {5}};
- EXPECT_EQ(values + 3,
- ranges::find_if(values, values + 3, is_odd, &Int::value));
- EXPECT_EQ(values + 3, ranges::find_if(values, is_odd, &Int::value));
- }
- TEST(RangesTest, FindIfNot) {
- auto is_less_than_5 = [](int i) { return i < 5; };
- int array[] = {0, 1, 2, 3, 4, 5};
- EXPECT_EQ(array + 5, ranges::find_if_not(array, array + 5, is_less_than_5));
- EXPECT_EQ(array + 5, ranges::find_if_not(array, is_less_than_5));
- Int values[] = {{0}, {2}, {4}, {5}};
- EXPECT_EQ(values + 3,
- ranges::find_if_not(values, values + 3, is_even, &Int::value));
- EXPECT_EQ(values + 3, ranges::find_if_not(values, is_even, &Int::value));
- }
- TEST(RangesTest, FindEnd) {
- int array1[] = {0, 1, 2};
- int array2[] = {4, 5, 6};
- int array3[] = {0, 1, 2, 3, 4, 5, 0, 1, 2, 3, 4,
- 0, 1, 2, 3, 0, 1, 2, 0, 1, 0};
- EXPECT_EQ(array3 + 15, ranges::find_end(array3, ranges::end(array3), array1,
- ranges::end(array1)));
- EXPECT_EQ(ranges::end(array3), ranges::find_end(array3, ranges::end(array3),
- array2, ranges::end(array2)));
- EXPECT_EQ(array3 + 4,
- ranges::find_end(array3, ranges::end(array3), array2, array2 + 2));
- Int ints1[] = {{0}, {1}, {2}};
- Int ints2[] = {{4}, {5}, {6}};
- EXPECT_EQ(array3 + 15, ranges::find_end(array3, ints1, ranges::equal_to{},
- identity{}, &Int::value));
- EXPECT_EQ(ranges::end(array3),
- ranges::find_end(array3, ints2, ranges::equal_to{}, identity{},
- &Int::value));
- }
- TEST(RangesTest, FindFirstOf) {
- int array1[] = {1, 2, 3};
- int array2[] = {7, 8, 9};
- int array3[] = {0, 1, 2, 3, 4, 5, 0, 1, 2, 3};
- EXPECT_EQ(array3 + 1, ranges::find_first_of(array3, ranges::end(array3),
- array1, ranges::end(array1)));
- EXPECT_EQ(ranges::end(array3),
- ranges::find_first_of(array3, ranges::end(array3), array2,
- ranges::end(array2)));
- Int ints1[] = {{1}, {2}, {3}};
- Int ints2[] = {{7}, {8}, {9}};
- EXPECT_EQ(array3 + 1, ranges::find_first_of(array3, ints1, ranges::equal_to{},
- identity{}, &Int::value));
- EXPECT_EQ(ranges::end(array3),
- ranges::find_first_of(array3, ints2, ranges::equal_to{}, identity{},
- &Int::value));
- }
- TEST(RangesTest, AdjacentFind) {
- constexpr int array[] = {1, 2, 3, 3};
- static_assert(array + 2 == ranges::adjacent_find(array, ranges::end(array)),
- "");
- static_assert(
- array == ranges::adjacent_find(array, ranges::end(array), ranges::less{}),
- "");
- constexpr Int ints[] = {{6}, {6}, {5}, {4}};
- static_assert(
- ints == ranges::adjacent_find(ints, ranges::equal_to{}, &Int::value), "");
- static_assert(ranges::end(ints) ==
- ranges::adjacent_find(ints, ranges::less{}, &Int::value),
- "");
- }
- TEST(RangesTest, Count) {
- int array[] = {1, 2, 3, 3};
- EXPECT_EQ(1, ranges::count(array, array + 4, 1));
- EXPECT_EQ(1, ranges::count(array, array + 4, 2));
- EXPECT_EQ(1, ranges::count(array, array + 3, 3));
- EXPECT_EQ(2, ranges::count(array, array + 4, 3));
- Int ints[] = {{1}, {2}, {3}, {3}};
- EXPECT_EQ(1, ranges::count(ints, 1, &Int::value));
- EXPECT_EQ(1, ranges::count(ints, 2, &Int::value));
- EXPECT_EQ(2, ranges::count(ints, 3, &Int::value));
- }
- TEST(RangesTest, CountIf) {
- int array[] = {1, 2, 3, 3};
- EXPECT_EQ(0, ranges::count_if(array, array + 1, is_even));
- EXPECT_EQ(1, ranges::count_if(array, array + 2, is_even));
- EXPECT_EQ(1, ranges::count_if(array, array + 3, is_even));
- EXPECT_EQ(1, ranges::count_if(array, array + 4, is_even));
- Int ints[] = {{1}, {2}, {3}, {3}};
- EXPECT_EQ(1, ranges::count_if(ints, is_even, &Int::value));
- EXPECT_EQ(3, ranges::count_if(ints, is_odd, &Int::value));
- }
- TEST(RangesTest, Mismatch) {
- int array1[] = {1, 3, 6, 7};
- int array2[] = {1, 3};
- int array3[] = {1, 3, 5, 7};
- EXPECT_EQ(std::make_pair(array1 + 2, array2 + 2),
- ranges::mismatch(array1, array1 + 4, array2, array2 + 2));
- EXPECT_EQ(std::make_pair(array1 + 2, array3 + 2),
- ranges::mismatch(array1, array1 + 4, array3, array3 + 4));
- EXPECT_EQ(std::make_pair(array1 + 2, array2 + 2),
- ranges::mismatch(array1, array2));
- EXPECT_EQ(std::make_pair(array1 + 2, array3 + 2),
- ranges::mismatch(array1, array3));
- }
- TEST(RangesTest, Equal) {
- static constexpr int array1[] = {1, 3, 6, 7};
- static constexpr int array2[] = {1, 3, 5, 7};
- static_assert(ranges::equal(array1, array1 + 2, array2, array2 + 2), "");
- EXPECT_TRUE(ranges::equal(array1, array1 + 2, array2, array2 + 2));
- static_assert(!ranges::equal(array1, array1 + 4, array2, array2 + 4), "");
- EXPECT_FALSE(ranges::equal(array1, array1 + 4, array2, array2 + 4));
- static_assert(!ranges::equal(array1, array1 + 2, array2, array2 + 3), "");
- EXPECT_FALSE(ranges::equal(array1, array1 + 2, array2, array2 + 3));
- static constexpr Int ints[] = {{1}, {3}, {5}, {7}};
- CONSTEXPR_LAMBDA((Int lhs, int rhs) { return lhs.value == rhs; }) lambda;
- static_assert(ranges::equal(ints, array2, lambda), "");
- EXPECT_TRUE(ranges::equal(ints, array2, lambda));
- static_assert(
- ranges::equal(array2, ints, ranges::equal_to{}, identity{}, &Int::value),
- "");
- EXPECT_TRUE(
- ranges::equal(array2, ints, ranges::equal_to{}, identity{}, &Int::value));
- }
- TEST(RangesTest, IsPermutation) {
- int array1[] = {1, 3, 6, 7};
- int array2[] = {7, 3, 1, 6};
- int array3[] = {1, 3, 5, 7};
- EXPECT_TRUE(ranges::is_permutation(array1, array1 + 4, array2, array2 + 4));
- EXPECT_FALSE(ranges::is_permutation(array1, array1 + 4, array3, array3 + 4));
- EXPECT_TRUE(ranges::is_permutation(array1, array2));
- EXPECT_FALSE(ranges::is_permutation(array1, array3));
- Int ints1[] = {{1}, {3}, {5}, {7}};
- Int ints2[] = {{1}, {5}, {3}, {7}};
- EXPECT_TRUE(ranges::is_permutation(
- ints1, ints2, [](Int lhs, Int rhs) { return lhs.value == rhs.value; }));
- EXPECT_TRUE(
- ranges::is_permutation(ints1, ints2, ranges::equal_to{}, &Int::value));
- EXPECT_FALSE(ranges::is_permutation(array1, ints2, ranges::equal_to{}, {},
- &Int::value));
- EXPECT_TRUE(ranges::is_permutation(array3, ints2, ranges::equal_to{}, {},
- &Int::value));
- }
- TEST(RangesTest, Search) {
- int array1[] = {0, 1, 2, 3};
- int array2[] = {0, 1, 5, 3};
- int array3[] = {0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4};
- EXPECT_EQ(array3 + 3,
- ranges::search(array3, array3 + 12, array1, array1 + 4));
- EXPECT_EQ(array3 + 12,
- ranges::search(array3, array3 + 12, array2, array2 + 4));
- EXPECT_EQ(array3 + 3, ranges::search(array3, array1));
- EXPECT_EQ(array3 + 12, ranges::search(array3, array2));
- Int ints1[] = {{0}, {1}, {2}, {3}};
- Int ints2[] = {{0}, {1}, {5}, {3}};
- EXPECT_EQ(ints1 + 4, ranges::search(ints1, ints2, ranges::equal_to{},
- &Int::value, &Int::value));
- EXPECT_EQ(array3 + 3, ranges::search(array3, ints1, {}, {}, &Int::value));
- EXPECT_EQ(array3 + 12, ranges::search(array3, ints2, {}, {}, &Int::value));
- }
- TEST(RangesTest, SearchN) {
- int array[] = {0, 0, 1, 1, 2, 2};
- EXPECT_EQ(array, ranges::search_n(array, array + 6, 1, 0));
- EXPECT_EQ(array + 2, ranges::search_n(array, array + 6, 1, 1));
- EXPECT_EQ(array + 4, ranges::search_n(array, array + 6, 1, 2));
- EXPECT_EQ(array + 6, ranges::search_n(array, array + 6, 1, 3));
- EXPECT_EQ(array, ranges::search_n(array, array + 6, 2, 0));
- EXPECT_EQ(array + 2, ranges::search_n(array, array + 6, 2, 1));
- EXPECT_EQ(array + 4, ranges::search_n(array, array + 6, 2, 2));
- EXPECT_EQ(array + 6, ranges::search_n(array, array + 6, 2, 3));
- EXPECT_EQ(array + 6, ranges::search_n(array, array + 6, 3, 0));
- EXPECT_EQ(array + 6, ranges::search_n(array, array + 6, 3, 1));
- EXPECT_EQ(array + 6, ranges::search_n(array, array + 6, 3, 2));
- EXPECT_EQ(array + 6, ranges::search_n(array, array + 6, 3, 3));
- Int ints[] = {{0}, {0}, {1}, {1}, {2}, {2}};
- EXPECT_EQ(ints, ranges::search_n(ints, 1, 0, {}, &Int::value));
- EXPECT_EQ(ints + 2, ranges::search_n(ints, 1, 1, {}, &Int::value));
- EXPECT_EQ(ints + 4, ranges::search_n(ints, 1, 2, {}, &Int::value));
- EXPECT_EQ(ints + 6, ranges::search_n(ints, 1, 3, {}, &Int::value));
- EXPECT_EQ(ints, ranges::search_n(ints, 2, 0, {}, &Int::value));
- EXPECT_EQ(ints + 2, ranges::search_n(ints, 2, 1, {}, &Int::value));
- EXPECT_EQ(ints + 4, ranges::search_n(ints, 2, 2, {}, &Int::value));
- EXPECT_EQ(ints + 6, ranges::search_n(ints, 2, 3, {}, &Int::value));
- EXPECT_EQ(ints + 6, ranges::search_n(ints, 3, 0, {}, &Int::value));
- EXPECT_EQ(ints + 6, ranges::search_n(ints, 3, 1, {}, &Int::value));
- EXPECT_EQ(ints + 6, ranges::search_n(ints, 3, 2, {}, &Int::value));
- EXPECT_EQ(ints + 6, ranges::search_n(ints, 3, 3, {}, &Int::value));
- }
- TEST(RangesTest, Copy) {
- int input[] = {1, 2, 3, 4, 5};
- int output[] = {6, 6, 6, 6, 6, 6, 6};
- auto equals_six = [](int i) { return i == 6; };
- EXPECT_EQ(output + 3, ranges::copy(input, input + 3, output));
- EXPECT_TRUE(std::equal(input, input + 3, output, output + 3));
- EXPECT_TRUE(std::all_of(output + 3, output + 7, equals_six));
- EXPECT_EQ(output + 5, ranges::copy(input, output));
- EXPECT_TRUE(std::equal(input, input + 5, output, output + 5));
- EXPECT_TRUE(std::all_of(output + 5, output + 7, equals_six));
- }
- TEST(RangesTest, CopyN) {
- int input[] = {1, 2, 3, 4, 5};
- int output[] = {6, 6, 6, 6, 6, 6, 6};
- auto equals_six = [](int i) { return i == 6; };
- EXPECT_EQ(output + 4, ranges::copy_n(input, 4, output));
- EXPECT_TRUE(std::equal(input, input + 4, output, output + 4));
- EXPECT_TRUE(std::all_of(output + 4, output + 7, equals_six));
- }
- TEST(RangesTest, CopyIf) {
- int input[] = {2, 4, 6, 8, 6};
- int output[] = {0, 0, 0, 0, 0, 0};
- auto equals_six = [](int i) { return i == 6; };
- auto equals_zero = [](int i) { return i == 0; };
- EXPECT_EQ(output + 1, ranges::copy_if(input, input + 4, output, equals_six));
- EXPECT_TRUE(std::all_of(output, output + 1, equals_six));
- EXPECT_TRUE(std::all_of(output + 1, output + 6, equals_zero));
- Int ints_in[] = {{2}, {4}, {6}, {8}, {6}};
- Int ints_out[] = {{0}, {0}, {0}, {0}, {0}, {0}};
- EXPECT_EQ(ints_out + 2,
- ranges::copy_if(ints_in, ints_out, equals_six, &Int::value));
- EXPECT_TRUE(ranges::all_of(ints_out, ints_out + 2, equals_six, &Int::value));
- EXPECT_TRUE(
- ranges::all_of(ints_out + 2, ints_out + 6, equals_zero, &Int::value));
- }
- TEST(RangesTest, CopyBackward) {
- int input[] = {2, 4, 6, 8, 6};
- int output[] = {0, 0, 0, 0, 0, 0};
- EXPECT_EQ(output + 1, ranges::copy_backward(input, input + 5, output + 6));
- EXPECT_THAT(output, ElementsAre(0, 2, 4, 6, 8, 6));
- Int ints_in[] = {{2}, {4}, {6}, {8}, {6}};
- Int ints_out[] = {{0}, {0}, {0}, {0}, {0}, {0}};
- EXPECT_EQ(ints_out, ranges::copy_backward(ints_in, ints_out + 5));
- EXPECT_TRUE(std::equal(ints_in, ints_in + 5, ints_out, ints_out + 5,
- [](Int i, Int j) { return i.value == j.value; }));
- }
- TEST(RangesTest, Move) {
- MoveOnlyInt input[] = {6, 6, 6, 6, 6};
- MoveOnlyInt output[] = {0, 0, 0, 0, 0};
- auto equals_zero = [](const auto& i) { return i.value == 0; };
- auto equals_six = [](const auto& i) { return i.value == 6; };
- EXPECT_EQ(output + 3, ranges::move(input, input + 3, output));
- EXPECT_TRUE(std::all_of(input, input + 3, equals_zero));
- EXPECT_TRUE(std::all_of(input + 3, input + 5, equals_six));
- EXPECT_TRUE(std::all_of(output, output + 3, equals_six));
- EXPECT_TRUE(std::all_of(output + 3, output + 5, equals_zero));
- for (auto& in : input)
- in = 6;
- EXPECT_EQ(output + 5, ranges::move(input, output));
- EXPECT_TRUE(ranges::all_of(input, equals_zero));
- EXPECT_TRUE(ranges::all_of(output, equals_six));
- }
- TEST(RangesTest, MoveBackward) {
- MoveOnlyInt input[] = {6, 6, 6, 6, 6};
- MoveOnlyInt output[] = {0, 0, 0, 0, 0};
- auto equals_zero = [](const auto& i) { return i.value == 0; };
- auto equals_six = [](const auto& i) { return i.value == 6; };
- EXPECT_EQ(output + 2, ranges::move_backward(input, input + 3, output + 5));
- EXPECT_TRUE(std::all_of(input, input + 3, equals_zero));
- EXPECT_TRUE(std::all_of(input + 3, input + 5, equals_six));
- EXPECT_TRUE(std::all_of(output, output + 2, equals_zero));
- EXPECT_TRUE(std::all_of(output + 2, output + 5, equals_six));
- for (auto& in : input)
- in = 6;
- EXPECT_EQ(output, ranges::move_backward(input, output + 5));
- EXPECT_TRUE(ranges::all_of(input, equals_zero));
- EXPECT_TRUE(ranges::all_of(output, equals_six));
- }
- TEST(RangesTest, SwapRanges) {
- int ints1[] = {0, 0, 0, 0, 0};
- int ints2[] = {6, 6, 6, 6, 6};
- // Test that swap_ranges does not exceed `last2`.
- EXPECT_EQ(ints2 + 3, ranges::swap_ranges(ints1, ints1 + 5, ints2, ints2 + 3));
- EXPECT_THAT(ints1, ElementsAre(6, 6, 6, 0, 0));
- EXPECT_THAT(ints2, ElementsAre(0, 0, 0, 6, 6));
- // Test that swap_ranges does not exceed `last1`.
- EXPECT_EQ(ints2 + 3, ranges::swap_ranges(ints1, ints1 + 3, ints2, ints2 + 5));
- EXPECT_THAT(ints1, ElementsAre(0, 0, 0, 0, 0));
- EXPECT_THAT(ints2, ElementsAre(6, 6, 6, 6, 6));
- EXPECT_EQ(ints2 + 5,
- ranges::swap_ranges(ints1 + 3, ints1 + 5, ints2 + 3, ints2 + 5));
- EXPECT_THAT(ints1, ElementsAre(0, 0, 0, 6, 6));
- EXPECT_THAT(ints2, ElementsAre(6, 6, 6, 0, 0));
- EXPECT_EQ(ints2 + 5, ranges::swap_ranges(ints1, ints2));
- EXPECT_THAT(ints1, ElementsAre(6, 6, 6, 0, 0));
- EXPECT_THAT(ints2, ElementsAre(0, 0, 0, 6, 6));
- }
- TEST(RangesTest, UnaryTransform) {
- int input[] = {1, 2, 3, 4, 5};
- auto plus_1 = [](int i) { return i + 1; };
- auto times_2 = [](int i) { return i * 2; };
- EXPECT_EQ(input + 4,
- ranges::transform(input + 1, input + 4, input + 1, plus_1));
- EXPECT_THAT(input, ElementsAre(1, 3, 4, 5, 5));
- int output[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(output + 3,
- ranges::transform(input + 1, input + 4, output, times_2));
- EXPECT_THAT(output, ElementsAre(6, 8, 10, 0, 0));
- Int values[] = {{0}, {2}, {4}, {5}};
- EXPECT_EQ(values + 4,
- ranges::transform(values, values, times_2, &Int::value));
- EXPECT_THAT(values, ElementsAre(Int{0}, Int{4}, Int{8}, Int{10}));
- }
- TEST(RangesTest, BinaryTransform) {
- int input[] = {1, 2, 3, 4, 5};
- int output[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(output + 2, ranges::transform(input, input + 2, input + 3,
- input + 5, output, std::plus<>{}));
- EXPECT_THAT(output, ElementsAre(5, 7, 0, 0, 0));
- EXPECT_EQ(output + 5,
- ranges::transform(input, input, output, std::multiplies<>{}));
- EXPECT_THAT(output, ElementsAre(1, 4, 9, 16, 25));
- Int values[] = {{0}, {2}, {4}, {5}};
- EXPECT_EQ(values + 4,
- ranges::transform(values, values, values, std::minus<>{},
- &Int::value, &Int::value));
- EXPECT_THAT(values, ElementsAre(Int{0}, Int{0}, Int{0}, Int{0}));
- }
- TEST(RangesTest, Replace) {
- int input[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(input + 2, ranges::replace(input, input + 2, 0, 2));
- EXPECT_THAT(input, ElementsAre(2, 2, 0, 0, 0));
- EXPECT_EQ(input + 5, ranges::replace(input, 0, 3));
- EXPECT_THAT(input, ElementsAre(2, 2, 3, 3, 3));
- }
- TEST(RangesTest, ReplaceIf) {
- int input[] = {0, 1, 2, 3, 4};
- EXPECT_EQ(input + 3, ranges::replace_if(input, input + 3, is_even, 9));
- EXPECT_THAT(input, ElementsAre(9, 1, 9, 3, 4));
- EXPECT_EQ(input + 5, ranges::replace_if(input, is_odd, 0));
- EXPECT_THAT(input, ElementsAre(0, 0, 0, 0, 4));
- Int ints[] = {0, 0, 1, 1, 0};
- EXPECT_EQ(ints + 5, ranges::replace_if(ints, is_odd, 3, &Int::value));
- EXPECT_THAT(ints, ElementsAre(0, 0, 3, 3, 0));
- }
- TEST(RangesTest, ReplaceCopy) {
- int input[] = {0, 0, 0, 0, 0};
- int output[] = {1, 1, 1, 1, 1};
- EXPECT_EQ(input + 2, ranges::replace_copy(input, input + 2, output, 0, 2));
- EXPECT_THAT(input, ElementsAre(0, 0, 0, 0, 0));
- EXPECT_THAT(output, ElementsAre(2, 2, 1, 1, 1));
- EXPECT_EQ(input + 5, ranges::replace_copy(input, output, 0, 3));
- EXPECT_THAT(input, ElementsAre(0, 0, 0, 0, 0));
- EXPECT_THAT(output, ElementsAre(3, 3, 3, 3, 3));
- }
- TEST(RangesTest, ReplaceCopyIf) {
- Int input[] = {0, 1, 2, 3, 4};
- Int output[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(output + 3, ranges::replace_copy_if(input, input + 3, output,
- is_even, 9, &Int::value));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_THAT(output, ElementsAre(9, 1, 9, 0, 0));
- EXPECT_EQ(output + 5,
- ranges::replace_copy_if(input, output, is_odd, 0, &Int::value));
- EXPECT_THAT(output, ElementsAre(0, 0, 2, 0, 4));
- }
- TEST(RangesTest, Fill) {
- int input[] = {1, 2, 3, 4, 5};
- EXPECT_EQ(input + 3, ranges::fill(input, input + 3, 0));
- EXPECT_THAT(input, ElementsAre(0, 0, 0, 4, 5));
- EXPECT_EQ(input + 5, ranges::fill(input, 1));
- EXPECT_THAT(input, ElementsAre(1, 1, 1, 1, 1));
- }
- TEST(RangesTest, FillN) {
- int input[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(input + 5, ranges::fill_n(input, 5, 5));
- EXPECT_THAT(input, ElementsAre(5, 5, 5, 5, 5));
- EXPECT_EQ(input + 3, ranges::fill_n(input, 3, 3));
- EXPECT_THAT(input, ElementsAre(3, 3, 3, 5, 5));
- }
- TEST(RangesTest, Generate) {
- int input[] = {0, 0, 0, 0, 0};
- auto gen = [count = 0]() mutable { return ++count; };
- EXPECT_EQ(input + 3, ranges::generate(input, input + 3, gen));
- EXPECT_THAT(input, ElementsAre(1, 2, 3, 0, 0));
- EXPECT_EQ(input + 5, ranges::generate(input, gen));
- EXPECT_THAT(input, ElementsAre(1, 2, 3, 4, 5));
- }
- TEST(RangesTest, GenerateN) {
- int input[] = {0, 0, 0, 0, 0};
- auto gen = [count = 0]() mutable { return ++count; };
- EXPECT_EQ(input + 4, ranges::generate_n(input, 4, gen));
- EXPECT_THAT(input, ElementsAre(1, 2, 3, 4, 0));
- }
- TEST(RangesTest, Remove) {
- int input[] = {1, 0, 1, 1, 0};
- EXPECT_EQ(input + 3, ranges::remove(input + 1, input + 5, 1));
- EXPECT_EQ(input[0], 1);
- EXPECT_EQ(input[1], 0);
- EXPECT_EQ(input[2], 0);
- Int ints[] = {2, 2, 1, 1, 2, 2};
- EXPECT_EQ(ints + 2, ranges::remove(ints, 2, &Int::value));
- EXPECT_EQ(ints[0], 1);
- EXPECT_EQ(ints[1], 1);
- }
- TEST(RangesTest, RemoveIf) {
- int input[] = {0, 1, 2, 3, 4};
- EXPECT_EQ(input + 2, ranges::remove_if(input, input + 4, is_even));
- EXPECT_EQ(input[0], 1);
- EXPECT_EQ(input[1], 3);
- EXPECT_EQ(input[4], 4);
- Int ints[] = {2, 2, 1, 1, 2, 2};
- EXPECT_EQ(ints + 2, ranges::remove_if(ints, is_even, &Int::value));
- EXPECT_EQ(ints[0], 1);
- EXPECT_EQ(ints[1], 1);
- }
- TEST(RangesTest, RemoveCopy) {
- int input[] = {0, 1, 2, 3, 4};
- int output[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(output + 1, ranges::remove_copy(input, input + 2, output, 0));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_THAT(output, ElementsAre(1, 0, 0, 0, 0));
- EXPECT_EQ(output + 4, ranges::remove_copy(input, output, 4));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_THAT(output, ElementsAre(0, 1, 2, 3, 0));
- }
- TEST(RangesTest, RemovCopyIf) {
- Int input[] = {0, 1, 2, 3, 4};
- Int output[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(output + 2, ranges::remove_copy_if(input, input + 4, output,
- is_even, &Int::value));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_THAT(output, ElementsAre(1, 3, 0, 0, 0));
- EXPECT_EQ(output + 3,
- ranges::remove_copy_if(input, output, is_odd, &Int::value));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_THAT(output, ElementsAre(0, 2, 4, 0, 0));
- }
- TEST(RangesTest, Unique) {
- int input[] = {0, 0, 1, 1, 2};
- EXPECT_EQ(input + 2, ranges::unique(input, input + 3));
- EXPECT_EQ(input[0], 0);
- EXPECT_EQ(input[1], 1);
- EXPECT_EQ(input[3], 1);
- EXPECT_EQ(input[4], 2);
- Int ints[] = {2, 2, 1, 1, 2, 2};
- EXPECT_EQ(ints + 3, ranges::unique(ints, {}, &Int::value));
- EXPECT_EQ(ints[0], 2);
- EXPECT_EQ(ints[1], 1);
- EXPECT_EQ(ints[2], 2);
- }
- TEST(RangesTest, UniqueCopy) {
- Int input[] = {0, 0, 1, 2, 2};
- Int output[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(output + 3,
- ranges::unique_copy(input, input + 4, output, {}, &Int::value));
- EXPECT_THAT(input, ElementsAre(0, 0, 1, 2, 2));
- EXPECT_THAT(output, ElementsAre(0, 1, 2, 0, 0));
- EXPECT_EQ(output + 3, ranges::unique_copy(input, output, {}, &Int::value));
- EXPECT_THAT(input, ElementsAre(0, 0, 1, 2, 2));
- EXPECT_THAT(output, ElementsAre(0, 1, 2, 0, 0));
- }
- TEST(RangesTest, Reverse) {
- int input[] = {0, 1, 2, 3, 4};
- EXPECT_EQ(input + 4, ranges::reverse(input + 2, input + 4));
- EXPECT_THAT(input, ElementsAre(0, 1, 3, 2, 4));
- EXPECT_EQ(input + 5, ranges::reverse(input));
- EXPECT_THAT(input, ElementsAre(4, 2, 3, 1, 0));
- }
- TEST(RangesTest, ReverseCopy) {
- int input[] = {0, 1, 2, 3, 4};
- int output[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(output + 2, ranges::reverse_copy(input + 2, input + 4, output));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_THAT(output, ElementsAre(3, 2, 0, 0, 0));
- EXPECT_EQ(output + 5, ranges::reverse_copy(input, output));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_THAT(output, ElementsAre(4, 3, 2, 1, 0));
- }
- TEST(RangesTest, Rotate) {
- int input[] = {0, 1, 2, 3, 4};
- EXPECT_EQ(input + 3, ranges::rotate(input + 2, input + 3, input + 4));
- EXPECT_THAT(input, ElementsAre(0, 1, 3, 2, 4));
- EXPECT_EQ(input + 3, ranges::rotate(input, input + 2));
- EXPECT_THAT(input, ElementsAre(3, 2, 4, 0, 1));
- }
- TEST(RangesTest, RotateCopy) {
- int input[] = {0, 1, 2, 3, 4};
- int output[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(output + 2,
- ranges::rotate_copy(input + 2, input + 3, input + 4, output));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_THAT(output, ElementsAre(3, 2, 0, 0, 0));
- EXPECT_EQ(output + 5, ranges::rotate_copy(input, input + 3, output));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_THAT(output, ElementsAre(3, 4, 0, 1, 2));
- }
- TEST(RangesTest, Shuffle) {
- int input[] = {0, 1, 2, 3, 4};
- // Shuffles input[2] and input[3], thus we can't be certain about their
- // positions.
- EXPECT_EQ(input + 4, ranges::shuffle(input + 2, input + 4,
- std::default_random_engine()));
- EXPECT_EQ(input[0], 0);
- EXPECT_EQ(input[1], 1);
- EXPECT_EQ(input[4], 4);
- EXPECT_THAT(input, ::testing::UnorderedElementsAre(0, 1, 2, 3, 4));
- EXPECT_EQ(input + 5, ranges::shuffle(input, std::default_random_engine()));
- EXPECT_THAT(input, ::testing::UnorderedElementsAre(0, 1, 2, 3, 4));
- }
- TEST(RangesTest, Sort) {
- int input[] = {3, 1, 2, 0, 4};
- EXPECT_EQ(input + 4, ranges::sort(input, input + 4));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4));
- EXPECT_EQ(input + 5, ranges::sort(input, input + 5, ranges::greater()));
- EXPECT_THAT(input, ElementsAre(4, 3, 2, 1, 0));
- Int ints[] = {6, 7, 9, 8, 5};
- EXPECT_EQ(ints + 5, ranges::sort(ints, {}, &Int::value));
- EXPECT_THAT(ints, ElementsAre(5, 6, 7, 8, 9));
- EXPECT_EQ(ints + 5, ranges::sort(ints, ranges::greater(), &Int::value));
- EXPECT_THAT(ints, ElementsAre(9, 8, 7, 6, 5));
- }
- TEST(RangesTest, StableSort) {
- // Integer divide each element by 2 to check stability of elements that
- // compare equal.
- auto idiv2 = [](int i) { return i / 2; };
- int input[] = {3, 1, 2, 0, 4};
- EXPECT_EQ(input + 4, ranges::stable_sort(input, input + 4, {}, idiv2));
- EXPECT_THAT(input, ElementsAre(1, 0, 3, 2, 4));
- EXPECT_EQ(input + 5,
- ranges::stable_sort(input, input + 5, ranges::greater()));
- EXPECT_THAT(input, ElementsAre(4, 3, 2, 1, 0));
- auto Idiv2 = [](Int i) { return i.value / 2; };
- Int ints[] = {6, 7, 9, 8, 5};
- EXPECT_EQ(ints + 5, ranges::stable_sort(ints, {}, Idiv2));
- EXPECT_THAT(ints, ElementsAre(5, 6, 7, 9, 8));
- EXPECT_EQ(ints + 5, ranges::stable_sort(ints, ranges::greater(), Idiv2));
- EXPECT_THAT(ints, ElementsAre(9, 8, 6, 7, 5));
- }
- TEST(RangesTest, PartialSort) {
- int input[] = {3, 1, 2, 0, 4};
- EXPECT_EQ(input + 4, ranges::partial_sort(input, input + 2, input + 4));
- EXPECT_EQ(input[0], 0);
- EXPECT_EQ(input[1], 1);
- EXPECT_EQ(input + 5, ranges::partial_sort(input, input + 3, input + 5,
- ranges::greater()));
- EXPECT_EQ(input[0], 4);
- EXPECT_EQ(input[1], 3);
- EXPECT_EQ(input[2], 2);
- Int ints[] = {6, 7, 9, 8, 5};
- EXPECT_EQ(ints + 5, ranges::partial_sort(ints, ints + 4, {}, &Int::value));
- EXPECT_EQ(ints[0], 5);
- EXPECT_EQ(ints[1], 6);
- EXPECT_EQ(ints[2], 7);
- EXPECT_EQ(ints[3], 8);
- EXPECT_EQ(ints + 5, ranges::partial_sort(ints, ints + 3, ranges::greater(),
- &Int::value));
- EXPECT_EQ(ints[0], 9);
- EXPECT_EQ(ints[1], 8);
- EXPECT_EQ(ints[2], 7);
- }
- TEST(RangesTest, PartialSortCopy) {
- int input[] = {3, 1, 2, 0, 4};
- int output[] = {0, 0, 0, 0, 0};
- EXPECT_EQ(output + 2,
- ranges::partial_sort_copy(input, input + 2, output, output + 4));
- EXPECT_THAT(input, ElementsAre(3, 1, 2, 0, 4));
- EXPECT_THAT(output, ElementsAre(1, 3, 0, 0, 0));
- EXPECT_EQ(output + 5,
- ranges::partial_sort_copy(input, input + 3, output + 3, output + 5,
- ranges::greater()));
- EXPECT_THAT(input, ElementsAre(3, 1, 2, 0, 4));
- EXPECT_THAT(output, ElementsAre(1, 3, 0, 3, 2));
- Int ints[] = {3, 1, 2, 0, 4};
- Int outs[] = {0, 0, 0};
- EXPECT_EQ(outs + 3, ranges::partial_sort_copy(ints, outs, {}, &Int::value,
- &Int::value));
- EXPECT_THAT(ints, ElementsAre(3, 1, 2, 0, 4));
- EXPECT_THAT(outs, ElementsAre(0, 1, 2));
- EXPECT_EQ(outs + 3, ranges::partial_sort_copy(ints, outs, ranges::greater(),
- &Int::value, &Int::value));
- EXPECT_THAT(ints, ElementsAre(3, 1, 2, 0, 4));
- EXPECT_THAT(outs, ElementsAre(4, 3, 2));
- EXPECT_EQ(outs + 3,
- ranges::partial_sort_copy(input, outs, {}, {}, &Int::value));
- }
- TEST(RangesTest, IsSorted) {
- constexpr int input[] = {3, 1, 2, 0, 4};
- static_assert(ranges::is_sorted(input + 1, input + 3), "");
- static_assert(!ranges::is_sorted(input + 1, input + 4), "");
- static_assert(ranges::is_sorted(input, input + 2, ranges::greater()), "");
- constexpr Int ints[] = {0, 1, 2, 3, 4};
- static_assert(ranges::is_sorted(ints, {}, &Int::value), "");
- static_assert(!ranges::is_sorted(ints, ranges::greater(), &Int::value), "");
- }
- TEST(RangesTest, IsSortedUntil) {
- constexpr int input[] = {3, 1, 2, 0, 4};
- static_assert(input + 3 == ranges::is_sorted_until(input + 1, input + 3), "");
- static_assert(input + 3 == ranges::is_sorted_until(input + 1, input + 4), "");
- static_assert(
- input + 2 == ranges::is_sorted_until(input, input + 2, ranges::greater()),
- "");
- constexpr Int ints[] = {0, 1, 2, 3, 4};
- static_assert(ints + 5 == ranges::is_sorted_until(ints, {}, &Int::value), "");
- static_assert(
- ints + 1 == ranges::is_sorted_until(ints, ranges::greater(), &Int::value),
- "");
- }
- TEST(RangesTest, NthElement) {
- int input[] = {3, 1, 2, 0, 4};
- EXPECT_EQ(input + 5, ranges::nth_element(input, input + 2, input + 5));
- EXPECT_THAT(input, ElementsAre(Lt(2), Lt(2), 2, Gt(2), Gt(2)));
- Int ints[] = {0, 1, 2, 3, 4};
- EXPECT_EQ(ints + 5, ranges::nth_element(ints, ints + 2, ranges::greater(),
- &Int::value));
- EXPECT_THAT(ints, ElementsAre(Gt(2), Gt(2), 2, Lt(2), Lt(2)));
- }
- TEST(RangesTest, LowerBound) {
- int array[] = {0, 0, 1, 1, 2, 2};
- EXPECT_EQ(array, ranges::lower_bound(array, array + 6, -1));
- EXPECT_EQ(array, ranges::lower_bound(array, array + 6, 0));
- EXPECT_EQ(array + 2, ranges::lower_bound(array, array + 6, 1));
- EXPECT_EQ(array + 4, ranges::lower_bound(array, array + 6, 2));
- EXPECT_EQ(array + 6, ranges::lower_bound(array, array + 6, 3));
- Int ints[] = {0, 0, 1, 1, 2, 2};
- EXPECT_EQ(ints, ranges::lower_bound(ints, -1, {}, &Int::value));
- EXPECT_EQ(ints, ranges::lower_bound(ints, 0, {}, &Int::value));
- EXPECT_EQ(ints + 2, ranges::lower_bound(ints, 1, {}, &Int::value));
- EXPECT_EQ(ints + 4, ranges::lower_bound(ints, 2, {}, &Int::value));
- EXPECT_EQ(ints + 6, ranges::lower_bound(ints, 3, {}, &Int::value));
- const auto proj = [](const Int& i) { return 2 - i.value; };
- EXPECT_EQ(ints, ranges::lower_bound(ints, 3, ranges::greater{}, proj));
- EXPECT_EQ(ints, ranges::lower_bound(ints, 2, ranges::greater{}, proj));
- EXPECT_EQ(ints + 2, ranges::lower_bound(ints, 1, ranges::greater{}, proj));
- EXPECT_EQ(ints + 4, ranges::lower_bound(ints, 0, ranges::greater{}, proj));
- EXPECT_EQ(ints + 6, ranges::lower_bound(ints, -1, ranges::greater{}, proj));
- }
- TEST(RangesTest, UpperBound) {
- int array[] = {0, 0, 1, 1, 2, 2};
- EXPECT_EQ(array, ranges::upper_bound(array, array + 6, -1));
- EXPECT_EQ(array + 2, ranges::upper_bound(array, array + 6, 0));
- EXPECT_EQ(array + 4, ranges::upper_bound(array, array + 6, 1));
- EXPECT_EQ(array + 6, ranges::upper_bound(array, array + 6, 2));
- EXPECT_EQ(array + 6, ranges::upper_bound(array, array + 6, 3));
- Int ints[] = {0, 0, 1, 1, 2, 2};
- EXPECT_EQ(ints, ranges::upper_bound(ints, -1, {}, &Int::value));
- EXPECT_EQ(ints + 2, ranges::upper_bound(ints, 0, {}, &Int::value));
- EXPECT_EQ(ints + 4, ranges::upper_bound(ints, 1, {}, &Int::value));
- EXPECT_EQ(ints + 6, ranges::upper_bound(ints, 2, {}, &Int::value));
- EXPECT_EQ(ints + 6, ranges::upper_bound(ints, 3, {}, &Int::value));
- const auto proj = [](const Int& i) { return 2 - i.value; };
- EXPECT_EQ(ints, ranges::upper_bound(ints, 3, ranges::greater{}, proj));
- EXPECT_EQ(ints + 2, ranges::upper_bound(ints, 2, ranges::greater{}, proj));
- EXPECT_EQ(ints + 4, ranges::upper_bound(ints, 1, ranges::greater{}, proj));
- EXPECT_EQ(ints + 6, ranges::upper_bound(ints, 0, ranges::greater{}, proj));
- EXPECT_EQ(ints + 6, ranges::upper_bound(ints, -1, ranges::greater{}, proj));
- }
- TEST(RangesTest, EqualRange) {
- int array[] = {0, 0, 1, 1, 2, 2};
- EXPECT_THAT(ranges::equal_range(array, array + 6, -1), Pair(array, array));
- EXPECT_THAT(ranges::equal_range(array, array + 6, 0), Pair(array, array + 2));
- EXPECT_THAT(ranges::equal_range(array, array + 6, 1),
- Pair(array + 2, array + 4));
- EXPECT_THAT(ranges::equal_range(array, array + 6, 2),
- Pair(array + 4, array + 6));
- EXPECT_THAT(ranges::equal_range(array, array + 6, 3),
- Pair(array + 6, array + 6));
- Int ints[] = {0, 0, 1, 1, 2, 2};
- EXPECT_THAT(ranges::equal_range(ints, -1, {}, &Int::value), Pair(ints, ints));
- EXPECT_THAT(ranges::equal_range(ints, 0, {}, &Int::value),
- Pair(ints, ints + 2));
- EXPECT_THAT(ranges::equal_range(ints, 1, {}, &Int::value),
- Pair(ints + 2, ints + 4));
- EXPECT_THAT(ranges::equal_range(ints, 2, {}, &Int::value),
- Pair(ints + 4, ints + 6));
- EXPECT_THAT(ranges::equal_range(ints, 3, {}, &Int::value),
- Pair(ints + 6, ints + 6));
- const auto proj = [](const Int& i) { return 2 - i.value; };
- EXPECT_THAT(ranges::equal_range(ints, 3, ranges::greater{}, proj),
- Pair(ints, ints));
- EXPECT_THAT(ranges::equal_range(ints, 2, ranges::greater{}, proj),
- Pair(ints, ints + 2));
- EXPECT_THAT(ranges::equal_range(ints, 1, ranges::greater{}, proj),
- Pair(ints + 2, ints + 4));
- EXPECT_THAT(ranges::equal_range(ints, 0, ranges::greater{}, proj),
- Pair(ints + 4, ints + 6));
- EXPECT_THAT(ranges::equal_range(ints, -1, ranges::greater{}, proj),
- Pair(ints + 6, ints + 6));
- }
- TEST(RangesTest, BinarySearch) {
- int array[] = {0, 0, 1, 1, 2, 2};
- EXPECT_FALSE(ranges::binary_search(array, array + 6, -1));
- EXPECT_TRUE(ranges::binary_search(array, array + 6, 0));
- EXPECT_TRUE(ranges::binary_search(array, array + 6, 1));
- EXPECT_TRUE(ranges::binary_search(array, array + 6, 2));
- EXPECT_FALSE(ranges::binary_search(array, array + 6, 3));
- Int ints[] = {0, 0, 1, 1, 2, 2};
- EXPECT_FALSE(ranges::binary_search(ints, -1, {}, &Int::value));
- EXPECT_TRUE(ranges::binary_search(ints, 0, {}, &Int::value));
- EXPECT_TRUE(ranges::binary_search(ints, 1, {}, &Int::value));
- EXPECT_TRUE(ranges::binary_search(ints, 2, {}, &Int::value));
- EXPECT_FALSE(ranges::binary_search(ints, 3, {}, &Int::value));
- const auto proj = [](const Int& i) { return 2 - i.value; };
- EXPECT_FALSE(ranges::binary_search(ints, 3, ranges::greater{}, proj));
- EXPECT_TRUE(ranges::binary_search(ints, 2, ranges::greater{}, proj));
- EXPECT_TRUE(ranges::binary_search(ints, 1, ranges::greater{}, proj));
- EXPECT_TRUE(ranges::binary_search(ints, 0, ranges::greater{}, proj));
- EXPECT_FALSE(ranges::binary_search(ints, -1, ranges::greater{}, proj));
- }
- TEST(RangesTest, IsPartitioned) {
- int input[] = {1, 3, 5, 0, 4, 2};
- EXPECT_TRUE(ranges::is_partitioned(input, input, is_odd));
- EXPECT_TRUE(ranges::is_partitioned(input, input + 6, is_odd));
- EXPECT_TRUE(ranges::is_partitioned(input, input, is_even));
- EXPECT_FALSE(ranges::is_partitioned(input, input + 6, is_even));
- Int ints[] = {1, 0, 4, 3, 2};
- auto lt_2 = [](const Int& i) { return i.value < 2; };
- EXPECT_TRUE(ranges::is_partitioned(ints, lt_2, &Int::value));
- }
- TEST(RangesTest, Partition) {
- int input[] = {3, 1, 2, 0, 4};
- EXPECT_EQ(input + 3, ranges::partition(input, input + 5, is_even));
- EXPECT_TRUE(is_even(input[0]));
- EXPECT_TRUE(is_even(input[1]));
- EXPECT_TRUE(is_even(input[2]));
- EXPECT_TRUE(is_odd(input[3]));
- EXPECT_TRUE(is_odd(input[4]));
- Int ints[] = {6, 7, 9, 8, 5};
- EXPECT_EQ(ints + 3, ranges::partition(ints, is_odd, &Int::value));
- EXPECT_TRUE(is_odd(ints[0].value));
- EXPECT_TRUE(is_odd(ints[1].value));
- EXPECT_TRUE(is_odd(ints[2].value));
- EXPECT_TRUE(is_even(ints[3].value));
- EXPECT_TRUE(is_even(ints[4].value));
- }
- TEST(RangesTest, StablePartition) {
- int input[] = {3, 1, 2, 0, 4};
- EXPECT_EQ(input + 3, ranges::stable_partition(input, input + 5, is_even));
- EXPECT_THAT(input, ElementsAre(2, 0, 4, 3, 1));
- Int ints[] = {6, 7, 9, 8, 5};
- EXPECT_EQ(ints + 3, ranges::stable_partition(ints, is_odd, &Int::value));
- EXPECT_THAT(ints, ElementsAre(7, 9, 5, 6, 8));
- }
- TEST(RangesTest, PartitionCopy) {
- int input[] = {3, 1, 2, 0, 4};
- int evens[5] = {};
- int odds[5] = {};
- EXPECT_THAT(ranges::partition_copy(input, input + 5, evens, odds, is_even),
- Pair(evens + 3, odds + 2));
- EXPECT_THAT(input, ElementsAre(3, 1, 2, 0, 4));
- EXPECT_THAT(evens, ElementsAre(2, 0, 4, 0, 0));
- EXPECT_THAT(odds, ElementsAre(3, 1, 0, 0, 0));
- Int ints[] = {6, 7, 9, 8, 5};
- Int odd_ints[5] = {};
- Int even_ints[5] = {};
- EXPECT_THAT(
- ranges::partition_copy(ints, odd_ints, even_ints, is_odd, &Int::value),
- Pair(odd_ints + 3, even_ints + 2));
- EXPECT_THAT(ints, ElementsAre(6, 7, 9, 8, 5));
- EXPECT_THAT(odd_ints, ElementsAre(7, 9, 5, 0, 0));
- EXPECT_THAT(even_ints, ElementsAre(6, 8, 0, 0, 0));
- }
- TEST(RangesTest, PartitionPoint) {
- int input[] = {1, 3, 5, 0, 4, 2};
- EXPECT_EQ(input, ranges::partition_point(input, input, is_odd));
- EXPECT_EQ(input + 3, ranges::partition_point(input, input + 6, is_odd));
- EXPECT_EQ(input, ranges::partition_point(input, input, is_even));
- Int ints[] = {1, 0, 4, 3, 2};
- auto lt_2 = [](const Int& i) { return i.value < 2; };
- EXPECT_EQ(ints + 2, ranges::partition_point(ints, lt_2, &Int::value));
- }
- TEST(RangesTest, Merge) {
- int input1[] = {0, 2, 4, 6, 8};
- int input2[] = {1, 3, 5, 7, 9};
- int output[10];
- EXPECT_EQ(output + 10,
- ranges::merge(input1, input1 + 5, input2, input2 + 5, output));
- EXPECT_THAT(output, ElementsAre(0, 1, 2, 3, 4, 5, 6, 7, 8, 9));
- Int ints1[] = {0, 2, 4, 6, 8};
- Int ints2[] = {1, 3, 5, 7, 9};
- Int outs[10];
- EXPECT_EQ(outs + 10,
- ranges::merge(ints1, ints2, outs, {}, &Int::value, &Int::value));
- EXPECT_THAT(outs, ElementsAre(0, 1, 2, 3, 4, 5, 6, 7, 8, 9));
- EXPECT_EQ(outs + 10, ranges::merge(input1, ints1, outs, {}, {}, &Int::value));
- EXPECT_THAT(outs, ElementsAre(0, 0, 2, 2, 4, 4, 6, 6, 8, 8));
- EXPECT_EQ(outs + 10, ranges::merge(ints2, input2, outs, {}, &Int::value, {}));
- EXPECT_THAT(outs, ElementsAre(1, 1, 3, 3, 5, 5, 7, 7, 9, 9));
- }
- TEST(RangesTest, InplaceMerge) {
- int input[] = {0, 2, 4, 6, 8, 1, 3, 5, 7, 9};
- EXPECT_EQ(input + 10, ranges::inplace_merge(input, input + 5, input + 10));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4, 5, 6, 7, 8, 9));
- Int ints[] = {8, 6, 4, 2, 0, 9, 7, 5, 3, 1};
- EXPECT_EQ(ints + 10, ranges::inplace_merge(ints, ints + 5, ranges::greater(),
- &Int::value));
- EXPECT_THAT(ints, ElementsAre(9, 8, 7, 6, 5, 4, 3, 2, 1, 0));
- }
- TEST(RangesTest, Includes) {
- int evens[] = {0, 2, 4, 6, 8};
- int odds[] = {1, 3, 5, 7, 9};
- int fours[] = {0, 4, 8};
- EXPECT_TRUE(ranges::includes(evens, evens + 5, fours, fours + 3));
- EXPECT_FALSE(ranges::includes(fours, fours + 3, evens, evens + 5));
- EXPECT_FALSE(ranges::includes(evens, evens + 5, odds, odds + 5));
- EXPECT_FALSE(ranges::includes(odds, odds + 5, evens, evens + 5));
- Int even_ints[] = {0, 2, 4, 6, 8};
- Int odd_ints[] = {1, 3, 5, 7, 9};
- EXPECT_TRUE(ranges::includes(even_ints, fours, {}, &Int::value));
- EXPECT_FALSE(ranges::includes(fours, even_ints, {}, {}, &Int::value));
- EXPECT_FALSE(
- ranges::includes(even_ints, odd_ints, {}, &Int::value, &Int::value));
- EXPECT_FALSE(
- ranges::includes(odd_ints, even_ints, {}, &Int::value, &Int::value));
- }
- TEST(RangesTest, SetUnion) {
- int evens[] = {0, 2, 4, 6, 8};
- int odds[] = {1, 3, 5, 7, 9};
- int fours[] = {0, 4, 8};
- int result[10];
- EXPECT_EQ(result + 10,
- ranges::set_union(evens, evens + 5, odds, odds + 5, result));
- EXPECT_THAT(result, ElementsAre(0, 1, 2, 3, 4, 5, 6, 7, 8, 9));
- EXPECT_EQ(result + 5,
- ranges::set_union(evens, evens + 5, fours, fours + 3, result));
- EXPECT_THAT(make_vector(result, result + 5), ElementsAre(0, 2, 4, 6, 8));
- Int even_ints[] = {0, 2, 4, 6, 8};
- Int odd_ints[] = {1, 3, 5, 7, 9};
- Int result_ints[10];
- EXPECT_EQ(result_ints + 10,
- ranges::set_union(even_ints, odd_ints, result_ints, {}, &Int::value,
- &Int::value));
- EXPECT_THAT(result_ints, ElementsAre(0, 1, 2, 3, 4, 5, 6, 7, 8, 9));
- EXPECT_EQ(result_ints + 5,
- ranges::set_union(even_ints, fours, result_ints, {}, &Int::value));
- EXPECT_THAT(make_vector(result_ints, result_ints + 5),
- ElementsAre(0, 2, 4, 6, 8));
- EXPECT_EQ(result_ints + 8, ranges::set_union(fours, odd_ints, result_ints, {},
- {}, &Int::value));
- EXPECT_THAT(make_vector(result_ints, result_ints + 8),
- ElementsAre(0, 1, 3, 4, 5, 7, 8, 9));
- }
- TEST(RangesTest, SetIntersection) {
- int evens[] = {0, 2, 4, 6, 8};
- int odds[] = {1, 3, 5, 7, 9};
- int fours[] = {0, 4, 8};
- int result[10];
- EXPECT_EQ(result,
- ranges::set_intersection(evens, evens + 5, odds, odds + 5, result));
- EXPECT_EQ(result + 3, ranges::set_intersection(evens, evens + 5, fours,
- fours + 3, result));
- EXPECT_THAT(make_vector(result, result + 3), ElementsAre(0, 4, 8));
- Int even_ints[] = {0, 2, 4, 6, 8};
- Int odd_ints[] = {1, 3, 5, 7, 9};
- Int result_ints[10];
- EXPECT_EQ(result_ints,
- ranges::set_intersection(even_ints, odd_ints, result_ints, {},
- &Int::value, &Int::value));
- EXPECT_EQ(
- result_ints + 3,
- ranges::set_intersection(even_ints, fours, result_ints, {}, &Int::value));
- EXPECT_THAT(make_vector(result_ints, result_ints + 3), ElementsAre(0, 4, 8));
- EXPECT_EQ(result_ints, ranges::set_intersection(fours, odd_ints, result_ints,
- {}, {}, &Int::value));
- }
- TEST(RangesTest, SetDifference) {
- int evens[] = {0, 2, 4, 6, 8};
- int odds[] = {1, 3, 5, 7, 9};
- int fours[] = {0, 4, 8};
- int result[5];
- EXPECT_EQ(result + 5,
- ranges::set_difference(evens, evens + 5, odds, odds + 5, result));
- EXPECT_THAT(result, ElementsAre(0, 2, 4, 6, 8));
- EXPECT_EQ(result + 2,
- ranges::set_difference(evens, evens + 5, fours, fours + 3, result));
- EXPECT_THAT(make_vector(result, result + 2), ElementsAre(2, 6));
- Int even_ints[] = {0, 2, 4, 6, 8};
- Int odd_ints[] = {1, 3, 5, 7, 9};
- Int result_ints[5];
- EXPECT_EQ(result_ints + 5,
- ranges::set_difference(even_ints, odd_ints, result_ints, {},
- &Int::value, &Int::value));
- EXPECT_THAT(result_ints, ElementsAre(0, 2, 4, 6, 8));
- EXPECT_EQ(
- result_ints + 2,
- ranges::set_difference(even_ints, fours, result_ints, {}, &Int::value));
- EXPECT_THAT(make_vector(result_ints, result_ints + 2), ElementsAre(2, 6));
- EXPECT_EQ(result_ints + 3,
- ranges::set_difference(fours, odd_ints, result_ints, {}, {},
- &Int::value));
- EXPECT_THAT(make_vector(result_ints, result_ints + 3), ElementsAre(0, 4, 8));
- }
- TEST(RangesTest, SetSymmetricDifference) {
- int evens[] = {0, 2, 4, 6, 8};
- int odds[] = {1, 3, 5, 7, 9};
- int fours[] = {0, 4, 8};
- int result[10];
- EXPECT_EQ(result + 10, ranges::set_symmetric_difference(
- evens, evens + 5, odds, odds + 5, result));
- EXPECT_THAT(result, ElementsAre(0, 1, 2, 3, 4, 5, 6, 7, 8, 9));
- EXPECT_EQ(result + 2, ranges::set_symmetric_difference(
- evens, evens + 5, fours, fours + 3, result));
- EXPECT_THAT(make_vector(result, result + 2), ElementsAre(2, 6));
- Int even_ints[] = {0, 2, 4, 6, 8};
- Int odd_ints[] = {1, 3, 5, 7, 9};
- Int result_ints[10];
- EXPECT_EQ(result_ints + 10,
- ranges::set_symmetric_difference(even_ints, odd_ints, result_ints,
- {}, &Int::value, &Int::value));
- EXPECT_THAT(result_ints, ElementsAre(0, 1, 2, 3, 4, 5, 6, 7, 8, 9));
- EXPECT_EQ(result_ints + 2,
- ranges::set_symmetric_difference(even_ints, fours, result_ints, {},
- &Int::value));
- EXPECT_THAT(make_vector(result_ints, result_ints + 2), ElementsAre(2, 6));
- EXPECT_EQ(result_ints + 8,
- ranges::set_symmetric_difference(fours, odd_ints, result_ints, {},
- {}, &Int::value));
- EXPECT_THAT(make_vector(result_ints, result_ints + 8),
- ElementsAre(0, 1, 3, 4, 5, 7, 8, 9));
- }
- TEST(RangesTest, PushHeap) {
- int heap[] = {6, 4, 3, 2, 1, 0, 5};
- EXPECT_EQ(heap + 7, ranges::push_heap(heap, heap + 7));
- EXPECT_THAT(heap, ElementsAre(6, Ge(4), Ge(4), Le(3), Le(3), Le(3), Le(3)));
- Int heap_int[] = {1, 2, 3, 4, 5, 6, 0};
- EXPECT_EQ(heap_int + 7,
- ranges::push_heap(heap_int, ranges::greater(), &Int::value));
- EXPECT_THAT(heap_int, ElementsAre(0, 2, 1, 4, 5, 6, 3));
- EXPECT_THAT(heap_int,
- ElementsAre(0, Le(2), Le(2), Ge(3), Ge(3), Ge(3), Ge(3)));
- }
- TEST(RangesTest, PopHeap) {
- int heap[] = {6, 5, 4, 3, 2, 1, 0};
- EXPECT_EQ(heap + 7, ranges::pop_heap(heap, heap + 7));
- EXPECT_THAT(heap, ElementsAre(5, Ge(3), Ge(3), Le(2), Le(2), Le(2), 6));
- Int heap_int[] = {0, 1, 2, 3, 4, 5, 6};
- EXPECT_EQ(heap_int + 7,
- ranges::pop_heap(heap_int, ranges::greater(), &Int::value));
- EXPECT_THAT(heap_int, ElementsAre(1, Le(3), Le(3), Ge(4), Ge(4), Ge(4), 0));
- }
- TEST(RangesTest, MakeHeap) {
- int heap[] = {0, 1, 2, 3, 4, 5, 6};
- EXPECT_EQ(heap + 7, ranges::make_heap(heap, heap + 7));
- EXPECT_THAT(heap, ElementsAre(6, Ge(4), Ge(4), Le(3), Le(3), Le(3), Le(3)));
- Int heap_int[] = {6, 5, 4, 3, 2, 1, 0};
- EXPECT_EQ(heap_int + 7,
- ranges::make_heap(heap_int, ranges::greater(), &Int::value));
- EXPECT_THAT(heap_int,
- ElementsAre(0, Le(2), Le(2), Ge(3), Ge(3), Ge(3), Ge(3)));
- }
- TEST(RangesTest, SortHeap) {
- int heap[] = {6, 4, 5, 0, 1, 2, 3};
- EXPECT_EQ(heap + 7, ranges::sort_heap(heap, heap + 7));
- EXPECT_THAT(heap, ElementsAre(0, 1, 2, 3, 4, 5, 6));
- Int heap_int[] = {0, 2, 1, 4, 3, 6, 5};
- EXPECT_EQ(heap_int + 7,
- ranges::sort_heap(heap_int, ranges::greater(), &Int::value));
- EXPECT_THAT(heap_int, ElementsAre(6, 5, 4, 3, 2, 1, 0));
- }
- TEST(RangesTest, IsHeap) {
- int heap[] = {6, 4, 5, 0, 1, 2, 3};
- EXPECT_TRUE(ranges::is_heap(heap, heap + 7));
- EXPECT_FALSE(ranges::is_heap(heap, heap + 7, ranges::greater()));
- Int heap_int[] = {0, 2, 1, 4, 3, 6, 5};
- EXPECT_TRUE(ranges::is_heap(heap_int, ranges::greater(), &Int::value));
- EXPECT_FALSE(ranges::is_heap(heap_int, {}, &Int::value));
- }
- TEST(RangesTest, IsHeapUntil) {
- int heap[] = {6, 4, 5, 0, 1, 2, 3};
- EXPECT_EQ(heap + 7, ranges::is_heap_until(heap, heap + 7));
- EXPECT_EQ(heap + 1, ranges::is_heap_until(heap, heap + 7, ranges::greater()));
- Int heap_int[] = {0, 2, 1, 4, 3, 6, 5};
- EXPECT_EQ(heap_int + 7,
- ranges::is_heap_until(heap_int, ranges::greater(), &Int::value));
- EXPECT_EQ(heap_int + 1, ranges::is_heap_until(heap_int, {}, &Int::value));
- }
- TEST(RangesTest, Min) {
- constexpr int k1 = 1;
- constexpr int k2 = 2;
- static_assert(&ranges::min(k1, k1) == &k1, "");
- static_assert(&ranges::min(k1, k2) == &k1, "");
- static_assert(&ranges::min(k2, k1) == &k1, "");
- static_assert(&ranges::min(k2, k2) == &k2, "");
- constexpr Int k3 = 3;
- constexpr Int k4 = 4;
- static_assert(&ranges::min(k3, k3, ranges::greater(), &Int::value) == &k3,
- "");
- static_assert(&ranges::min(k3, k4, ranges::greater(), &Int::value) == &k4,
- "");
- static_assert(&ranges::min(k4, k3, ranges::greater(), &Int::value) == &k4,
- "");
- static_assert(&ranges::min(k4, k4, ranges::greater(), &Int::value) == &k4,
- "");
- constexpr Int array[] = {2, 6, 4, 3, 5, 1};
- static_assert(ranges::min({5, 3, 4, 2, 1, 6}) == 1, "");
- static_assert(ranges::min(array, ranges::greater(), &Int::value) == 6, "");
- }
- TEST(RangesTest, Max) {
- constexpr int k1 = 1;
- constexpr int k2 = 2;
- static_assert(&ranges::max(k1, k2) == &k2, "");
- static_assert(&ranges::max(k1, k2) == &k2, "");
- static_assert(&ranges::max(k2, k1) == &k2, "");
- static_assert(&ranges::max(k2, k1) == &k2, "");
- constexpr Int k3 = 3;
- constexpr Int k4 = 4;
- static_assert(&ranges::max(k3, k3, ranges::greater(), &Int::value) == &k3,
- "");
- static_assert(&ranges::max(k3, k4, ranges::greater(), &Int::value) == &k3,
- "");
- static_assert(&ranges::max(k4, k3, ranges::greater(), &Int::value) == &k3,
- "");
- static_assert(&ranges::max(k4, k4, ranges::greater(), &Int::value) == &k4,
- "");
- constexpr Int array[] = {2, 6, 4, 3, 5, 1};
- static_assert(ranges::max({5, 3, 4, 2, 1, 6}) == 6, "");
- static_assert(ranges::max(array, ranges::greater(), &Int::value) == 1, "");
- }
- TEST(RangesTest, Minmax) {
- constexpr int k1 = 1;
- constexpr int k2 = 2;
- static_assert(&ranges::minmax(k1, k1).first == &k1, "");
- static_assert(&ranges::minmax(k1, k1).second == &k1, "");
- static_assert(&ranges::minmax(k1, k2).first == &k1, "");
- static_assert(&ranges::minmax(k1, k2).second == &k2, "");
- static_assert(&ranges::minmax(k2, k1).first == &k1, "");
- static_assert(&ranges::minmax(k2, k1).second == &k2, "");
- static_assert(&ranges::minmax(k2, k2).first == &k2, "");
- static_assert(&ranges::minmax(k2, k2).second == &k2, "");
- static constexpr Int k3 = 3;
- static constexpr Int k4 = 4;
- {
- constexpr auto kResult =
- ranges::minmax(k3, k3, ranges::greater(), &Int::value);
- static_assert(&kResult.first == &k3, "");
- static_assert(&kResult.second == &k3, "");
- }
- {
- constexpr auto kResult =
- ranges::minmax(k3, k4, ranges::greater(), &Int::value);
- static_assert(&kResult.first == &k4, "");
- static_assert(&kResult.second == &k3, "");
- }
- {
- constexpr auto kResult =
- ranges::minmax(k4, k3, ranges::greater(), &Int::value);
- static_assert(&kResult.first == &k4, "");
- static_assert(&kResult.second == &k3, "");
- }
- {
- constexpr auto kResult =
- ranges::minmax(k4, k4, ranges::greater(), &Int::value);
- static_assert(&kResult.first == &k4, "");
- static_assert(&kResult.second == &k4, "");
- }
- static_assert(ranges::minmax({5, 3, 4, 2, 1, 6}).first == 1, "");
- static_assert(ranges::minmax({5, 3, 4, 2, 1, 6}).second == 6, "");
- constexpr Int array[] = {2, 6, 4, 3, 5, 1};
- static_assert(
- ranges::minmax(array, ranges::greater(), &Int::value).first == 6, "");
- static_assert(
- ranges::minmax(array, ranges::greater(), &Int::value).second == 1, "");
- }
- TEST(RangesTest, MinElement) {
- constexpr int array[] = {2, 6, 4, 3, 5, 1};
- constexpr Int ints[] = {2, 6, 4, 3, 5, 1};
- static_assert(*ranges::min_element(array, array + 6) == 1, "");
- static_assert(*ranges::min_element(ints, ranges::greater(), &Int::value) == 6,
- "");
- }
- TEST(RangesTest, MaxElement) {
- constexpr int array[] = {2, 6, 4, 3, 5, 1};
- constexpr Int ints[] = {2, 6, 4, 3, 5, 1};
- static_assert(*ranges::max_element(array, array + 6) == 6, "");
- static_assert(*ranges::max_element(ints, ranges::greater(), &Int::value) == 1,
- "");
- }
- TEST(RangesTest, MinmaxElement) {
- constexpr int array[] = {2, 6, 4, 3, 5, 1};
- static_assert(*ranges::minmax_element(array, array + 6).first == 1, "");
- static_assert(*ranges::minmax_element(array, array + 6).second == 6, "");
- constexpr Int ints[] = {2, 6, 4, 3, 5, 1};
- static_assert(
- *ranges::minmax_element(ints, ranges::greater(), &Int::value).first == 6,
- "");
- static_assert(
- *ranges::minmax_element(ints, ranges::greater(), &Int::value).second == 1,
- "");
- }
- TEST(RangesTest, Clamp) {
- constexpr int k1 = 1;
- constexpr int k2 = 2;
- constexpr int k3 = 3;
- static_assert(&ranges::clamp(k1, k1, k1) == &k1, "");
- static_assert(&ranges::clamp(k1, k1, k2) == &k1, "");
- static_assert(&ranges::clamp(k1, k1, k3) == &k1, "");
- static_assert(&ranges::clamp(k1, k2, k2) == &k2, "");
- static_assert(&ranges::clamp(k1, k2, k3) == &k2, "");
- static_assert(&ranges::clamp(k1, k3, k3) == &k3, "");
- static_assert(&ranges::clamp(k2, k1, k1) == &k1, "");
- static_assert(&ranges::clamp(k2, k1, k2) == &k2, "");
- static_assert(&ranges::clamp(k2, k1, k3) == &k2, "");
- static_assert(&ranges::clamp(k2, k2, k2) == &k2, "");
- static_assert(&ranges::clamp(k2, k2, k3) == &k2, "");
- static_assert(&ranges::clamp(k2, k3, k3) == &k3, "");
- static_assert(&ranges::clamp(k3, k1, k1) == &k1, "");
- static_assert(&ranges::clamp(k3, k1, k2) == &k2, "");
- static_assert(&ranges::clamp(k3, k1, k3) == &k3, "");
- static_assert(&ranges::clamp(k3, k2, k2) == &k2, "");
- static_assert(&ranges::clamp(k3, k2, k3) == &k3, "");
- static_assert(&ranges::clamp(k3, k3, k3) == &k3, "");
- constexpr Int k4 = 4;
- constexpr Int k5 = 5;
- constexpr Int k6 = 6;
- static_assert(
- &ranges::clamp(k6, k6, k6, ranges::greater(), &Int::value) == &k6, "");
- static_assert(
- &ranges::clamp(k6, k6, k5, ranges::greater(), &Int::value) == &k6, "");
- static_assert(
- &ranges::clamp(k6, k6, k4, ranges::greater(), &Int::value) == &k6, "");
- static_assert(
- &ranges::clamp(k6, k5, k5, ranges::greater(), &Int::value) == &k5, "");
- static_assert(
- &ranges::clamp(k6, k5, k4, ranges::greater(), &Int::value) == &k5, "");
- static_assert(
- &ranges::clamp(k6, k4, k4, ranges::greater(), &Int::value) == &k4, "");
- static_assert(
- &ranges::clamp(k5, k6, k6, ranges::greater(), &Int::value) == &k6, "");
- static_assert(
- &ranges::clamp(k5, k6, k5, ranges::greater(), &Int::value) == &k5, "");
- static_assert(
- &ranges::clamp(k5, k6, k4, ranges::greater(), &Int::value) == &k5, "");
- static_assert(
- &ranges::clamp(k5, k5, k5, ranges::greater(), &Int::value) == &k5, "");
- static_assert(
- &ranges::clamp(k5, k5, k4, ranges::greater(), &Int::value) == &k5, "");
- static_assert(
- &ranges::clamp(k5, k4, k4, ranges::greater(), &Int::value) == &k4, "");
- static_assert(
- &ranges::clamp(k4, k6, k6, ranges::greater(), &Int::value) == &k6, "");
- static_assert(
- &ranges::clamp(k4, k6, k5, ranges::greater(), &Int::value) == &k5, "");
- static_assert(
- &ranges::clamp(k4, k6, k4, ranges::greater(), &Int::value) == &k4, "");
- static_assert(
- &ranges::clamp(k4, k5, k5, ranges::greater(), &Int::value) == &k5, "");
- static_assert(
- &ranges::clamp(k4, k5, k4, ranges::greater(), &Int::value) == &k4, "");
- static_assert(
- &ranges::clamp(k4, k4, k4, ranges::greater(), &Int::value) == &k4, "");
- }
- TEST(RangesTest, LexicographicalCompare) {
- constexpr int inputs1[] = {0, 1, 2, 3, 4, 5};
- constexpr int inputs2[] = {0, 1, 2, 3, 5, 4};
- static_assert(!ranges::lexicographical_compare(inputs1, inputs1 + 6, inputs1,
- inputs1 + 6),
- "");
- static_assert(ranges::lexicographical_compare(inputs1, inputs1 + 6, inputs2,
- inputs2 + 6),
- "");
- static_assert(!ranges::lexicographical_compare(inputs2, inputs2 + 6, inputs1,
- inputs1 + 6),
- "");
- static_assert(!ranges::lexicographical_compare(inputs2, inputs2 + 6, inputs2,
- inputs2 + 6),
- "");
- constexpr Int ints1[] = {0, 1, 2, 3, 4, 5};
- constexpr Int ints2[] = {5, 4, 3, 2, 1, 0};
- static_assert(
- !ranges::lexicographical_compare(inputs1, ints1, {}, {}, &Int::value),
- "");
- static_assert(
- !ranges::lexicographical_compare(ints1, inputs1, {}, &Int::value), "");
- static_assert(
- !ranges::lexicographical_compare(inputs2, ints1, {}, {}, &Int::value),
- "");
- static_assert(
- ranges::lexicographical_compare(ints1, inputs2, {}, &Int::value), "");
- static_assert(ranges::lexicographical_compare(ints1, ints2, {}, &Int::value,
- &Int::value),
- "");
- static_assert(!ranges::lexicographical_compare(ints2, ints1, {}, &Int::value,
- &Int::value),
- "");
- static_assert(!ranges::lexicographical_compare(
- ints1, ints2, ranges::greater(), &Int::value, &Int::value),
- "");
- static_assert(ranges::lexicographical_compare(ints2, ints1, ranges::greater(),
- &Int::value, &Int::value),
- "");
- using List = std::initializer_list<int>;
- static_assert(
- ranges::lexicographical_compare(List{0, 1, 2}, List{0, 1, 2, 3}), "");
- static_assert(
- !ranges::lexicographical_compare(List{0, 1, 2, 3}, List{0, 1, 2}), "");
- static_assert(
- ranges::lexicographical_compare(List{0, 1, 2, 3}, List{0, 1, 2, 4}), "");
- static_assert(
- !ranges::lexicographical_compare(List{0, 1, 2, 4}, List{0, 1, 2, 3}), "");
- }
- TEST(RangesTest, NextPermutation) {
- int input[] = {5, 4, 3, 2, 0, 1};
- EXPECT_TRUE(ranges::next_permutation(input, input + 6));
- EXPECT_THAT(input, ElementsAre(5, 4, 3, 2, 1, 0));
- EXPECT_FALSE(ranges::next_permutation(input, input + 6));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4, 5));
- Int ints[] = {0, 1, 2, 3, 5, 4};
- EXPECT_TRUE(ranges::next_permutation(ints, ranges::greater(), &Int::value));
- EXPECT_THAT(ints, ElementsAre(0, 1, 2, 3, 4, 5));
- EXPECT_FALSE(ranges::next_permutation(ints, ranges::greater(), &Int::value));
- EXPECT_THAT(ints, ElementsAre(5, 4, 3, 2, 1, 0));
- int bits[] = {0, 0, 1, 0, 0};
- EXPECT_TRUE(ranges::next_permutation(bits));
- EXPECT_THAT(bits, ElementsAre(0, 1, 0, 0, 0));
- }
- TEST(RangesTest, PrevPermutation) {
- int input[] = {0, 1, 2, 3, 5, 4};
- EXPECT_TRUE(ranges::prev_permutation(input, input + 6));
- EXPECT_THAT(input, ElementsAre(0, 1, 2, 3, 4, 5));
- EXPECT_FALSE(ranges::prev_permutation(input, input + 6));
- EXPECT_THAT(input, ElementsAre(5, 4, 3, 2, 1, 0));
- Int ints[] = {5, 4, 3, 2, 0, 1};
- EXPECT_TRUE(ranges::prev_permutation(ints, ranges::greater(), &Int::value));
- EXPECT_THAT(ints, ElementsAre(5, 4, 3, 2, 1, 0));
- EXPECT_FALSE(ranges::prev_permutation(ints, ranges::greater(), &Int::value));
- EXPECT_THAT(ints, ElementsAre(0, 1, 2, 3, 4, 5));
- int bits[] = {0, 0, 1, 0, 0};
- EXPECT_TRUE(ranges::prev_permutation(bits));
- EXPECT_THAT(bits, ElementsAre(0, 0, 0, 1, 0));
- }
- namespace internal {
- const auto predicate = [](int value) { return value; };
- struct TestPair {
- int a;
- int b;
- };
- } // namespace internal
- // This is a compilation test that checks that using predicates and projections
- // from the base::internal namespace in range algorithms doesn't result in
- // ambiguous calls to base::invoke.
- TEST(RangesTest, DontClashWithPredicateFromInternalInvoke) {
- {
- int input[] = {0, 1, 2};
- ranges::any_of(input, internal::predicate);
- }
- {
- internal::TestPair input[] = {{1, 2}, {3, 4}};
- ranges::any_of(input, base::identity{}, &internal::TestPair::a);
- }
- }
- } // namespace base
|