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-exception 7 // 8 //===----------------------------------------------------------------------===// 9 10 #ifndef _LIBCPP___ALGORITHM_IN_IN_RESULT_H 11 #define _LIBCPP___ALGORITHM_IN_IN_RESULT_H 12 13 #include <__concepts/convertible_to.h> 14 #include <__config> 15 #include <__utility/move.h> 16 17 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 18 # pragma GCC system_header 19 #endif 20 21 _LIBCPP_BEGIN_NAMESPACE_STD 22 23 #if _LIBCPP_STD_VER > 17 && !defined(_LIBCPP_HAS_NO_INCOMPLETE_RANGES) 24 25 namespace ranges { 26 27 template <class _InIter1, class _InIter2> 28 struct in_in_result { 29 _LIBCPP_NO_UNIQUE_ADDRESS _InIter1 in1; 30 _LIBCPP_NO_UNIQUE_ADDRESS _InIter2 in2; 31 32 template <class _InIter3, class _InIter4> 33 requires convertible_to<const _InIter1&, _InIter3> && convertible_to<const _InIter2&, _InIter4> 34 _LIBCPP_HIDE_FROM_ABI constexpr 35 operator in_in_result<_InIter3, _InIter4>() const & { 36 return {in1, in2}; 37 } 38 39 template <class _InIter3, class _InIter4> 40 requires convertible_to<_InIter1, _InIter3> && convertible_to<_InIter2, _InIter4> 41 _LIBCPP_HIDE_FROM_ABI constexpr 42 operator in_in_result<_InIter3, _InIter4>() && { 43 return {std::move(in1), std::move(in2)}; 44 } 45 }; 46 47 } // namespace ranges 48 49 #endif // _LIBCPP_STD_VER > 17 && !defined(_LIBCPP_HAS_NO_INCOMPLETE_RANGES) 50 51 _LIBCPP_END_NAMESPACE_STD 52 53 #endif // _LIBCPP___ALGORITHM_IN_IN_RESULT_H 54