xref: /openbsd-src/gnu/llvm/libcxx/include/__algorithm/ranges_replace_copy.h (revision 4bdff4bed0e3d54e55670334c7d0077db4170f86)
1*4bdff4beSrobert //===----------------------------------------------------------------------===//
2*4bdff4beSrobert //
3*4bdff4beSrobert // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*4bdff4beSrobert // See https://llvm.org/LICENSE.txt for license information.
5*4bdff4beSrobert // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*4bdff4beSrobert //
7*4bdff4beSrobert //===----------------------------------------------------------------------===//
8*4bdff4beSrobert 
9*4bdff4beSrobert #ifndef _LIBCPP___ALGORITHM_RANGES_REPLACE_COPY_H
10*4bdff4beSrobert #define _LIBCPP___ALGORITHM_RANGES_REPLACE_COPY_H
11*4bdff4beSrobert 
12*4bdff4beSrobert #include <__algorithm/in_out_result.h>
13*4bdff4beSrobert #include <__algorithm/ranges_replace_copy_if.h>
14*4bdff4beSrobert #include <__config>
15*4bdff4beSrobert #include <__functional/identity.h>
16*4bdff4beSrobert #include <__functional/invoke.h>
17*4bdff4beSrobert #include <__functional/ranges_operations.h>
18*4bdff4beSrobert #include <__iterator/concepts.h>
19*4bdff4beSrobert #include <__iterator/projected.h>
20*4bdff4beSrobert #include <__ranges/access.h>
21*4bdff4beSrobert #include <__ranges/concepts.h>
22*4bdff4beSrobert #include <__ranges/dangling.h>
23*4bdff4beSrobert #include <__utility/move.h>
24*4bdff4beSrobert 
25*4bdff4beSrobert #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
26*4bdff4beSrobert #  pragma GCC system_header
27*4bdff4beSrobert #endif
28*4bdff4beSrobert 
29*4bdff4beSrobert #if _LIBCPP_STD_VER > 17
30*4bdff4beSrobert 
31*4bdff4beSrobert _LIBCPP_BEGIN_NAMESPACE_STD
32*4bdff4beSrobert 
33*4bdff4beSrobert namespace ranges {
34*4bdff4beSrobert 
35*4bdff4beSrobert template <class _InIter, class _OutIter>
36*4bdff4beSrobert using replace_copy_result = in_out_result<_InIter, _OutIter>;
37*4bdff4beSrobert 
38*4bdff4beSrobert namespace __replace_copy {
39*4bdff4beSrobert 
40*4bdff4beSrobert   struct __fn {
41*4bdff4beSrobert     template <input_iterator _InIter,
42*4bdff4beSrobert               sentinel_for<_InIter> _Sent,
43*4bdff4beSrobert               class _OldType,
44*4bdff4beSrobert               class _NewType,
45*4bdff4beSrobert               output_iterator<const _NewType&> _OutIter,
46*4bdff4beSrobert               class _Proj = identity>
47*4bdff4beSrobert       requires indirectly_copyable<_InIter, _OutIter> &&
48*4bdff4beSrobert                indirect_binary_predicate<ranges::equal_to, projected<_InIter, _Proj>, const _OldType*>
49*4bdff4beSrobert     _LIBCPP_HIDE_FROM_ABI constexpr replace_copy_result<_InIter, _OutIter>
operator__fn50*4bdff4beSrobert     operator()(_InIter __first,
51*4bdff4beSrobert                _Sent __last,
52*4bdff4beSrobert                _OutIter __result,
53*4bdff4beSrobert                const _OldType& __old_value,
54*4bdff4beSrobert                const _NewType& __new_value,
55*4bdff4beSrobert                _Proj __proj = {}) const {
56*4bdff4beSrobert       auto __pred = [&](const auto& __value) { return __value == __old_value; };
57*4bdff4beSrobert       return ranges::__replace_copy_if_impl(
58*4bdff4beSrobert           std::move(__first), std::move(__last), std::move(__result), __pred, __new_value, __proj);
59*4bdff4beSrobert     }
60*4bdff4beSrobert 
61*4bdff4beSrobert     template <input_range _Range,
62*4bdff4beSrobert               class _OldType,
63*4bdff4beSrobert               class _NewType,
64*4bdff4beSrobert               output_iterator<const _NewType&> _OutIter,
65*4bdff4beSrobert               class _Proj = identity>
66*4bdff4beSrobert       requires indirectly_copyable<iterator_t<_Range>, _OutIter> &&
67*4bdff4beSrobert                indirect_binary_predicate<ranges::equal_to, projected<iterator_t<_Range>, _Proj>, const _OldType*>
68*4bdff4beSrobert     _LIBCPP_HIDE_FROM_ABI constexpr replace_copy_result<borrowed_iterator_t<_Range>, _OutIter>
operator__fn69*4bdff4beSrobert     operator()(_Range&& __range,
70*4bdff4beSrobert                _OutIter __result,
71*4bdff4beSrobert                const _OldType& __old_value,
72*4bdff4beSrobert                const _NewType& __new_value,
73*4bdff4beSrobert                _Proj __proj = {}) const {
74*4bdff4beSrobert       auto __pred = [&](const auto& __value) { return __value == __old_value; };
75*4bdff4beSrobert       return ranges::__replace_copy_if_impl(
76*4bdff4beSrobert           ranges::begin(__range), ranges::end(__range), std::move(__result), __pred, __new_value, __proj);
77*4bdff4beSrobert     }
78*4bdff4beSrobert   };
79*4bdff4beSrobert 
80*4bdff4beSrobert } // namespace __replace_copy
81*4bdff4beSrobert 
82*4bdff4beSrobert inline namespace __cpo {
83*4bdff4beSrobert   inline constexpr auto replace_copy = __replace_copy::__fn{};
84*4bdff4beSrobert } // namespace __cpo
85*4bdff4beSrobert } // namespace ranges
86*4bdff4beSrobert 
87*4bdff4beSrobert _LIBCPP_END_NAMESPACE_STD
88*4bdff4beSrobert 
89*4bdff4beSrobert #endif // _LIBCPP_STD_VER > 17
90*4bdff4beSrobert 
91*4bdff4beSrobert #endif // _LIBCPP___ALGORITHM_RANGES_REPLACE_COPY_H
92