xref: /llvm-project/libcxx/include/__algorithm/ranges_copy_backward.h (revision d10dc5a06fac4dcabf2264c64c8672c6f6ae36fb)
11d83750fSNikolas Klauser //===----------------------------------------------------------------------===//
21d83750fSNikolas Klauser //
31d83750fSNikolas Klauser // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
41d83750fSNikolas Klauser // See https://llvm.org/LICENSE.txt for license information.
51d83750fSNikolas Klauser // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
61d83750fSNikolas Klauser //
71d83750fSNikolas Klauser //===----------------------------------------------------------------------===//
81d83750fSNikolas Klauser 
91d83750fSNikolas Klauser #ifndef _LIBCPP___ALGORITHM_RANGES_COPY_BACKWARD_H
101d83750fSNikolas Klauser #define _LIBCPP___ALGORITHM_RANGES_COPY_BACKWARD_H
111d83750fSNikolas Klauser 
121d83750fSNikolas Klauser #include <__algorithm/copy_backward.h>
131d83750fSNikolas Klauser #include <__algorithm/in_out_result.h>
1420a11cb5SNikolas Klauser #include <__algorithm/iterator_operations.h>
151d83750fSNikolas Klauser #include <__config>
161d83750fSNikolas Klauser #include <__iterator/concepts.h>
171d83750fSNikolas Klauser #include <__ranges/access.h>
181d83750fSNikolas Klauser #include <__ranges/concepts.h>
191d83750fSNikolas Klauser #include <__ranges/dangling.h>
201d83750fSNikolas Klauser #include <__utility/move.h>
211d83750fSNikolas Klauser 
221d83750fSNikolas Klauser #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
231d83750fSNikolas Klauser #  pragma GCC system_header
241d83750fSNikolas Klauser #endif
251d83750fSNikolas Klauser 
267b462251SLouis Dionne _LIBCPP_PUSH_MACROS
277b462251SLouis Dionne #include <__undef_macros>
287b462251SLouis Dionne 
294f15267dSNikolas Klauser #if _LIBCPP_STD_VER >= 20
301d83750fSNikolas Klauser 
311d83750fSNikolas Klauser _LIBCPP_BEGIN_NAMESPACE_STD
321d83750fSNikolas Klauser 
331d83750fSNikolas Klauser namespace ranges {
341d83750fSNikolas Klauser 
351d83750fSNikolas Klauser template <class _Ip, class _Op>
361d83750fSNikolas Klauser using copy_backward_result = in_out_result<_Ip, _Op>;
371d83750fSNikolas Klauser 
38*d10dc5a0SChristopher Di Bella struct __copy_backward {
391d83750fSNikolas Klauser   template <bidirectional_iterator _InIter1, sentinel_for<_InIter1> _Sent1, bidirectional_iterator _InIter2>
401d83750fSNikolas Klauser     requires indirectly_copyable<_InIter1, _InIter2>
415aa03b64SLouis Dionne   _LIBCPP_HIDE_FROM_ABI constexpr copy_backward_result<_InIter1, _InIter2>
425aa03b64SLouis Dionne   operator()(_InIter1 __first, _Sent1 __last, _InIter2 __result) const {
4320a11cb5SNikolas Klauser     auto __ret = std::__copy_backward<_RangeAlgPolicy>(std::move(__first), std::move(__last), std::move(__result));
441d83750fSNikolas Klauser     return {std::move(__ret.first), std::move(__ret.second)};
451d83750fSNikolas Klauser   }
461d83750fSNikolas Klauser 
471d83750fSNikolas Klauser   template <bidirectional_range _Range, bidirectional_iterator _Iter>
481d83750fSNikolas Klauser     requires indirectly_copyable<iterator_t<_Range>, _Iter>
495aa03b64SLouis Dionne   _LIBCPP_HIDE_FROM_ABI constexpr copy_backward_result<borrowed_iterator_t<_Range>, _Iter>
505aa03b64SLouis Dionne   operator()(_Range&& __r, _Iter __result) const {
5120a11cb5SNikolas Klauser     auto __ret = std::__copy_backward<_RangeAlgPolicy>(ranges::begin(__r), ranges::end(__r), std::move(__result));
521d83750fSNikolas Klauser     return {std::move(__ret.first), std::move(__ret.second)};
531d83750fSNikolas Klauser   }
541d83750fSNikolas Klauser };
551d83750fSNikolas Klauser 
561d83750fSNikolas Klauser inline namespace __cpo {
57*d10dc5a0SChristopher Di Bella inline constexpr auto copy_backward = __copy_backward{};
581d83750fSNikolas Klauser } // namespace __cpo
591d83750fSNikolas Klauser } // namespace ranges
601d83750fSNikolas Klauser 
611d83750fSNikolas Klauser _LIBCPP_END_NAMESPACE_STD
621d83750fSNikolas Klauser 
634f15267dSNikolas Klauser #endif // _LIBCPP_STD_VER >= 20
641d83750fSNikolas Klauser 
657b462251SLouis Dionne _LIBCPP_POP_MACROS
667b462251SLouis Dionne 
671d83750fSNikolas Klauser #endif // _LIBCPP___ALGORITHM_RANGES_COPY_BACKWARD_H
68