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_OUT_RESULT_H
11#define _LIBCPP___ALGORITHM_IN_IN_OUT_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_PUSH_MACROS
22#include <__undef_macros>
23
24_LIBCPP_BEGIN_NAMESPACE_STD
25
26#if _LIBCPP_STD_VER >= 20
27
28namespace ranges {
29
30template <class _InIter1, class _InIter2, class _OutIter1>
31struct in_in_out_result {
32  _LIBCPP_NO_UNIQUE_ADDRESS _InIter1 in1;
33  _LIBCPP_NO_UNIQUE_ADDRESS _InIter2 in2;
34  _LIBCPP_NO_UNIQUE_ADDRESS _OutIter1 out;
35
36  template <class _InIter3, class _InIter4, class _OutIter2>
37    requires convertible_to<const _InIter1&, _InIter3> && convertible_to<const _InIter2&, _InIter4> &&
38             convertible_to<const _OutIter1&, _OutIter2>
39  _LIBCPP_HIDE_FROM_ABI constexpr operator in_in_out_result<_InIter3, _InIter4, _OutIter2>() const& {
40    return {in1, in2, out};
41  }
42
43  template <class _InIter3, class _InIter4, class _OutIter2>
44    requires convertible_to<_InIter1, _InIter3> && convertible_to<_InIter2, _InIter4> &&
45             convertible_to<_OutIter1, _OutIter2>
46  _LIBCPP_HIDE_FROM_ABI constexpr operator in_in_out_result<_InIter3, _InIter4, _OutIter2>() && {
47    return {std::move(in1), std::move(in2), std::move(out)};
48  }
49};
50
51} // namespace ranges
52
53#endif // _LIBCPP_STD_VER >= 20
54
55_LIBCPP_END_NAMESPACE_STD
56
57_LIBCPP_POP_MACROS
58
59#endif // _LIBCPP___ALGORITHM_IN_IN_OUT_RESULT_H