|
236
|
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
|
|
|
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
|
|
|
50
|
|
|
51 _LIBCPP_END_NAMESPACE_STD
|
|
|
52
|
|
|
53 #endif // _LIBCPP___ALGORITHM_IN_IN_RESULT_H
|
