1 // Range v3 library
2 //
3 // Copyright Eric Niebler 2014-present
4 //
5 // Use, modification and distribution is subject to the
6 // Boost Software License, Version 1.0. (See accompanying
7 // file LICENSE_1_0.txt or copy at
8 // http://www.boost.org/LICENSE_1_0.txt)
9 //
10 // Project home: https://github.com/ericniebler/range-v3
11
12 #include <list>
13 #include <vector>
14 #include <range/v3/core.hpp>
15 #include <range/v3/view/iota.hpp>
16 #include <range/v3/view/take.hpp>
17 #include <range/v3/view/reverse.hpp>
18 #include <range/v3/view/delimit.hpp>
19 #include <range/v3/utility/copy.hpp>
20 #include "../simple_test.hpp"
21 #include "../test_utils.hpp"
22
main()23 int main()
24 {
25 using namespace ranges;
26
27 int rgi[] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
28
29 auto rng0 = rgi | views::take(6);
30 has_type<int &>(*begin(rng0));
31 CPP_assert(view_<decltype(rng0)>);
32 CPP_assert(common_range<decltype(rng0)>);
33 CPP_assert(sized_range<decltype(rng0)>);
34 CPP_assert(random_access_iterator<decltype(begin(rng0))>);
35 CPP_assert(range<decltype(detail::as_const(rng0))>);
36 check_equal(rng0, {0, 1, 2, 3, 4, 5});
37 CHECK(size(rng0) == 6u);
38
39 auto rng0b = rgi | views::take(20);
40 has_type<int &>(*begin(rng0b));
41 CPP_assert(view_<decltype(rng0b)>);
42 CPP_assert(common_range<decltype(rng0b)>);
43 CPP_assert(sized_range<decltype(rng0b)>);
44 CPP_assert(random_access_iterator<decltype(begin(rng0b))>);
45 CPP_assert(range<decltype(detail::as_const(rng0b))>);
46 check_equal(rng0b, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10});
47 CHECK(size(rng0b) == 11u);
48
49 auto rng1 = rng0 | views::reverse;
50 has_type<int &>(*begin(rng1));
51 CPP_assert(view_<decltype(rng1)>);
52 CPP_assert(common_range<decltype(rng1)>);
53 CPP_assert(sized_range<decltype(rng1)>);
54 CPP_assert(random_access_iterator<decltype(begin(rng1))>);
55 CPP_assert(range<decltype(detail::as_const(rng1))>);
56 check_equal(rng1, {5, 4, 3, 2, 1, 0});
57
58 std::vector<int> v{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
59 auto rng2 = v | views::take(6) | views::reverse;
60 has_type<int &>(*begin(rng2));
61 CPP_assert(view_<decltype(rng2)>);
62 CPP_assert(common_range<decltype(rng2)>);
63 CPP_assert(sized_range<decltype(rng2)>);
64 CPP_assert(random_access_iterator<decltype(begin(rng2))>);
65 CPP_assert(range<decltype(detail::as_const(rng2))>);
66 check_equal(rng2, {5, 4, 3, 2, 1, 0});
67
68 std::list<int> l{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
69 auto rng3 = l | views::take(6);
70 has_type<int &>(*begin(rng3));
71 CPP_assert(view_<decltype(rng3)>);
72 CPP_assert(!common_range<decltype(rng3)>);
73 CPP_assert(sized_range<decltype(rng3)>);
74 CPP_assert(bidirectional_iterator<decltype(begin(rng3))>);
75 CPP_assert(!random_access_iterator<decltype(begin(rng3))>);
76 CPP_assert(range<decltype(detail::as_const(rng3))>);
77 ::check_equal(rng3, {0, 1, 2, 3, 4, 5});
78 CHECK(size(rng3) == 6u);
79
80 auto rng3b = l | views::take(20);
81 has_type<int &>(*begin(rng3b));
82 CPP_assert(view_<decltype(rng3b)>);
83 CPP_assert(!common_range<decltype(rng3b)>);
84 CPP_assert(sized_range<decltype(rng3b)>);
85 CPP_assert(bidirectional_iterator<decltype(begin(rng3b))>);
86 CPP_assert(!random_access_iterator<decltype(begin(rng3b))>);
87 CPP_assert(range<decltype(detail::as_const(rng3b))>);
88 check_equal(rng3b, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10});
89 CHECK(size(rng3b) == 11u);
90
91 auto rng4 = views::iota(10) | views::take(10);
92 CPP_assert(view_<decltype(rng4)>);
93 CPP_assert(!common_range<decltype(rng4)>);
94 CPP_assert(sized_range<decltype(rng4)>);
95 CPP_assert(range<decltype(detail::as_const(rng4))>);
96 static_assert(!ranges::is_infinite<decltype(rng4)>::value, "");
97 check_equal(rng4, {10, 11, 12, 13, 14, 15, 16, 17, 18, 19});
98 CHECK(size(rng4) == 10u);
99
100 auto rng5 = views::iota(10) | views::take(10) | views::reverse;
101 CPP_assert(view_<decltype(rng5)>);
102 CPP_assert(common_range<decltype(rng5)>);
103 CPP_assert(sized_range<decltype(rng5)>);
104 CPP_assert(!range<decltype(detail::as_const(rng5))>);
105 static_assert(!ranges::is_infinite<decltype(rng5)>::value, "");
106 check_equal(rng5, {19, 18, 17, 16, 15, 14, 13, 12, 11, 10});
107 CHECK(size(rng5) == 10u);
108
109 auto c_str = views::delimit("hello world", '\0');
110 CPP_assert(random_access_range<decltype(c_str)>);
111 CPP_assert(!sized_range<decltype(c_str)>);
112
113 auto rng6 = c_str | views::take(5);
114 CPP_assert(view_<decltype(rng6)>);
115 CPP_assert(random_access_range<decltype(rng6)>);
116 CPP_assert(!common_range<decltype(rng6)>);
117 CPP_assert(!sized_range<decltype(rng6)>);
118 CPP_assert(range<decltype(detail::as_const(rng6))>);
119 check_equal(rng6, {'h','e','l','l','o'});
120
121 auto rng7 = c_str | views::take(20);
122 check_equal(rng7, {'h','e','l','l','o',' ','w','o','r','l','d'});
123
124 subrange<std::list<int>::iterator> rl{l.begin(), l.end()};
125 CPP_assert(view_<decltype(rl)>);
126 CPP_assert(bidirectional_range<decltype(rl)>);
127 CPP_assert(common_range<decltype(rl)>);
128 CPP_assert(!sized_range<decltype(rl)>);
129 CPP_assert(range<decltype(detail::as_const(rl))>);
130
131 auto rng8 = rl | views::take(5);
132 CPP_assert(view_<decltype(rng8)>);
133 CPP_assert(bidirectional_range<decltype(rng8)>);
134 CPP_assert(!common_range<decltype(rng8)>);
135 CPP_assert(!sized_range<decltype(rng8)>);
136 CPP_assert(range<decltype(detail::as_const(rng8))>);
137 check_equal(rng8, {0, 1, 2, 3, 4});
138
139 auto rng9 = rl | views::take(20);
140 CPP_assert(view_<decltype(rng9)>);
141 CPP_assert(bidirectional_range<decltype(rng9)>);
142 CPP_assert(!common_range<decltype(rng9)>);
143 CPP_assert(!sized_range<decltype(rng9)>);
144 CPP_assert(range<decltype(detail::as_const(rng9))>);
145 check_equal(rng9, {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10});
146
147 {
148 auto rng = debug_input_view<int const>{rgi} | views::take(6);
149 CPP_assert(!range<decltype(detail::as_const(rng))>);
150 check_equal(rng, {0, 1, 2, 3, 4, 5});
151 }
152
153 return test_result();
154 }
155