xref: /openbsd-src/gnu/llvm/libcxx/include/__fwd/get.h (revision 4bdff4bed0e3d54e55670334c7d0077db4170f86)
1*4bdff4beSrobert //===----------------------------------------------------------------------===//
2*4bdff4beSrobert //
3*4bdff4beSrobert // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*4bdff4beSrobert // See https://llvm.org/LICENSE.txt for license information.
5*4bdff4beSrobert // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*4bdff4beSrobert //
7*4bdff4beSrobert //===----------------------------------------------------------------------===//
8*4bdff4beSrobert 
9*4bdff4beSrobert #ifndef _LIBCPP___FWD_GET_H
10*4bdff4beSrobert #define _LIBCPP___FWD_GET_H
11*4bdff4beSrobert 
12*4bdff4beSrobert #include <__concepts/copyable.h>
13*4bdff4beSrobert #include <__config>
14*4bdff4beSrobert #include <__fwd/array.h>
15*4bdff4beSrobert #include <__fwd/pair.h>
16*4bdff4beSrobert #include <__fwd/subrange.h>
17*4bdff4beSrobert #include <__fwd/tuple.h>
18*4bdff4beSrobert #include <__tuple_dir/tuple_element.h>
19*4bdff4beSrobert #include <cstddef>
20*4bdff4beSrobert 
21*4bdff4beSrobert #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
22*4bdff4beSrobert #  pragma GCC system_header
23*4bdff4beSrobert #endif
24*4bdff4beSrobert 
25*4bdff4beSrobert _LIBCPP_BEGIN_NAMESPACE_STD
26*4bdff4beSrobert 
27*4bdff4beSrobert #ifndef _LIBCPP_CXX03_LANG
28*4bdff4beSrobert 
29*4bdff4beSrobert template <size_t _Ip, class ..._Tp>
30*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
31*4bdff4beSrobert typename tuple_element<_Ip, tuple<_Tp...> >::type&
32*4bdff4beSrobert get(tuple<_Tp...>&) _NOEXCEPT;
33*4bdff4beSrobert 
34*4bdff4beSrobert template <size_t _Ip, class ..._Tp>
35*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
36*4bdff4beSrobert const typename tuple_element<_Ip, tuple<_Tp...> >::type&
37*4bdff4beSrobert get(const tuple<_Tp...>&) _NOEXCEPT;
38*4bdff4beSrobert 
39*4bdff4beSrobert template <size_t _Ip, class ..._Tp>
40*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
41*4bdff4beSrobert typename tuple_element<_Ip, tuple<_Tp...> >::type&&
42*4bdff4beSrobert get(tuple<_Tp...>&&) _NOEXCEPT;
43*4bdff4beSrobert 
44*4bdff4beSrobert template <size_t _Ip, class ..._Tp>
45*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
46*4bdff4beSrobert const typename tuple_element<_Ip, tuple<_Tp...> >::type&&
47*4bdff4beSrobert get(const tuple<_Tp...>&&) _NOEXCEPT;
48*4bdff4beSrobert 
49*4bdff4beSrobert #endif //_LIBCPP_CXX03_LANG
50*4bdff4beSrobert 
51*4bdff4beSrobert template <size_t _Ip, class _T1, class _T2>
52*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
53*4bdff4beSrobert typename tuple_element<_Ip, pair<_T1, _T2> >::type&
54*4bdff4beSrobert get(pair<_T1, _T2>&) _NOEXCEPT;
55*4bdff4beSrobert 
56*4bdff4beSrobert template <size_t _Ip, class _T1, class _T2>
57*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
58*4bdff4beSrobert const typename tuple_element<_Ip, pair<_T1, _T2> >::type&
59*4bdff4beSrobert get(const pair<_T1, _T2>&) _NOEXCEPT;
60*4bdff4beSrobert 
61*4bdff4beSrobert #ifndef _LIBCPP_CXX03_LANG
62*4bdff4beSrobert template <size_t _Ip, class _T1, class _T2>
63*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
64*4bdff4beSrobert typename tuple_element<_Ip, pair<_T1, _T2> >::type&&
65*4bdff4beSrobert get(pair<_T1, _T2>&&) _NOEXCEPT;
66*4bdff4beSrobert 
67*4bdff4beSrobert template <size_t _Ip, class _T1, class _T2>
68*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
69*4bdff4beSrobert const typename tuple_element<_Ip, pair<_T1, _T2> >::type&&
70*4bdff4beSrobert get(const pair<_T1, _T2>&&) _NOEXCEPT;
71*4bdff4beSrobert #endif
72*4bdff4beSrobert 
73*4bdff4beSrobert template <size_t _Ip, class _Tp, size_t _Size>
74*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
75*4bdff4beSrobert _Tp&
76*4bdff4beSrobert get(array<_Tp, _Size>&) _NOEXCEPT;
77*4bdff4beSrobert 
78*4bdff4beSrobert template <size_t _Ip, class _Tp, size_t _Size>
79*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
80*4bdff4beSrobert const _Tp&
81*4bdff4beSrobert get(const array<_Tp, _Size>&) _NOEXCEPT;
82*4bdff4beSrobert 
83*4bdff4beSrobert #ifndef _LIBCPP_CXX03_LANG
84*4bdff4beSrobert template <size_t _Ip, class _Tp, size_t _Size>
85*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
86*4bdff4beSrobert _Tp&&
87*4bdff4beSrobert get(array<_Tp, _Size>&&) _NOEXCEPT;
88*4bdff4beSrobert 
89*4bdff4beSrobert template <size_t _Ip, class _Tp, size_t _Size>
90*4bdff4beSrobert _LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR_SINCE_CXX14
91*4bdff4beSrobert const _Tp&&
92*4bdff4beSrobert get(const array<_Tp, _Size>&&) _NOEXCEPT;
93*4bdff4beSrobert #endif
94*4bdff4beSrobert 
95*4bdff4beSrobert #if _LIBCPP_STD_VER >= 20
96*4bdff4beSrobert 
97*4bdff4beSrobert namespace ranges {
98*4bdff4beSrobert 
99*4bdff4beSrobert template <size_t _Index, class _Iter, class _Sent, subrange_kind _Kind>
100*4bdff4beSrobert   requires((_Index == 0 && copyable<_Iter>) || _Index == 1)
101*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI constexpr auto get(const subrange<_Iter, _Sent, _Kind>& __subrange);
102*4bdff4beSrobert 
103*4bdff4beSrobert template <size_t _Index, class _Iter, class _Sent, subrange_kind _Kind>
104*4bdff4beSrobert   requires(_Index < 2)
105*4bdff4beSrobert _LIBCPP_HIDE_FROM_ABI constexpr auto get(subrange<_Iter, _Sent, _Kind>&& __subrange);
106*4bdff4beSrobert 
107*4bdff4beSrobert } // namespace ranges
108*4bdff4beSrobert 
109*4bdff4beSrobert using ranges::get;
110*4bdff4beSrobert 
111*4bdff4beSrobert #endif // _LIBCPP_STD_VER >= 20
112*4bdff4beSrobert 
113*4bdff4beSrobert _LIBCPP_END_NAMESPACE_STD
114*4bdff4beSrobert 
115*4bdff4beSrobert #endif // _LIBCPP___FWD_GET_H
116