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 <string>
13 #include <sstream>
14 #include <vector>
15 #include <range/v3/core.hpp>
16 #include <range/v3/view/istream.hpp>
17 #include <range/v3/functional/reference_wrapper.hpp>
18 #include <range/v3/utility/copy.hpp>
19 #include <range/v3/view/iota.hpp>
20 #include <range/v3/view/replace.hpp>
21 #include <range/v3/view/common.hpp>
22 #include <range/v3/view/take.hpp>
23 #include "../simple_test.hpp"
24 #include "../test_utils.hpp"
25
main()26 int main()
27 {
28 using namespace ranges;
29
30 std::string str{"1 2 3 4 5 6 7 8 9 1 2 3 4 5 6 7 8 9 1 2 3 4 5 6 7 8 9 "};
31 std::stringstream sin{str};
32
33 {
34 auto rng = istream<int>(sin) | views::replace(1, 42);
35 CPP_assert(same_as<range_value_t<decltype((rng))>, int>);
36 has_type<int const &>(*begin(rng));
37 CPP_assert(view_<decltype(rng)>);
38 CPP_assert(!sized_range<decltype(rng)>);
39 CPP_assert(!common_range<decltype(rng)>);
40 CPP_assert(input_iterator<decltype(begin(rng))>);
41 CPP_assert(!forward_iterator<decltype(begin(rng))>);
42
43 auto tmp = rng | views::common;
44 CPP_assert(same_as<range_value_t<decltype((tmp))>, int>);
45 has_type<int const &>(*begin(tmp));
46 CPP_assert(view_<decltype(tmp)>);
47 CPP_assert(common_range<decltype(tmp)>);
48 CPP_assert(!sized_range<decltype(tmp)>);
49 CPP_assert(input_iterator<decltype(begin(tmp))>);
50 CPP_assert(!forward_iterator<decltype(begin(tmp))>);
51 std::vector<int> actual{begin(tmp), end(tmp)};
52 ::check_equal(actual, {42, 2, 3, 4, 5, 6, 7, 8, 9, 42, 2, 3, 4, 5, 6, 7, 8, 9, 42, 2, 3, 4, 5, 6, 7, 8, 9});
53 }
54
55 std::vector<int> rgi{1,2,3,4,5,6,7,8,9};
56
57 {
58 auto rng2 = rgi | views::replace(5, 42);
59 CPP_assert(same_as<range_value_t<decltype((rng2))>, int>);
60 has_type<int const &>(*begin(rng2));
61 has_type<int const &>(iter_move(begin(rng2)));
62 CPP_assert(view_<decltype(rng2)>);
63 CPP_assert(sized_range<decltype(rng2)>);
64 CPP_assert(common_range<decltype(rng2)>);
65 CPP_assert(random_access_iterator<decltype(begin(rng2))>);
66 ::check_equal(rng2, {1,2,3,4,42,6,7,8,9});
67 }
68
69 {
70 int forty_two = 42;
71 auto rng3 = rgi | views::replace(5, ref(forty_two));
72 CPP_assert(same_as<range_value_t<decltype((rng3))>, int>);
73 has_type<int &>(*begin(rng3));
74 has_type<int const &>(iter_move(begin(rng3)));
75 CPP_assert(view_<decltype(rng3)>);
76 CPP_assert(sized_range<decltype(rng3)>);
77 CPP_assert(common_range<decltype(rng3)>);
78 CPP_assert(random_access_iterator<decltype(begin(rng3))>);
79 ::check_equal(rng3, {1,2,3,4,42,6,7,8,9});
80 }
81
82 {
83 auto rng4 = views::ints | views::replace(5,42) | views::take(10);
84 CPP_assert(same_as<range_value_t<decltype((rng4))>, int>);
85 has_type<int>(*begin(rng4));
86 has_type<int>(iter_move(begin(rng4)));
87 CPP_assert(view_<decltype(rng4)>);
88 CPP_assert(sized_range<decltype(rng4)>);
89 CPP_assert(!common_range<decltype(rng4)>);
90 CPP_assert(random_access_iterator<decltype(begin(rng4))>);
91 ::check_equal(rng4, {0,1,2,3,4,42,6,7,8,9});
92 }
93
94 {
95 int const some_ints[] = {1,2,3,4,5,6,7,8,9,1,2,3,4,5,6,7,8,9,1,2,3,4,5,6,7,8,9};
96 auto rng = debug_input_view<int const>{some_ints} | views::replace(1, 42);
97 ::check_equal(rng, {42,2,3,4,5,6,7,8,9,42,2,3,4,5,6,7,8,9,42,2,3,4,5,6,7,8,9});
98 }
99
100 return test_result();
101 }
102