2 //===----------------------------------------------------------------------===//
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
8 //===----------------------------------------------------------------------===//
10 #ifndef _LIBCPP_FUNCTIONAL_BASE_03
11 #define _LIBCPP_FUNCTIONAL_BASE_03
13 // manual variadic expansion for <functional>
17 template <class _Ret, class _T1, bool _IsFunc, bool _IsBase>
18 struct __enable_invoke_imp;
20 template <class _Ret, class _T1>
21 struct __enable_invoke_imp<_Ret, _T1, true, true> {
22 typedef _Ret _Bullet1;
23 typedef _Bullet1 type;
26 template <class _Ret, class _T1>
27 struct __enable_invoke_imp<_Ret, _T1, true, false> {
28 typedef _Ret _Bullet2;
29 typedef _Bullet2 type;
32 template <class _Ret, class _T1>
33 struct __enable_invoke_imp<_Ret, _T1, false, true> {
34 typedef typename add_lvalue_reference<
35 typename __apply_cv<_T1, _Ret>::type
37 typedef _Bullet3 type;
40 template <class _Ret, class _T1>
41 struct __enable_invoke_imp<_Ret, _T1, false, false> {
42 typedef typename add_lvalue_reference<
43 typename __apply_cv<decltype(*_VSTD::declval<_T1>()), _Ret>::type
45 typedef _Bullet4 type;
48 template <class _Ret, class _T1>
49 struct __enable_invoke_imp<_Ret, _T1*, false, false> {
50 typedef typename add_lvalue_reference<
51 typename __apply_cv<_T1, _Ret>::type
53 typedef _Bullet4 type;
56 template <class _Fn, class _T1,
57 class _Traits = __member_pointer_traits<_Fn>,
58 class _Ret = typename _Traits::_ReturnType,
59 class _Class = typename _Traits::_ClassType>
60 struct __enable_invoke : __enable_invoke_imp<
62 is_member_function_pointer<_Fn>::value,
63 is_base_of<_Class, typename remove_reference<_T1>::type>::value>
67 __nat __invoke(__any, ...);
71 template <class _Fn, class _T1>
72 inline _LIBCPP_INLINE_VISIBILITY
73 typename __enable_invoke<_Fn, _T1>::_Bullet1
74 __invoke(_Fn __f, _T1& __t1) {
78 template <class _Fn, class _T1, class _A0>
79 inline _LIBCPP_INLINE_VISIBILITY
80 typename __enable_invoke<_Fn, _T1>::_Bullet1
81 __invoke(_Fn __f, _T1& __t1, _A0& __a0) {
82 return (__t1.*__f)(__a0);
85 template <class _Fn, class _T1, class _A0, class _A1>
86 inline _LIBCPP_INLINE_VISIBILITY
87 typename __enable_invoke<_Fn, _T1>::_Bullet1
88 __invoke(_Fn __f, _T1& __t1, _A0& __a0, _A1& __a1) {
89 return (__t1.*__f)(__a0, __a1);
92 template <class _Fn, class _T1, class _A0, class _A1, class _A2>
93 inline _LIBCPP_INLINE_VISIBILITY
94 typename __enable_invoke<_Fn, _T1>::_Bullet1
95 __invoke(_Fn __f, _T1& __t1, _A0& __a0, _A1& __a1, _A2& __a2) {
96 return (__t1.*__f)(__a0, __a1, __a2);
99 template <class _Fn, class _T1>
100 inline _LIBCPP_INLINE_VISIBILITY
101 typename __enable_invoke<_Fn, _T1>::_Bullet2
102 __invoke(_Fn __f, _T1& __t1) {
103 return ((*__t1).*__f)();
106 template <class _Fn, class _T1, class _A0>
107 inline _LIBCPP_INLINE_VISIBILITY
108 typename __enable_invoke<_Fn, _T1>::_Bullet2
109 __invoke(_Fn __f, _T1& __t1, _A0& __a0) {
110 return ((*__t1).*__f)(__a0);
113 template <class _Fn, class _T1, class _A0, class _A1>
114 inline _LIBCPP_INLINE_VISIBILITY
115 typename __enable_invoke<_Fn, _T1>::_Bullet2
116 __invoke(_Fn __f, _T1& __t1, _A0& __a0, _A1& __a1) {
117 return ((*__t1).*__f)(__a0, __a1);
120 template <class _Fn, class _T1, class _A0, class _A1, class _A2>
121 inline _LIBCPP_INLINE_VISIBILITY
122 typename __enable_invoke<_Fn, _T1>::_Bullet2
123 __invoke(_Fn __f, _T1& __t1, _A0& __a0, _A1& __a1, _A2& __a2) {
124 return ((*__t1).*__f)(__a0, __a1, __a2);
127 template <class _Fn, class _T1>
128 inline _LIBCPP_INLINE_VISIBILITY
129 typename __enable_invoke<_Fn, _T1>::_Bullet3
130 __invoke(_Fn __f, _T1& __t1) {
134 template <class _Fn, class _T1>
135 inline _LIBCPP_INLINE_VISIBILITY
136 typename __enable_invoke<_Fn, _T1>::_Bullet4
137 __invoke(_Fn __f, _T1& __t1) {
144 inline _LIBCPP_INLINE_VISIBILITY
145 decltype(_VSTD::declval<_Fp&>()())
151 template <class _Fp, class _A0>
152 inline _LIBCPP_INLINE_VISIBILITY
153 decltype(_VSTD::declval<_Fp&>()(_VSTD::declval<_A0&>()))
154 __invoke(_Fp& __f, _A0& __a0)
159 template <class _Fp, class _A0, class _A1>
160 inline _LIBCPP_INLINE_VISIBILITY
161 decltype(_VSTD::declval<_Fp&>()(_VSTD::declval<_A0&>(), _VSTD::declval<_A1&>()))
162 __invoke(_Fp& __f, _A0& __a0, _A1& __a1)
164 return __f(__a0, __a1);
167 template <class _Fp, class _A0, class _A1, class _A2>
168 inline _LIBCPP_INLINE_VISIBILITY
169 decltype(_VSTD::declval<_Fp&>()(_VSTD::declval<_A0&>(), _VSTD::declval<_A1&>(), _VSTD::declval<_A2&>()))
170 __invoke(_Fp& __f, _A0& __a0, _A1& __a1, _A2& __a2)
172 return __f(__a0, __a1, __a2);
175 template <class _Fp, bool = __has_result_type<__weak_result_type<_Fp> >::value>
176 struct __invoke_return
178 typedef typename __weak_result_type<_Fp>::result_type type;
182 struct __invoke_return<_Fp, false>
184 typedef decltype(__invoke(_VSTD::declval<_Fp&>())) type;
187 template <class _Tp, class _A0>
188 struct __invoke_return0
190 typedef decltype(__invoke(_VSTD::declval<_Tp&>(), _VSTD::declval<_A0&>())) type;
193 template <class _Rp, class _Tp, class _A0>
194 struct __invoke_return0<_Rp _Tp::*, _A0>
196 typedef typename __enable_invoke<_Rp _Tp::*, _A0>::type type;
199 template <class _Tp, class _A0, class _A1>
200 struct __invoke_return1
202 typedef decltype(__invoke(_VSTD::declval<_Tp&>(), _VSTD::declval<_A0&>(),
203 _VSTD::declval<_A1&>())) type;
206 template <class _Rp, class _Class, class _A0, class _A1>
207 struct __invoke_return1<_Rp _Class::*, _A0, _A1> {
208 typedef typename __enable_invoke<_Rp _Class::*, _A0>::type type;
211 template <class _Tp, class _A0, class _A1, class _A2>
212 struct __invoke_return2
214 typedef decltype(__invoke(_VSTD::declval<_Tp&>(), _VSTD::declval<_A0&>(),
215 _VSTD::declval<_A1&>(),
216 _VSTD::declval<_A2&>())) type;
219 template <class _Ret, class _Class, class _A0, class _A1, class _A2>
220 struct __invoke_return2<_Ret _Class::*, _A0, _A1, _A2> {
221 typedef typename __enable_invoke<_Ret _Class::*, _A0>::type type;
223 #endif // _LIBCPP_FUNCTIONAL_BASE_03