109 lines · c
1// -*- C++ -*-2//===----------------------------------------------------------------------===//3//4// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.5// See https://llvm.org/LICENSE.txt for license information.6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception7//8//===----------------------------------------------------------------------===//9 10#ifndef _LIBCPP___ITERATOR_ITER_SWAP_H11#define _LIBCPP___ITERATOR_ITER_SWAP_H12 13#include <__concepts/class_or_enum.h>14#include <__concepts/swappable.h>15#include <__config>16#include <__iterator/concepts.h>17#include <__iterator/iter_move.h>18#include <__iterator/iterator_traits.h>19#include <__iterator/readable_traits.h>20#include <__type_traits/remove_cvref.h>21#include <__utility/declval.h>22#include <__utility/forward.h>23#include <__utility/move.h>24 25#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)26# pragma GCC system_header27#endif28 29_LIBCPP_PUSH_MACROS30#include <__undef_macros>31 32_LIBCPP_BEGIN_NAMESPACE_STD33 34#if _LIBCPP_STD_VER >= 2035 36// [iter.cust.swap]37 38namespace ranges {39namespace __iter_swap {40template <class _I1, class _I2>41void iter_swap(_I1, _I2) = delete;42 43template <class _T1, class _T2>44concept __unqualified_iter_swap =45 (__class_or_enum<remove_cvref_t<_T1>> || __class_or_enum<remove_cvref_t<_T2>>) && requires(_T1&& __x, _T2&& __y) {46 // NOLINTNEXTLINE(libcpp-robust-against-adl) iter_swap ADL calls should only be made through ranges::iter_swap47 iter_swap(std::forward<_T1>(__x), std::forward<_T2>(__y));48 };49 50template <class _T1, class _T2>51concept __readable_swappable =52 indirectly_readable<_T1> && indirectly_readable<_T2> &&53 swappable_with<iter_reference_t<_T1>, iter_reference_t<_T2>>;54 55struct __fn {56 // NOLINTBEGIN(libcpp-robust-against-adl) iter_swap ADL calls should only be made through ranges::iter_swap57 template <class _T1, class _T2>58 requires __unqualified_iter_swap<_T1, _T2>59 _LIBCPP_HIDE_FROM_ABI constexpr void operator()(_T1&& __x, _T2&& __y) const60 noexcept(noexcept(iter_swap(std::forward<_T1>(__x), std::forward<_T2>(__y)))) {61 (void)iter_swap(std::forward<_T1>(__x), std::forward<_T2>(__y));62 }63 // NOLINTEND(libcpp-robust-against-adl)64 65 template <class _T1, class _T2>66 requires(!__unqualified_iter_swap<_T1, _T2>) && __readable_swappable<_T1, _T2>67 _LIBCPP_HIDE_FROM_ABI constexpr void operator()(_T1&& __x, _T2&& __y) const68 noexcept(noexcept(ranges::swap(*std::forward<_T1>(__x), *std::forward<_T2>(__y)))) {69 ranges::swap(*std::forward<_T1>(__x), *std::forward<_T2>(__y));70 }71 72 template <class _T1, class _T2>73 requires(!__unqualified_iter_swap<_T1, _T2> && //74 !__readable_swappable<_T1, _T2>) && //75 indirectly_movable_storable<_T1, _T2> && //76 indirectly_movable_storable<_T2, _T1>77 _LIBCPP_HIDE_FROM_ABI constexpr void operator()(_T1&& __x, _T2&& __y) const78 noexcept(noexcept(iter_value_t<_T2>(ranges::iter_move(__y))) && //79 noexcept(*__y = ranges::iter_move(__x)) && //80 noexcept(*std::forward<_T1>(__x) = std::declval<iter_value_t<_T2>>())) {81 iter_value_t<_T2> __old(ranges::iter_move(__y));82 *__y = ranges::iter_move(__x);83 *std::forward<_T1>(__x) = std::move(__old);84 }85};86} // namespace __iter_swap87 88inline namespace __cpo {89inline constexpr auto iter_swap = __iter_swap::__fn{};90} // namespace __cpo91} // namespace ranges92 93template <class _I1, class _I2 = _I1>94concept indirectly_swappable =95 indirectly_readable<_I1> && indirectly_readable<_I2> && requires(const _I1 __i1, const _I2 __i2) {96 ranges::iter_swap(__i1, __i1);97 ranges::iter_swap(__i2, __i2);98 ranges::iter_swap(__i1, __i2);99 ranges::iter_swap(__i2, __i1);100 };101 102#endif // _LIBCPP_STD_VER >= 20103 104_LIBCPP_END_NAMESPACE_STD105 106_LIBCPP_POP_MACROS107 108#endif // _LIBCPP___ITERATOR_ITER_SWAP_H109