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