copy.h 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124
  1. //===----------------------------------------------------------------------===//
  2. //
  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
  6. //
  7. //===----------------------------------------------------------------------===//
  8. #ifndef _LIBCPP___ALGORITHM_COPY_H
  9. #define _LIBCPP___ALGORITHM_COPY_H
  10. #include <__algorithm/copy_move_common.h>
  11. #include <__algorithm/for_each_segment.h>
  12. #include <__algorithm/iterator_operations.h>
  13. #include <__algorithm/min.h>
  14. #include <__config>
  15. #include <__iterator/segmented_iterator.h>
  16. #include <__type_traits/common_type.h>
  17. #include <__utility/move.h>
  18. #include <__utility/pair.h>
  19. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  20. # pragma GCC system_header
  21. #endif
  22. _LIBCPP_PUSH_MACROS
  23. #include <__undef_macros>
  24. _LIBCPP_BEGIN_NAMESPACE_STD
  25. template <class, class _InIter, class _Sent, class _OutIter>
  26. inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14 pair<_InIter, _OutIter> __copy(_InIter, _Sent, _OutIter);
  27. template <class _AlgPolicy>
  28. struct __copy_loop {
  29. template <class _InIter, class _Sent, class _OutIter>
  30. _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14 pair<_InIter, _OutIter>
  31. operator()(_InIter __first, _Sent __last, _OutIter __result) const {
  32. while (__first != __last) {
  33. *__result = *__first;
  34. ++__first;
  35. ++__result;
  36. }
  37. return std::make_pair(std::move(__first), std::move(__result));
  38. }
  39. template <class _InIter, class _OutIter>
  40. struct _CopySegment {
  41. using _Traits = __segmented_iterator_traits<_InIter>;
  42. _OutIter& __result_;
  43. _LIBCPP_HIDE_FROM_ABI _CopySegment(_OutIter& __result) : __result_(__result) {}
  44. _LIBCPP_HIDE_FROM_ABI void
  45. operator()(typename _Traits::__local_iterator __lfirst, typename _Traits::__local_iterator __llast) {
  46. __result_ = std::__copy<_AlgPolicy>(__lfirst, __llast, std::move(__result_)).second;
  47. }
  48. };
  49. template <class _InIter, class _OutIter, __enable_if_t<__is_segmented_iterator<_InIter>::value, int> = 0>
  50. _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14 pair<_InIter, _OutIter>
  51. operator()(_InIter __first, _InIter __last, _OutIter __result) const {
  52. std::__for_each_segment(__first, __last, _CopySegment<_InIter, _OutIter>(__result));
  53. return std::make_pair(__last, std::move(__result));
  54. }
  55. template <class _InIter,
  56. class _OutIter,
  57. __enable_if_t<__has_random_access_iterator_category<_InIter>::value &&
  58. !__is_segmented_iterator<_InIter>::value && __is_segmented_iterator<_OutIter>::value,
  59. int> = 0>
  60. _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14 pair<_InIter, _OutIter>
  61. operator()(_InIter __first, _InIter __last, _OutIter __result) const {
  62. using _Traits = __segmented_iterator_traits<_OutIter>;
  63. using _DiffT = typename common_type<__iter_diff_t<_InIter>, __iter_diff_t<_OutIter> >::type;
  64. if (__first == __last)
  65. return std::make_pair(std::move(__first), std::move(__result));
  66. auto __local_first = _Traits::__local(__result);
  67. auto __segment_iterator = _Traits::__segment(__result);
  68. while (true) {
  69. auto __local_last = _Traits::__end(__segment_iterator);
  70. auto __size = std::min<_DiffT>(__local_last - __local_first, __last - __first);
  71. auto __iters = std::__copy<_AlgPolicy>(__first, __first + __size, __local_first);
  72. __first = std::move(__iters.first);
  73. if (__first == __last)
  74. return std::make_pair(std::move(__first), _Traits::__compose(__segment_iterator, std::move(__iters.second)));
  75. __local_first = _Traits::__begin(++__segment_iterator);
  76. }
  77. }
  78. };
  79. struct __copy_trivial {
  80. // At this point, the iterators have been unwrapped so any `contiguous_iterator` has been unwrapped to a pointer.
  81. template <class _In, class _Out, __enable_if_t<__can_lower_copy_assignment_to_memmove<_In, _Out>::value, int> = 0>
  82. _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14 pair<_In*, _Out*>
  83. operator()(_In* __first, _In* __last, _Out* __result) const {
  84. return std::__copy_trivial_impl(__first, __last, __result);
  85. }
  86. };
  87. template <class _AlgPolicy, class _InIter, class _Sent, class _OutIter>
  88. pair<_InIter, _OutIter> inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14
  89. __copy(_InIter __first, _Sent __last, _OutIter __result) {
  90. return std::__dispatch_copy_or_move<_AlgPolicy, __copy_loop<_AlgPolicy>, __copy_trivial>(
  91. std::move(__first), std::move(__last), std::move(__result));
  92. }
  93. template <class _InputIterator, class _OutputIterator>
  94. inline _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX20 _OutputIterator
  95. copy(_InputIterator __first, _InputIterator __last, _OutputIterator __result) {
  96. return std::__copy<_ClassicAlgPolicy>(__first, __last, __result).second;
  97. }
  98. _LIBCPP_END_NAMESPACE_STD
  99. _LIBCPP_POP_MACROS
  100. #endif // _LIBCPP___ALGORITHM_COPY_H