The Perl Toolchain Summit 2025 Needs You: You can help 🙏 Learn more

SYBER / XS-librangeV3-1.12.0 / range-v3-0.12.0 / test / view / replace_if.cpp 

            

              
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116

              
// 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
// HACKHACKHACK silence false positive:
//   error: ‘<anonymous>.ranges::istream_view<int>::cursor::rng_’ may be used uninitialized in this function
// triggered on line 39.
#if defined(__GNUC__) && !defined(__clang__) && __GNUC__ >= 7
#include <range/v3/detail/config.hpp>
RANGES_DIAGNOSTIC_IGNORE("-Wmaybe-uninitialized")
#endif
#include <string>
#include <sstream>
#include <vector>
#include <range/v3/core.hpp>
#include <range/v3/view/istream.hpp>
#include <range/v3/functional/reference_wrapper.hpp>
#include <range/v3/utility/copy.hpp>
#include <range/v3/view/iota.hpp>
#include <range/v3/view/take.hpp>
#include <range/v3/view/replace_if.hpp>
#include <range/v3/view/common.hpp>
#include "../simple_test.hpp"
#include "../test_utils.hpp"
int main()
{
    using namespace ranges;
    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 "};
    std::stringstream sin{str};
    {
        auto rng = istream<int>(sin) | views::replace_if([](int i){return i == 1; }, 42);
        has_type<int const &>(*begin(rng));
        CPP_assert(view_<decltype(rng)>);
        CPP_assert(!sized_range<decltype(rng)>);
        CPP_assert(!common_range<decltype(rng)>);
        CPP_assert(input_iterator<decltype(begin(rng))>);
        CPP_assert(!forward_iterator<decltype(begin(rng))>);
        auto tmp = rng | views::common;
        has_type<int const &>(*begin(tmp));
        CPP_assert(view_<decltype(tmp)>);
        CPP_assert(common_range<decltype(tmp)>);
        CPP_assert(!sized_range<decltype(tmp)>);
        CPP_assert(input_iterator<decltype(begin(tmp))>);
        CPP_assert(!forward_iterator<decltype(begin(tmp))>);
        std::vector<int> actual{begin(tmp), end(tmp)};
        ::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});
    }
    {
        std::vector<int> vi{1,2,3,4,5,6,7,8,9};
        auto rng2 = vi | views::replace_if([](int i){return i == 5;}, 42);
        CPP_assert(same_as<range_value_t<decltype(rng2)>, int>);
        has_type<int const &>(*begin(rng2));
        has_type<int const &>(iter_move(begin(rng2)));
        CPP_assert(view_<decltype(rng2)>);
        CPP_assert(sized_range<decltype(rng2)>);
        CPP_assert(common_range<decltype(rng2)>);
        CPP_assert(random_access_iterator<decltype(begin(rng2))>);
        ::check_equal(rng2, {1,2,3,4,42,6,7,8,9});
        int forty_two = 42;
        auto rng3 = vi | views::replace_if([](int i){return i == 5;}, ref(forty_two));
        CPP_assert(same_as<range_value_t<decltype(rng3)>, int>);
        has_type<int &>(*begin(rng3));
        has_type<int const &>(iter_move(begin(rng3)));
        CPP_assert(view_<decltype(rng3)>);
        CPP_assert(sized_range<decltype(rng3)>);
        CPP_assert(common_range<decltype(rng3)>);
        CPP_assert(random_access_iterator<decltype(begin(rng3))>);
        ::check_equal(rng3, {1,2,3,4,42,6,7,8,9});
    }
    {
        auto rng4 = views::ints | views::replace_if([](int i){return i == 5;},42) | views::take(10);
        CPP_assert(same_as<range_value_t<decltype(rng4)>, int>);
        has_type<int>(*begin(rng4));
        has_type<int>(iter_move(begin(rng4)));
        CPP_assert(view_<decltype(rng4)>);
        CPP_assert(sized_range<decltype(rng4)>);
        CPP_assert(!common_range<decltype(rng4)>);
        CPP_assert(random_access_iterator<decltype(begin(rng4))>);
        ::check_equal(rng4, {0,1,2,3,4,42,6,7,8,9});
    }
    {
        // Check with a mutable predicate
        int rgi[] = {0,1,2,3,4,5,6,7,8,9};
        bool flag = false;
        auto mutable_only = views::replace_if(rgi, [flag](int) mutable { return flag = !flag;}, 42);
        ::check_equal(mutable_only, {42,1,42,3,42,5,42,7,42,9});
        CPP_assert(view_<decltype(mutable_only)>);
        CPP_assert(!view_<decltype(mutable_only) const>);
    }
    {
        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};
        auto rng = debug_input_view<int const>{some_ints} |
            views::replace_if([](int i){ return i == 1; }, 42);
        ::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});
    }
    return test_result();
}