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
|
/// \file
// 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
//
#ifndef RANGES_V3_ALGORITHM_REPLACE_COPY_HPP
#define RANGES_V3_ALGORITHM_REPLACE_COPY_HPP
#include <meta/meta.hpp>
#include <range/v3/range_fwd.hpp>
#include <range/v3/algorithm/result_types.hpp>
#include <range/v3/functional/identity.hpp>
#include <range/v3/functional/invoke.hpp>
#include <range/v3/iterator/concepts.hpp>
#include <range/v3/iterator/traits.hpp>
#include <range/v3/range/access.hpp>
#include <range/v3/range/concepts.hpp>
#include <range/v3/range/dangling.hpp>
#include <range/v3/range/traits.hpp>
#include <range/v3/utility/static_const.hpp>
#include <range/v3/detail/prologue.hpp>
namespace ranges
{
/// \addtogroup group-algorithms
/// @{
template<typename I, typename O>
using replace_copy_result = detail::in_out_result<I, O>;
RANGES_FUNC_BEGIN(replace_copy)
/// \brief function template \c replace_copy
template(typename I,
typename S,
typename O,
typename T1,
typename T2,
typename P = identity)(
requires input_iterator<I> AND sentinel_for<S, I> AND
output_iterator<O, T2 const &> AND indirectly_copyable<I, O> AND
indirect_relation<equal_to, projected<I, P>, T1 const *>)
constexpr replace_copy_result<I, O> RANGES_FUNC(replace_copy)(I first,
S last,
O out,
T1 const & old_value,
T2 const & new_value,
P proj = {}) //
{
for(; first != last; ++first, ++out)
{
auto && x = *first;
if(invoke(proj, x) == old_value)
*out = new_value;
else
*out = (decltype(x) &&)x;
}
return {first, out};
}
/// \overload
template(typename Rng,
typename O,
typename T1,
typename T2,
typename P = identity)(
requires input_range<Rng> AND output_iterator<O, T2 const &> AND
indirectly_copyable<iterator_t<Rng>, O> AND
indirect_relation<equal_to, projected<iterator_t<Rng>, P>, T1 const *>)
constexpr replace_copy_result<borrowed_iterator_t<Rng>, O> RANGES_FUNC(replace_copy)(
Rng && rng, O out, T1 const & old_value, T2 const & new_value, P proj = {}) //
{
return (*this)(begin(rng),
end(rng),
std::move(out),
old_value,
new_value,
std::move(proj));
}
RANGES_FUNC_END(replace_copy)
namespace cpp20
{
using ranges::replace_copy;
using ranges::replace_copy_result;
} // namespace cpp20
/// @}
} // namespace ranges
#include <range/v3/detail/epilogue.hpp>
#endif
|