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