xref: /llvm-project/libcxx/include/__algorithm/ranges_remove_copy.h (revision d10dc5a06fac4dcabf2264c64c8672c6f6ae36fb)
173ebcabfSKonstantin Varlamov //===----------------------------------------------------------------------===//
273ebcabfSKonstantin Varlamov //
373ebcabfSKonstantin Varlamov // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
473ebcabfSKonstantin Varlamov // See https://llvm.org/LICENSE.txt for license information.
573ebcabfSKonstantin Varlamov // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
673ebcabfSKonstantin Varlamov //
773ebcabfSKonstantin Varlamov //===----------------------------------------------------------------------===//
873ebcabfSKonstantin Varlamov 
973ebcabfSKonstantin Varlamov #ifndef _LIBCPP___ALGORITHM_RANGES_REMOVE_COPY_H
1073ebcabfSKonstantin Varlamov #define _LIBCPP___ALGORITHM_RANGES_REMOVE_COPY_H
1173ebcabfSKonstantin Varlamov 
1273ebcabfSKonstantin Varlamov #include <__algorithm/in_out_result.h>
13760d2b46SNikolas Klauser #include <__algorithm/ranges_remove_copy_if.h>
1473ebcabfSKonstantin Varlamov #include <__config>
1573ebcabfSKonstantin Varlamov #include <__functional/identity.h>
1673ebcabfSKonstantin Varlamov #include <__functional/invoke.h>
1773ebcabfSKonstantin Varlamov #include <__functional/ranges_operations.h>
1873ebcabfSKonstantin Varlamov #include <__iterator/concepts.h>
1973ebcabfSKonstantin Varlamov #include <__iterator/projected.h>
2073ebcabfSKonstantin Varlamov #include <__ranges/access.h>
2173ebcabfSKonstantin Varlamov #include <__ranges/concepts.h>
2273ebcabfSKonstantin Varlamov #include <__ranges/dangling.h>
2373ebcabfSKonstantin Varlamov #include <__utility/move.h>
2473ebcabfSKonstantin Varlamov 
2573ebcabfSKonstantin Varlamov #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
2673ebcabfSKonstantin Varlamov #  pragma GCC system_header
2773ebcabfSKonstantin Varlamov #endif
2873ebcabfSKonstantin Varlamov 
297b462251SLouis Dionne _LIBCPP_PUSH_MACROS
307b462251SLouis Dionne #include <__undef_macros>
317b462251SLouis Dionne 
324f15267dSNikolas Klauser #if _LIBCPP_STD_VER >= 20
3373ebcabfSKonstantin Varlamov 
3473ebcabfSKonstantin Varlamov _LIBCPP_BEGIN_NAMESPACE_STD
3573ebcabfSKonstantin Varlamov 
3673ebcabfSKonstantin Varlamov namespace ranges {
3773ebcabfSKonstantin Varlamov 
3873ebcabfSKonstantin Varlamov template <class _InIter, class _OutIter>
3973ebcabfSKonstantin Varlamov using remove_copy_result = in_out_result<_InIter, _OutIter>;
4073ebcabfSKonstantin Varlamov 
41*d10dc5a0SChristopher Di Bella struct __remove_copy {
42760d2b46SNikolas Klauser   template <input_iterator _InIter,
43760d2b46SNikolas Klauser             sentinel_for<_InIter> _Sent,
44760d2b46SNikolas Klauser             weakly_incrementable _OutIter,
45760d2b46SNikolas Klauser             class _Type,
4673ebcabfSKonstantin Varlamov             class _Proj = identity>
4773ebcabfSKonstantin Varlamov     requires indirectly_copyable<_InIter, _OutIter> &&
4873ebcabfSKonstantin Varlamov              indirect_binary_predicate<ranges::equal_to, projected<_InIter, _Proj>, const _Type*>
49760d2b46SNikolas Klauser   _LIBCPP_HIDE_FROM_ABI constexpr remove_copy_result<_InIter, _OutIter>
5073ebcabfSKonstantin Varlamov   operator()(_InIter __first, _Sent __last, _OutIter __result, const _Type& __value, _Proj __proj = {}) const {
5102540b2fSLouis Dionne     auto __pred = [&](auto&& __val) -> bool { return __value == __val; };
52760d2b46SNikolas Klauser     return ranges::__remove_copy_if_impl(std::move(__first), std::move(__last), std::move(__result), __pred, __proj);
5373ebcabfSKonstantin Varlamov   }
5473ebcabfSKonstantin Varlamov 
5573ebcabfSKonstantin Varlamov   template <input_range _Range, weakly_incrementable _OutIter, class _Type, class _Proj = identity>
5673ebcabfSKonstantin Varlamov     requires indirectly_copyable<iterator_t<_Range>, _OutIter> &&
5773ebcabfSKonstantin Varlamov              indirect_binary_predicate<ranges::equal_to, projected<iterator_t<_Range>, _Proj>, const _Type*>
58760d2b46SNikolas Klauser   _LIBCPP_HIDE_FROM_ABI constexpr remove_copy_result<borrowed_iterator_t<_Range>, _OutIter>
5973ebcabfSKonstantin Varlamov   operator()(_Range&& __range, _OutIter __result, const _Type& __value, _Proj __proj = {}) const {
6002540b2fSLouis Dionne     auto __pred = [&](auto&& __val) -> bool { return __value == __val; };
61760d2b46SNikolas Klauser     return ranges::__remove_copy_if_impl(
62760d2b46SNikolas Klauser         ranges::begin(__range), ranges::end(__range), std::move(__result), __pred, __proj);
6373ebcabfSKonstantin Varlamov   }
6473ebcabfSKonstantin Varlamov };
6573ebcabfSKonstantin Varlamov 
6673ebcabfSKonstantin Varlamov inline namespace __cpo {
67*d10dc5a0SChristopher Di Bella inline constexpr auto remove_copy = __remove_copy{};
6873ebcabfSKonstantin Varlamov } // namespace __cpo
6973ebcabfSKonstantin Varlamov } // namespace ranges
7073ebcabfSKonstantin Varlamov 
7173ebcabfSKonstantin Varlamov _LIBCPP_END_NAMESPACE_STD
7273ebcabfSKonstantin Varlamov 
734f15267dSNikolas Klauser #endif // _LIBCPP_STD_VER >= 20
7473ebcabfSKonstantin Varlamov 
757b462251SLouis Dionne _LIBCPP_POP_MACROS
767b462251SLouis Dionne 
7773ebcabfSKonstantin Varlamov #endif // _LIBCPP___ALGORITHM_RANGES_REMOVE_COPY_H
78