30 #ifndef _GLIBCXX_STD_FUNCTION_H
31 #define _GLIBCXX_STD_FUNCTION_H 1
33 #pragma GCC system_header
35 #if __cplusplus < 201103L
47 namespace std _GLIBCXX_VISIBILITY(default)
49 _GLIBCXX_BEGIN_NAMESPACE_VERSION
70 template<
typename _Tp>
72 : is_trivially_copyable<_Tp>
::type
75 class _Undefined_class;
80 const void* _M_const_object;
81 void (*_M_function_pointer)();
82 void (_Undefined_class::*_M_member_pointer)();
85 union [[gnu::may_alias]] _Any_data
87 void* _M_access() {
return &_M_pod_data[0]; }
88 const void* _M_access()
const {
return &_M_pod_data[0]; }
90 template<
typename _Tp>
93 {
return *
static_cast<_Tp*
>(_M_access()); }
95 template<
typename _Tp>
98 {
return *
static_cast<const _Tp*
>(_M_access()); }
100 _Nocopy_types _M_unused;
101 char _M_pod_data[
sizeof(_Nocopy_types)];
104 enum _Manager_operation
114 template<
typename _Tp>
115 struct _Simple_type_wrapper
117 _Simple_type_wrapper(_Tp __value) : __value(__value) { }
122 template<
typename _Tp>
123 struct __is_location_invariant<_Simple_type_wrapper<_Tp> >
124 : __is_location_invariant<_Tp>
127 template<
typename _Signature>
134 static const size_t _M_max_size =
sizeof(_Nocopy_types);
135 static const size_t _M_max_align = __alignof__(_Nocopy_types);
137 template<
typename _Functor>
141 static const bool __stored_locally =
143 &&
sizeof(_Functor) <= _M_max_size
144 && __alignof__(_Functor) <= _M_max_align
145 && (_M_max_align % __alignof__(_Functor) == 0));
151 _M_get_pointer(
const _Any_data& __source)
153 if _GLIBCXX17_CONSTEXPR (__stored_locally)
155 const _Functor& __f = __source._M_access<_Functor>();
159 return __source._M_access<_Functor*>();
165 _M_clone(_Any_data& __dest,
const _Any_data& __source,
true_type)
167 ::new (__dest._M_access()) _Functor(__source._M_access<_Functor>());
173 _M_clone(_Any_data& __dest,
const _Any_data& __source,
false_type)
175 __dest._M_access<_Functor*>() =
176 new _Functor(*__source._M_access<
const _Functor*>());
182 _M_destroy(_Any_data& __victim,
true_type)
184 __victim._M_access<_Functor>().~_Functor();
191 delete __victim._M_access<_Functor*>();
196 _M_manager(_Any_data& __dest,
const _Any_data& __source,
197 _Manager_operation __op)
202 case __get_type_info:
203 __dest._M_access<
const type_info*>() = &
typeid(_Functor);
206 case __get_functor_ptr:
207 __dest._M_access<_Functor*>() = _M_get_pointer(__source);
210 case __clone_functor:
211 _M_clone(__dest, __source, _Local_storage());
214 case __destroy_functor:
215 _M_destroy(__dest, _Local_storage());
222 _M_init_functor(_Any_data& __functor, _Functor&& __f)
223 { _M_init_functor(__functor, std::move(__f), _Local_storage()); }
225 template<
typename _Signature>
227 _M_not_empty_function(
const function<_Signature>& __f)
228 {
return static_cast<bool>(__f); }
230 template<
typename _Tp>
232 _M_not_empty_function(_Tp* __fp)
233 {
return __fp !=
nullptr; }
235 template<
typename _Class,
typename _Tp>
237 _M_not_empty_function(_Tp _Class::* __mp)
238 {
return __mp !=
nullptr; }
240 template<
typename _Tp>
242 _M_not_empty_function(
const _Tp&)
247 _M_init_functor(_Any_data& __functor, _Functor&& __f,
true_type)
248 { ::new (__functor._M_access()) _Functor(std::move(__f)); }
251 _M_init_functor(_Any_data& __functor, _Functor&& __f,
false_type)
252 { __functor._M_access<_Functor*>() =
new _Functor(std::move(__f)); }
260 _M_manager(_M_functor, _M_functor, __destroy_functor);
263 bool _M_empty()
const {
return !_M_manager; }
265 typedef bool (*_Manager_type)(_Any_data&,
const _Any_data&,
268 _Any_data _M_functor;
269 _Manager_type _M_manager;
272 template<
typename _Signature,
typename _Functor>
273 class _Function_handler;
275 template<
typename _Res,
typename _Functor,
typename... _ArgTypes>
276 class _Function_handler<_Res(_ArgTypes...), _Functor>
277 :
public _Function_base::_Base_manager<_Functor>
279 typedef _Function_base::_Base_manager<_Functor> _Base;
283 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
285 return (*_Base::_M_get_pointer(__functor))(
286 std::forward<_ArgTypes>(__args)...);
290 template<
typename _Functor,
typename... _ArgTypes>
291 class _Function_handler<void(_ArgTypes...), _Functor>
292 :
public _Function_base::_Base_manager<_Functor>
294 typedef _Function_base::_Base_manager<_Functor> _Base;
298 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
300 (*_Base::_M_get_pointer(__functor))(
301 std::forward<_ArgTypes>(__args)...);
305 template<
typename _Class,
typename _Member,
typename _Res,
306 typename... _ArgTypes>
307 class _Function_handler<_Res(_ArgTypes...), _Member _Class::*>
308 :
public _Function_handler<void(_ArgTypes...), _Member _Class::*>
310 typedef _Function_handler<void(_ArgTypes...), _Member _Class::*>
315 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
317 return std::__invoke(_Base::_M_get_pointer(__functor)->__value,
318 std::forward<_ArgTypes>(__args)...);
322 template<
typename _Class,
typename _Member,
typename... _ArgTypes>
323 class _Function_handler<void(_ArgTypes...), _Member _Class::*>
324 :
public _Function_base::_Base_manager<
325 _Simple_type_wrapper< _Member _Class::* > >
327 typedef _Member _Class::* _Functor;
328 typedef _Simple_type_wrapper<_Functor> _Wrapper;
329 typedef _Function_base::_Base_manager<_Wrapper> _Base;
333 _M_manager(_Any_data& __dest,
const _Any_data& __source,
334 _Manager_operation __op)
339 case __get_type_info:
340 __dest._M_access<
const type_info*>() = &
typeid(_Functor);
343 case __get_functor_ptr:
344 __dest._M_access<_Functor*>() =
345 &_Base::_M_get_pointer(__source)->__value;
349 _Base::_M_manager(__dest, __source, __op);
355 _M_invoke(
const _Any_data& __functor, _ArgTypes&&... __args)
357 std::__invoke(_Base::_M_get_pointer(__functor)->__value,
358 std::forward<_ArgTypes>(__args)...);
362 template<
typename _From,
typename _To>
363 using __check_func_return_type
364 = __or_<is_void<_To>, is_same<_From, _To>, is_convertible<_From, _To>>;
372 template<
typename _Res,
typename... _ArgTypes>
373 class function<_Res(_ArgTypes...)>
377 template<
typename _Func,
378 typename _Res2 =
typename result_of<_Func&(_ArgTypes...)>::type>
379 struct _Callable : __check_func_return_type<_Res2, _Res> { };
383 template<
typename _Tp>
384 struct _Callable<function, _Tp> :
false_type { };
386 template<
typename _Cond,
typename _Tp>
390 typedef _Res result_type;
416 function(
const function& __x);
446 template<
typename _Functor,
447 typename = _Requires<__not_<is_same<_Functor, function>>,
void>,
448 typename = _Requires<_Callable<_Functor>,
void>>
466 function(__x).swap(*
this);
484 function(std::move(__x)).swap(*
this);
500 _M_manager(_M_functor, _M_functor, __destroy_functor);
501 _M_manager =
nullptr;
502 _M_invoker =
nullptr;
523 template<
typename _Functor>
524 _Requires<_Callable<typename decay<_Functor>::type>,
function&>
527 function(std::forward<_Functor>(__f)).swap(*
this);
532 template<
typename _Functor>
536 function(__f).swap(*
this);
551 std::swap(_M_functor, __x._M_functor);
552 std::swap(_M_manager, __x._M_manager);
553 std::swap(_M_invoker, __x._M_invoker);
567 {
return !_M_empty(); }
579 _Res operator()(_ArgTypes... __args)
const;
605 template<typename _Functor> _Functor* target()
noexcept;
607 template<typename _Functor> const _Functor* target() const noexcept;
612 using _Invoker_type = _Res (*)(
const _Any_data&, _ArgTypes&&...);
613 _Invoker_type _M_invoker;
616 #if __cpp_deduction_guides >= 201606
618 struct __function_guide_helper
621 template<
typename _Res,
typename _Tp,
bool _Nx,
typename... _Args>
622 struct __function_guide_helper<
623 _Res (_Tp::*) (_Args...)
noexcept(_Nx)
625 {
using type = _Res(_Args...); };
627 template<
typename _Res,
typename _Tp,
bool _Nx,
typename... _Args>
628 struct __function_guide_helper<
629 _Res (_Tp::*) (_Args...) &
noexcept(_Nx)
631 {
using type = _Res(_Args...); };
633 template<
typename _Res,
typename _Tp,
bool _Nx,
typename... _Args>
634 struct __function_guide_helper<
635 _Res (_Tp::*) (_Args...) const
noexcept(_Nx)
637 {
using type = _Res(_Args...); };
639 template<
typename _Res,
typename _Tp,
bool _Nx,
typename... _Args>
640 struct __function_guide_helper<
641 _Res (_Tp::*) (_Args...) const &
noexcept(_Nx)
643 {
using type = _Res(_Args...); };
645 template<
typename _Res,
typename... _ArgTypes>
646 function(_Res(*)(_ArgTypes...)) ->
function<_Res(_ArgTypes...)>;
648 template<
typename _Functor,
typename _Signature =
typename
649 __function_guide_helper<decltype(&_Functor::operator())>::type>
650 function(_Functor) -> function<_Signature>;
654 template<
typename _Res,
typename... _ArgTypes>
655 function<_Res(_ArgTypes...)>::
656 function(
const function& __x)
659 if (static_cast<bool>(__x))
661 __x._M_manager(_M_functor, __x._M_functor, __clone_functor);
662 _M_invoker = __x._M_invoker;
663 _M_manager = __x._M_manager;
667 template<
typename _Res,
typename... _ArgTypes>
668 template<
typename _Functor,
typename,
typename>
669 function<_Res(_ArgTypes...)>::
670 function(_Functor __f)
673 typedef _Function_handler<_Res(_ArgTypes...), _Functor> _My_handler;
675 if (_My_handler::_M_not_empty_function(__f))
677 _My_handler::_M_init_functor(_M_functor, std::move(__f));
678 _M_invoker = &_My_handler::_M_invoke;
679 _M_manager = &_My_handler::_M_manager;
683 template<
typename _Res,
typename... _ArgTypes>
685 function<_Res(_ArgTypes...)>::
686 operator()(_ArgTypes... __args)
const
689 __throw_bad_function_call();
690 return _M_invoker(_M_functor, std::forward<_ArgTypes>(__args)...);
694 template<
typename _Res,
typename... _ArgTypes>
696 function<_Res(_ArgTypes...)>::
701 _Any_data __typeinfo_result;
702 _M_manager(__typeinfo_result, _M_functor, __get_type_info);
703 return *__typeinfo_result._M_access<
const type_info*>();
709 template<
typename _Res,
typename... _ArgTypes>
710 template<
typename _Functor>
712 function<_Res(_ArgTypes...)>::
715 const function* __const_this =
this;
716 const _Functor* __func = __const_this->template target<_Functor>();
717 return const_cast<_Functor*
>(__func);
720 template<
typename _Res,
typename... _ArgTypes>
721 template<
typename _Functor>
723 function<_Res(_ArgTypes...)>::
726 if (
typeid(_Functor) == target_type() && _M_manager)
729 _M_manager(__ptr, _M_functor, __get_functor_ptr);
730 return __ptr._M_access<
const _Functor*>();
746 template<
typename _Res,
typename... _Args>
748 operator==(
const function<_Res(_Args...)>& __f, nullptr_t)
noexcept
749 {
return !
static_cast<bool>(__f); }
752 template<
typename _Res,
typename... _Args>
754 operator==(nullptr_t,
const function<_Res(_Args...)>& __f)
noexcept
755 {
return !
static_cast<bool>(__f); }
764 template<
typename _Res,
typename... _Args>
766 operator!=(
const function<_Res(_Args...)>& __f, nullptr_t)
noexcept
767 {
return static_cast<bool>(__f); }
770 template<
typename _Res,
typename... _Args>
772 operator!=(nullptr_t,
const function<_Res(_Args...)>& __f)
noexcept
773 {
return static_cast<bool>(__f); }
785 template<
typename _Res,
typename... _Args>
787 swap(
function<_Res(_Args...)>& __x,
function<_Res(_Args...)>& __y)
noexcept
790 #if __cplusplus >= 201703L
791 namespace __detail::__variant
793 template<
typename>
struct _Never_valueless_alt;
797 template<
typename _Signature>
798 struct _Never_valueless_alt<std::function<_Signature>>
804 _GLIBCXX_END_NAMESPACE_VERSION
808 #endif // _GLIBCXX_STD_FUNCTION_H
Base class of all polymorphic function object wrappers.
Primary class template for reference_wrapper.
const char * what() const noexcept
function & operator=(function &&__x) noexcept
Function move-assignment operator.
function & operator=(reference_wrapper< _Functor > __f) noexcept
_Requires< _Callable< typename decay< _Functor >::type >, function & > operator=(_Functor &&__f)
Function assignment to a new target.
enable_if< ::__array_traits< _Tp, _Nm >::_Is_swappable::value >::type noexcept(noexcept(__one.swap(__two)))
swap
Define a member typedef type only if a boolean constant is true.
Base class for all library exceptions.
Exception class thrown when class template function's operator() is called with an empty target...
function & operator=(const function &__x)
Function assignment operator.
function & operator=(nullptr_t) noexcept
Function assignment to zero.
void swap(function &__x) noexcept
Swap the targets of two function objects.
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.