57 lines · c
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-exception7//8//===----------------------------------------------------------------------===//9 10#ifndef _LIBCPP___ALGORITHM_OUT_VALUE_RESULT_H11#define _LIBCPP___ALGORITHM_OUT_VALUE_RESULT_H12 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_header19#endif20 21_LIBCPP_PUSH_MACROS22#include <__undef_macros>23 24_LIBCPP_BEGIN_NAMESPACE_STD25 26#if _LIBCPP_STD_VER >= 2327 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 ranges49 50#endif // _LIBCPP_STD_VER >= 2351 52_LIBCPP_END_NAMESPACE_STD53 54_LIBCPP_POP_MACROS55 56#endif // _LIBCPP___ALGORITHM_OUT_VALUE_RESULT_H57