|
| 1 | +#include <deque> |
| 2 | +#include <forward_list> |
| 3 | +#include <list> |
| 4 | +#include <ranges> |
| 5 | +#include <span> |
| 6 | +#include <vector> |
| 7 | + |
| 8 | +#include <gtest/gtest.h> |
| 9 | +#include <radr/test/adaptor_template.hpp> |
| 10 | +#include <radr/test/aux_ranges.hpp> |
| 11 | +#include <radr/test/gtest_helpers.hpp> |
| 12 | + |
| 13 | +#define RADR_ALL_NO_DEPRECATED 1 |
| 14 | +#include <radr/concepts.hpp> |
| 15 | +#include <radr/rad/all.hpp> |
| 16 | +#include <radr/range_access.hpp> |
| 17 | + |
| 18 | +// -------------------------------------------------------------------------- |
| 19 | +// test data |
| 20 | +// -------------------------------------------------------------------------- |
| 21 | + |
| 22 | +inline std::vector<size_t> const comp{1, 2, 3, 4, 5, 6}; |
| 23 | + |
| 24 | +// -------------------------------------------------------------------------- |
| 25 | +// input test |
| 26 | +// -------------------------------------------------------------------------- |
| 27 | + |
| 28 | +#if !defined(_GLIBCXX_RELEASE) || (_GLIBCXX_RELEASE < 12) |
| 29 | +TEST(all, input) |
| 30 | +{ |
| 31 | + std::istringstream input("10 20 30 40"); |
| 32 | + |
| 33 | + auto rng = std::views::istream<int>(input) | radr::all; |
| 34 | + |
| 35 | + EXPECT_SAME_TYPE(decltype(rng), (std::ranges::basic_istream_view<int, char>)); |
| 36 | +} |
| 37 | +#endif |
| 38 | + |
| 39 | +// -------------------------------------------------------------------------- |
| 40 | +// forward tests |
| 41 | +// -------------------------------------------------------------------------- |
| 42 | + |
| 43 | +template <typename _container_t> |
| 44 | +struct all_forward : public testing::Test |
| 45 | +{ |
| 46 | + /* data members */ |
| 47 | + _container_t in{1, 2, 3, 4, 5, 6}; |
| 48 | + |
| 49 | + /* type foo */ |
| 50 | + using container_t = _container_t; |
| 51 | + |
| 52 | + using it_t = decltype(radr::begin(std::declval<container_t &>())); |
| 53 | + using sen_t = decltype(radr::end(std::declval<container_t &>())); |
| 54 | + using cit_t = decltype(radr::cbegin(std::declval<container_t const &>())); |
| 55 | + using csen_t = decltype(radr::cend(std::declval<container_t const &>())); |
| 56 | + |
| 57 | + static constexpr radr::borrowing_rad_kind bk = |
| 58 | + std::ranges::sized_range<container_t> ? radr::borrowing_rad_kind::sized : radr::borrowing_rad_kind::unsized; |
| 59 | + using borrow_t = radr::borrowing_rad<it_t, sen_t, cit_t, csen_t, bk>; |
| 60 | + |
| 61 | + template <typename in_t> |
| 62 | + static void type_checks_impl() |
| 63 | + { |
| 64 | + /* preserved for all all adaptors */ |
| 65 | + EXPECT_EQ(std::ranges::sized_range<in_t>, std::ranges::sized_range<container_t>); |
| 66 | + EXPECT_EQ(std::ranges::common_range<in_t>, std::ranges::common_range<container_t>); |
| 67 | + EXPECT_EQ(std::ranges::bidirectional_range<in_t>, std::ranges::bidirectional_range<container_t>); |
| 68 | + EXPECT_EQ(std::ranges::random_access_range<in_t>, std::ranges::random_access_range<container_t>); |
| 69 | + EXPECT_EQ(std::ranges::contiguous_range<in_t>, std::ranges::contiguous_range<container_t>); |
| 70 | + |
| 71 | + /* valid for all all adaptors */ |
| 72 | + EXPECT_TRUE(radr::const_symmetric_range<in_t>); |
| 73 | + } |
| 74 | + |
| 75 | + template <typename in_t> |
| 76 | + static void type_checks() |
| 77 | + { |
| 78 | + radr::test::generic_adaptor_checks<in_t, container_t>(); |
| 79 | + |
| 80 | + EXPECT_SAME_TYPE(radr::iterator_t<in_t>, it_t); |
| 81 | + EXPECT_SAME_TYPE(radr::sentinel_t<in_t>, sen_t); |
| 82 | + EXPECT_SAME_TYPE(radr::const_iterator_t<in_t>, cit_t); |
| 83 | + EXPECT_SAME_TYPE(radr::const_sentinel_t<in_t>, csen_t); |
| 84 | + } |
| 85 | +}; |
| 86 | + |
| 87 | +//TODO: add non-common, add non-ref referenct_t |
| 88 | +using container_types = ::testing::Types<std::forward_list<size_t>, // unsized |
| 89 | + std::list<size_t>, // sized without sized_sentinel |
| 90 | + std::deque<size_t>, |
| 91 | + std::vector<size_t>>; |
| 92 | + |
| 93 | +TYPED_TEST_SUITE(all_forward, container_types); |
| 94 | + |
| 95 | +TYPED_TEST(all_forward, rvalue) |
| 96 | +{ |
| 97 | + using container_t = TestFixture::container_t; |
| 98 | + using borrow_t = TestFixture::borrow_t; |
| 99 | + |
| 100 | + auto ra = std::move(this->in) | radr::all; |
| 101 | + |
| 102 | + EXPECT_RANGE_EQ(ra, comp); |
| 103 | + EXPECT_SAME_TYPE(decltype(ra), (radr::owning_rad<container_t, borrow_t>)); |
| 104 | + |
| 105 | + TestFixture::template type_checks<decltype(ra)>(); |
| 106 | +} |
| 107 | + |
| 108 | +TYPED_TEST(all_forward, lvalue) |
| 109 | +{ |
| 110 | + using borrow_t = TestFixture::borrow_t; |
| 111 | + |
| 112 | + auto ra = std::ref(this->in) | radr::all; |
| 113 | + |
| 114 | + EXPECT_RANGE_EQ(ra, comp); |
| 115 | + EXPECT_SAME_TYPE(decltype(ra), borrow_t); |
| 116 | + |
| 117 | + TestFixture::template type_checks<decltype(ra)>(); |
| 118 | +} |
| 119 | + |
| 120 | +// -------------------------------------------------------------------------- |
| 121 | +// owning copy test |
| 122 | +// -------------------------------------------------------------------------- |
| 123 | + |
| 124 | +TEST(all, owning_copy_test) |
| 125 | +{ |
| 126 | + auto own = std::vector{1, 2, 3, 4, 5, 6} | radr::all; |
| 127 | + EXPECT_RANGE_EQ(own, comp); |
| 128 | + |
| 129 | + auto cpy = own; |
| 130 | + EXPECT_RANGE_EQ(own, cpy); |
| 131 | +} |
| 132 | + |
| 133 | +#undef RADR_ALL_NO_DEPRECATED |
0 commit comments