30 #ifndef _GLIBCXX_REFWRAP_H 31 #define _GLIBCXX_REFWRAP_H 1 33 #pragma GCC system_header 35 #if __cplusplus < 201103L 43 namespace std _GLIBCXX_VISIBILITY(default)
45 _GLIBCXX_BEGIN_NAMESPACE_VERSION
52 template<
typename _Res,
typename... _ArgTypes>
56 template<
typename _Res,
typename _T1>
61 template<
typename _Res,
typename _T1,
typename _T2>
65 template<
typename _Signature>
66 struct _Mem_fn_traits;
68 template<
typename _Res,
typename _Class,
typename... _ArgTypes>
69 struct _Mem_fn_traits_base
71 using __result_type = _Res;
77 #define _GLIBCXX_MEM_FN_TRAITS2(_CV, _REF, _LVAL, _RVAL) \ 78 template<typename _Res, typename _Class, typename... _ArgTypes> \ 79 struct _Mem_fn_traits<_Res (_Class::*)(_ArgTypes...) _CV _REF> \ 80 : _Mem_fn_traits_base<_Res, _CV _Class, _ArgTypes...> \ 82 using __vararg = false_type; \ 84 template<typename _Res, typename _Class, typename... _ArgTypes> \ 85 struct _Mem_fn_traits<_Res (_Class::*)(_ArgTypes... ...) _CV _REF> \ 86 : _Mem_fn_traits_base<_Res, _CV _Class, _ArgTypes...> \ 88 using __vararg = true_type; \ 91 #define _GLIBCXX_MEM_FN_TRAITS(_REF, _LVAL, _RVAL) \ 92 _GLIBCXX_MEM_FN_TRAITS2( , _REF, _LVAL, _RVAL) \ 93 _GLIBCXX_MEM_FN_TRAITS2(const , _REF, _LVAL, _RVAL) \ 94 _GLIBCXX_MEM_FN_TRAITS2(volatile , _REF, _LVAL, _RVAL) \ 95 _GLIBCXX_MEM_FN_TRAITS2(const volatile, _REF, _LVAL, _RVAL) 101 #if __cplusplus > 201402L 107 #undef _GLIBCXX_MEM_FN_TRAITS 108 #undef _GLIBCXX_MEM_FN_TRAITS2 111 template<
typename _Functor,
typename = __
void_t<>>
115 template<
typename _Functor>
117 __void_t<typename _Functor::result_type>>
118 {
typedef typename _Functor::result_type result_type; };
124 template<
typename _Functor>
130 template<
typename _Res,
typename... _ArgTypes _GLIBCXX_NOEXCEPT_PARM>
132 {
typedef _Res result_type; };
135 template<
typename _Res,
typename... _ArgTypes _GLIBCXX_NOEXCEPT_PARM>
137 {
typedef _Res result_type; };
140 template<
typename _Res,
typename... _ArgTypes _GLIBCXX_NOEXCEPT_PARM>
142 {
typedef _Res result_type; };
145 template<
typename _Res,
typename... _ArgTypes _GLIBCXX_NOEXCEPT_PARM>
148 {
typedef _Res result_type; };
151 template<
typename _Functor,
153 struct _Weak_result_type_memfun
158 template<
typename _MemFunPtr>
159 struct _Weak_result_type_memfun<_MemFunPtr, true>
161 using result_type =
typename _Mem_fn_traits<_MemFunPtr>::__result_type;
165 template<
typename _Func,
typename _Class>
166 struct _Weak_result_type_memfun<_Func _Class::*, false>
173 template<
typename _Functor>
175 : _Weak_result_type_memfun<typename remove_cv<_Functor>::type>
178 #if __cplusplus <= 201703L 180 template<
typename _Tp,
typename = __
void_t<>>
181 struct _Refwrap_base_arg1
185 template<
typename _Tp>
186 struct _Refwrap_base_arg1<_Tp,
187 __void_t<typename _Tp::argument_type>>
189 typedef typename _Tp::argument_type argument_type;
193 template<
typename _Tp,
typename = __
void_t<>>
194 struct _Refwrap_base_arg2
198 template<
typename _Tp>
199 struct _Refwrap_base_arg2<_Tp,
200 __void_t<typename _Tp::first_argument_type,
201 typename _Tp::second_argument_type>>
203 typedef typename _Tp::first_argument_type first_argument_type;
204 typedef typename _Tp::second_argument_type second_argument_type;
213 template<
typename _Tp>
219 template<
typename _Res,
typename _T1 _GLIBCXX_NOEXCEPT_PARM>
224 template<
typename _Res,
typename _T1>
229 template<
typename _Res,
typename _T1>
234 template<
typename _Res,
typename _T1>
240 template<
typename _Res,
typename _T1,
typename _T2 _GLIBCXX_NOEXCEPT_PARM>
245 template<
typename _Res,
typename _T1,
typename _T2>
250 template<
typename _Res,
typename _T1,
typename _T2>
255 template<
typename _Res,
typename _T1,
typename _T2>
261 template<
typename _Res,
typename _T1 _GLIBCXX_NOEXCEPT_PARM>
267 template<
typename _Res,
typename _T1,
typename _T2 _GLIBCXX_NOEXCEPT_PARM>
272 template<typename _Tp, bool = is_member_function_pointer<_Tp>::value>
273 struct _Reference_wrapper_base_memfun
277 template<
typename _MemFunPtr>
278 struct _Reference_wrapper_base_memfun<_MemFunPtr, true>
279 : _Mem_fn_traits<_MemFunPtr>::__maybe_type
281 using result_type =
typename _Mem_fn_traits<_MemFunPtr>::__result_type;
290 template<
typename _Tp>
292 #if __cplusplus <= 201703L
295 :
public _Reference_wrapper_base_memfun<typename remove_cv<_Tp>::type>
301 static void _S_fun(_Tp&&) =
delete;
303 template<
typename _Up,
typename _Up2 = __remove_cvref_t<_Up>>
313 template<
typename _Up,
typename = __not_same<_Up>,
typename 314 = decltype(reference_wrapper::_S_fun(std::declval<_Up>()))>
316 noexcept(noexcept(reference_wrapper::_S_fun(std::declval<_Up>())))
317 : _M_data(reference_wrapper::_S_fun(std::forward<_Up>(__uref)))
325 operator _Tp&()
const noexcept
326 {
return this->
get(); }
332 template<
typename... _Args>
333 typename result_of<_Tp&(_Args&&...)>::type
334 operator()(_Args&&... __args)
const 336 #if __cplusplus > 201703L 337 static_assert(
sizeof(type),
"type must be complete");
343 #if __cpp_deduction_guides 344 template<
typename _Tp>
349 template<
typename _Tp>
355 template<
typename _Tp>
360 template<
typename _Tp>
361 void ref(
const _Tp&&) =
delete;
363 template<
typename _Tp>
364 void cref(
const _Tp&&) =
delete;
367 template<
typename _Tp>
373 template<
typename _Tp>
376 {
return { __t.get() }; }
380 _GLIBCXX_END_NAMESPACE_VERSION
385 #endif // _GLIBCXX_REFWRAP_H
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
reference_wrapper< const _Tp > cref(const _Tp &__t) noexcept
Denotes a const reference should be taken to a variable.
ISO C++ entities toplevel namespace is std.
Define a member typedef type only if a boolean constant is true.
is_member_function_pointer
constexpr __invoke_result< _Callable, _Args... >::type __invoke(_Callable &&__fn, _Args &&... __args) noexcept(__is_nothrow_invocable< _Callable, _Args... >::value)
Invoke a callable object.
reference_wrapper< _Tp > ref(_Tp &__t) noexcept
Denotes a reference should be taken to a variable.
Primary class template for reference_wrapper.
If we have found a result_type, extract it.