30 #ifndef _GLIBCXX_STD_FUNCTION_H 31 #define _GLIBCXX_STD_FUNCTION_H 1 33 #pragma GCC system_header 35 #if __cplusplus < 201103L 44 #include <bits/refwrap.h> 47 namespace std _GLIBCXX_VISIBILITY(default)
49 _GLIBCXX_BEGIN_NAMESPACE_VERSION
56 template<
typename _Res,
typename... _ArgTypes>
60 template<
typename _Res,
typename _T1>
65 template<
typename _Res,
typename _T1,
typename _T2>
80 const char* what()
const noexcept;
89 template<
typename _Tp>
91 : is_trivially_copyable<_Tp>::type
94 class _Undefined_class;
99 const void* _M_const_object;
100 void (*_M_function_pointer)();
101 void (_Undefined_class::*_M_member_pointer)();
104 union [[gnu::may_alias]] _Any_data
106 void* _M_access() {
return &_M_pod_data[0]; }
107 const void* _M_access()
const {
return &_M_pod_data[0]; }
109 template<
typename _Tp>
112 {
return *
static_cast<_Tp*
>(_M_access()); }
114 template<
typename _Tp>
117 {
return *
static_cast<const _Tp*
>(_M_access()); }
119 _Nocopy_types _M_unused;
120 char _M_pod_data[
sizeof(_Nocopy_types)];
123 enum _Manager_operation
133 template<
typename _Tp>
134 struct _Simple_type_wrapper
136 _Simple_type_wrapper(_Tp __value) : __value(__value) { }
141 template<
typename _Tp>
146 template<
typename _Signature>
153 static const std::size_t _M_max_size =
sizeof(_Nocopy_types);
154 static const std::size_t _M_max_align = __alignof__(_Nocopy_types);
156 template<
typename _Functor>
160 static const bool __stored_locally =
162 &&
sizeof(_Functor) <= _M_max_size
163 && __alignof__(_Functor) <= _M_max_align
164 && (_M_max_align % __alignof__(_Functor) == 0));
170 _M_get_pointer(
const _Any_data& __source)
172 const _Functor* __ptr =
174 : __source._M_access<_Functor*>();
175 return const_cast<_Functor*
>(__ptr);
181 _M_clone(_Any_data& __dest,
const _Any_data& __source,
true_type)
183 ::new (__dest._M_access()) _Functor(__source._M_access<_Functor>());
189 _M_clone(_Any_data& __dest,
const _Any_data& __source,
false_type)
191 __dest._M_access<_Functor*>() =
192 new _Functor(*__source._M_access<_Functor*>());
198 _M_destroy(_Any_data& __victim,
true_type)
200 __victim._M_access<_Functor>().~_Functor();
207 delete __victim._M_access<_Functor*>();
212 _M_manager(_Any_data& __dest,
const _Any_data& __source,
213 _Manager_operation __op)
218 case __get_type_info:
219 __dest._M_access<
const type_info*>() = &
typeid(_Functor);
222 case __get_functor_ptr:
223 __dest._M_access<_Functor*>() = _M_get_pointer(__source);
226 case __clone_functor:
227 _M_clone(__dest, __source, _Local_storage());
230 case __destroy_functor:
231 _M_destroy(__dest, _Local_storage());
238 _M_init_functor(_Any_data& __functor, _Functor&& __f)
239 { _M_init_functor(__functor, std::move(__f), _Local_storage()); }
241 template<
typename _Signature>
243 _M_not_empty_function(
const function<_Signature>& __f)
244 {
return static_cast<bool>(__f); }
246 template<
typename _Tp>
248 _M_not_empty_function(_Tp* __fp)
249 {
return __fp !=
nullptr; }
251 template<
typename _Class,
typename _Tp>
253 _M_not_empty_function(_Tp _Class::* __mp)
254 {
return __mp !=
nullptr; }
256 template<
typename _Tp>
258 _M_not_empty_function(
const _Tp&)
263 _M_init_functor(_Any_data& __functor, _Functor&& __f,
true_type)
264 { ::new (__functor._M_access()) _Functor(std::move(__f)); }
267 _M_init_functor(_Any_data& __functor, _Functor&& __f,
false_type)
268 { __functor._M_access<_Functor*>() =
new _Functor(std::move(__f)); }
271 template<
typename _Functor>
272 class _Ref_manager :
public _Base_manager<_Functor*>
274 typedef _Function_base::_Base_manager<_Functor*> _Base;
278 _M_manager(_Any_data& __dest,
const _Any_data& __source,
279 _Manager_operation __op)
284 case __get_type_info:
285 __dest._M_access<
const type_info*>() = &
typeid(_Functor);
288 case __get_functor_ptr:
289 __dest._M_access<_Functor*>() = *_Base::_M_get_pointer(__source);
294 _Base::_M_manager(__dest, __source, __op);
311 _M_manager(_M_functor, _M_functor, __destroy_functor);
315 bool _M_empty()
const {
return !_M_manager; }
317 typedef bool (*_Manager_type)(_Any_data&,
const _Any_data&,
320 _Any_data _M_functor;
321 _Manager_type _M_manager;
324 template<
typename _Signature,
typename _Functor>
325 class _Function_handler;
327 template<
typename _Res,
typename _Functor,
typename... _ArgTypes>
328 class _Function_handler<_Res(_ArgTypes...), _Functor>
329 :
public _Function_base::_Base_manager<_Functor>
331 typedef _Function_base::_Base_manager<_Functor> _Base;
335 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
337 return (*_Base::_M_get_pointer(__functor))(
338 std::forward<_ArgTypes>(__args)...);
342 template<
typename _Functor,
typename... _ArgTypes>
343 class _Function_handler<void(_ArgTypes...), _Functor>
344 :
public _Function_base::_Base_manager<_Functor>
346 typedef _Function_base::_Base_manager<_Functor> _Base;
350 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
352 (*_Base::_M_get_pointer(__functor))(
353 std::forward<_ArgTypes>(__args)...);
357 template<
typename _Res,
typename _Functor,
typename... _ArgTypes>
358 class _Function_handler<_Res(_ArgTypes...), reference_wrapper<_Functor> >
359 :
public _Function_base::_Ref_manager<_Functor>
361 typedef _Function_base::_Ref_manager<_Functor> _Base;
365 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
368 std::forward<_ArgTypes>(__args)...);
372 template<
typename _Functor,
typename... _ArgTypes>
373 class _Function_handler<void(_ArgTypes...), reference_wrapper<_Functor> >
374 :
public _Function_base::_Ref_manager<_Functor>
376 typedef _Function_base::_Ref_manager<_Functor> _Base;
380 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
383 std::forward<_ArgTypes>(__args)...);
387 template<
typename _Class,
typename _Member,
typename _Res,
388 typename... _ArgTypes>
389 class _Function_handler<_Res(_ArgTypes...), _Member _Class::*>
390 :
public _Function_handler<void(_ArgTypes...), _Member _Class::*>
392 typedef _Function_handler<void(_ArgTypes...), _Member _Class::*>
397 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
399 return std::__invoke(_Base::_M_get_pointer(__functor)->__value,
400 std::forward<_ArgTypes>(__args)...);
404 template<
typename _Class,
typename _Member,
typename... _ArgTypes>
405 class _Function_handler<void(_ArgTypes...), _Member _Class::*>
406 :
public _Function_base::_Base_manager<
407 _Simple_type_wrapper< _Member _Class::* > >
409 typedef _Member _Class::* _Functor;
410 typedef _Simple_type_wrapper<_Functor> _Wrapper;
411 typedef _Function_base::_Base_manager<_Wrapper> _Base;
415 _M_manager(_Any_data& __dest,
const _Any_data& __source,
416 _Manager_operation __op)
421 case __get_type_info:
422 __dest._M_access<
const type_info*>() = &
typeid(_Functor);
425 case __get_functor_ptr:
426 __dest._M_access<_Functor*>() =
427 &_Base::_M_get_pointer(__source)->__value;
431 _Base::_M_manager(__dest, __source, __op);
437 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
440 std::forward<_ArgTypes>(__args)...);
444 template<
typename _From,
typename _To>
445 using __check_func_return_type
446 = __or_<is_void<_To>, is_same<_From, _To>, is_convertible<_From, _To>>;
454 template<
typename _Res,
typename... _ArgTypes>
455 class function<_Res(_ArgTypes...)>
459 typedef _Res _Signature_type(_ArgTypes...);
461 template<
typename _Func,
462 typename _Res2 =
typename result_of<_Func&(_ArgTypes...)>::type>
463 struct _Callable : __check_func_return_type<_Res2, _Res> { };
467 template<
typename _Tp>
468 struct _Callable<function, _Tp> :
false_type { };
470 template<
typename _Cond,
typename _Tp>
471 using _Requires =
typename enable_if<_Cond::value, _Tp>::type;
474 typedef _Res result_type;
489 function(nullptr_t) noexcept
500 function(
const function& __x);
530 template<
typename _Functor,
531 typename = _Requires<__not_<is_same<_Functor, function>>,
void>,
532 typename = _Requires<_Callable<_Functor>,
void>>
550 function(__x).swap(*
this);
568 function(std::move(__x)).swap(*
this);
584 _M_manager(_M_functor, _M_functor, __destroy_functor);
585 _M_manager =
nullptr;
586 _M_invoker =
nullptr;
607 template<
typename _Functor>
608 _Requires<_Callable<typename decay<_Functor>::type>,
function&>
611 function(std::forward<_Functor>(__f)).swap(*
this);
616 template<
typename _Functor>
620 function(__f).swap(*
this);
633 void swap(
function& __x) noexcept
635 std::swap(_M_functor, __x._M_functor);
636 std::swap(_M_manager, __x._M_manager);
637 std::swap(_M_invoker, __x._M_invoker);
650 explicit operator bool() const noexcept
651 {
return !_M_empty(); }
663 _Res operator()(_ArgTypes... __args)
const;
676 const type_info& target_type()
const noexcept;
687 template<
typename _Functor> _Functor* target() noexcept;
690 template<
typename _Functor>
const _Functor* target()
const noexcept;
694 using _Invoker_type = _Res (*)(
const _Any_data&, _ArgTypes&&...);
695 _Invoker_type _M_invoker;
699 template<
typename _Res,
typename... _ArgTypes>
700 function<_Res(_ArgTypes...)>::
701 function(
const function& __x)
704 if (static_cast<bool>(__x))
706 __x._M_manager(_M_functor, __x._M_functor, __clone_functor);
707 _M_invoker = __x._M_invoker;
708 _M_manager = __x._M_manager;
712 template<
typename _Res,
typename... _ArgTypes>
713 template<
typename _Functor,
typename,
typename>
714 function<_Res(_ArgTypes...)>::
715 function(_Functor __f)
718 typedef _Function_handler<_Signature_type, _Functor> _My_handler;
720 if (_My_handler::_M_not_empty_function(__f))
722 _My_handler::_M_init_functor(_M_functor, std::move(__f));
723 _M_invoker = &_My_handler::_M_invoke;
724 _M_manager = &_My_handler::_M_manager;
728 template<
typename _Res,
typename... _ArgTypes>
730 function<_Res(_ArgTypes...)>::
731 operator()(_ArgTypes... __args)
const 734 __throw_bad_function_call();
735 return _M_invoker(_M_functor, std::forward<_ArgTypes>(__args)...);
739 template<
typename _Res,
typename... _ArgTypes>
741 function<_Res(_ArgTypes...)>::
742 target_type() const noexcept
746 _Any_data __typeinfo_result;
747 _M_manager(__typeinfo_result, _M_functor, __get_type_info);
748 return *__typeinfo_result._M_access<
const type_info*>();
754 template<
typename _Res,
typename... _ArgTypes>
755 template<
typename _Functor>
757 function<_Res(_ArgTypes...)>::
760 if (
typeid(_Functor) == target_type() && _M_manager)
763 if (_M_manager(__ptr, _M_functor, __get_functor_ptr)
767 return __ptr._M_access<_Functor*>();
773 template<
typename _Res,
typename... _ArgTypes>
774 template<
typename _Functor>
776 function<_Res(_ArgTypes...)>::
777 target() const noexcept
779 if (
typeid(_Functor) == target_type() && _M_manager)
782 _M_manager(__ptr, _M_functor, __get_functor_ptr);
783 return __ptr._M_access<
const _Functor*>();
799 template<
typename _Res,
typename... _Args>
801 operator==(
const function<_Res(_Args...)>& __f, nullptr_t) noexcept
802 {
return !
static_cast<bool>(__f); }
805 template<
typename _Res,
typename... _Args>
807 operator==(nullptr_t,
const function<_Res(_Args...)>& __f) noexcept
808 {
return !
static_cast<bool>(__f); }
817 template<
typename _Res,
typename... _Args>
819 operator!=(
const function<_Res(_Args...)>& __f, nullptr_t) noexcept
820 {
return static_cast<bool>(__f); }
823 template<
typename _Res,
typename... _Args>
825 operator!=(nullptr_t,
const function<_Res(_Args...)>& __f) noexcept
826 {
return static_cast<bool>(__f); }
838 template<
typename _Res,
typename... _Args>
840 swap(
function<_Res(_Args...)>& __x,
function<_Res(_Args...)>& __y) noexcept
843 _GLIBCXX_END_NAMESPACE_VERSION
848 #endif // _GLIBCXX_STD_FUNCTION_H
void swap(function &__x) noexcept
Swap the targets of two function objects.
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
ISO C++ entities toplevel namespace is std.
_Requires< _Callable< typename decay< _Functor >::type >, function & > operator=(_Functor &&__f)
Function assignment to a new target.
Exception class thrown when class template function's operator() is called with an empty target...
Primary class template for reference_wrapper.
function & operator=(const function &__x)
Function assignment operator.
function & operator=(reference_wrapper< _Functor > __f) noexcept
Base class of all polymorphic function object wrappers.
function & operator=(nullptr_t) noexcept
Function assignment to zero.
Base class for all library exceptions.
constexpr result_of< _Callable &&(_Args &&...)>::type __invoke(_Callable &&__fn, _Args &&... __args) noexcept(__is_nothrow_callable< _Callable &&(_Args &&...)>::value)
Invoke a callable object.
function & operator=(function &&__x)
Function move-assignment operator.