1 //===----------------------------------------------------------------------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 #ifndef _LIBCPP___ALGORITHM_RANGES_COPY_H
10 #define _LIBCPP___ALGORITHM_RANGES_COPY_H
12 #include <__cxx03/__algorithm/copy.h>
13 #include <__cxx03/__algorithm/in_out_result.h>
14 #include <__cxx03/__algorithm/iterator_operations.h>
15 #include <__cxx03/__config>
16 #include <__cxx03/__functional/identity.h>
17 #include <__cxx03/__iterator/concepts.h>
18 #include <__cxx03/__ranges/access.h>
19 #include <__cxx03/__ranges/concepts.h>
20 #include <__cxx03/__ranges/dangling.h>
21 #include <__cxx03/__utility/move.h>
22 #include <__cxx03/__utility/pair.h>
24 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
25 # pragma GCC system_header
29 #include <__cxx03/__undef_macros>
31 #if _LIBCPP_STD_VER >= 20
33 _LIBCPP_BEGIN_NAMESPACE_STD
37 template <class _InIter
, class _OutIter
>
38 using copy_result
= in_out_result
<_InIter
, _OutIter
>;
42 template <input_iterator _InIter
, sentinel_for
<_InIter
> _Sent
, weakly_incrementable _OutIter
>
43 requires indirectly_copyable
<_InIter
, _OutIter
>
44 _LIBCPP_HIDE_FROM_ABI
constexpr copy_result
<_InIter
, _OutIter
>
45 operator()(_InIter __first
, _Sent __last
, _OutIter __result
) const {
46 auto __ret
= std::__copy
<_RangeAlgPolicy
>(std::move(__first
), std::move(__last
), std::move(__result
));
47 return {std::move(__ret
.first
), std::move(__ret
.second
)};
50 template <input_range _Range
, weakly_incrementable _OutIter
>
51 requires indirectly_copyable
<iterator_t
<_Range
>, _OutIter
>
52 _LIBCPP_HIDE_FROM_ABI
constexpr copy_result
<borrowed_iterator_t
<_Range
>, _OutIter
>
53 operator()(_Range
&& __r
, _OutIter __result
) const {
54 auto __ret
= std::__copy
<_RangeAlgPolicy
>(ranges::begin(__r
), ranges::end(__r
), std::move(__result
));
55 return {std::move(__ret
.first
), std::move(__ret
.second
)};
60 inline namespace __cpo
{
61 inline constexpr auto copy
= __copy::__fn
{};
65 _LIBCPP_END_NAMESPACE_STD
67 #endif // _LIBCPP_STD_VER >= 20
71 #endif // _LIBCPP___ALGORITHM_RANGES_COPY_H