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_OUT_VALUE_RESULT_H
11#define _LIBCPP___ALGORITHM_OUT_VALUE_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 >= 23
27
28namespace ranges {
29
30template <class _OutIter1, class _ValType1>
31struct out_value_result {
32  _LIBCPP_NO_UNIQUE_ADDRESS _OutIter1 out;
33  _LIBCPP_NO_UNIQUE_ADDRESS _ValType1 value;
34
35  template <class _OutIter2, class _ValType2>
36    requires convertible_to<const _OutIter1&, _OutIter2> && convertible_to<const _ValType1&, _ValType2>
37  _LIBCPP_HIDE_FROM_ABI constexpr operator out_value_result<_OutIter2, _ValType2>() const& {
38    return {out, value};
39  }
40
41  template <class _OutIter2, class _ValType2>
42    requires convertible_to<_OutIter1, _OutIter2> && convertible_to<_ValType1, _ValType2>
43  _LIBCPP_HIDE_FROM_ABI constexpr operator out_value_result<_OutIter2, _ValType2>() && {
44    return {std::move(out), std::move(value)};
45  }
46};
47
48} // namespace ranges
49
50#endif // _LIBCPP_STD_VER >= 23
51
52_LIBCPP_END_NAMESPACE_STD
53
54_LIBCPP_POP_MACROS
55
56#endif // _LIBCPP___ALGORITHM_OUT_VALUE_RESULT_H