libcxx/include/__algorithm/in_in_result.h

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