1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576 |
- // -*- C++ -*-
- //===----------------------------------------------------------------------===//
- //
- // The LLVM Compiler Infrastructure
- //
- // This file is dual licensed under the MIT and the University of Illinois Open
- // Source Licenses. See LICENSE.TXT for details.
- //
- //===----------------------------------------------------------------------===//
- #ifndef _LIBCPP_FUNCTIONAL_03
- #define _LIBCPP_FUNCTIONAL_03
- // manual variadic expansion for <functional>
- #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
- #pragma GCC system_header
- #endif
- namespace __function {
- template<class _Fp> class __base;
- template<class _Rp>
- class __base<_Rp()>
- {
- __base(const __base&);
- __base& operator=(const __base&);
- public:
- __base() {}
- virtual ~__base() {}
- virtual __base* __clone() const = 0;
- virtual void __clone(__base*) const = 0;
- virtual void destroy() = 0;
- virtual void destroy_deallocate() = 0;
- virtual _Rp operator()() = 0;
- #ifndef _LIBCPP_NO_RTTI
- virtual const void* target(const type_info&) const = 0;
- virtual const std::type_info& target_type() const = 0;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Rp, class _A0>
- class __base<_Rp(_A0)>
- {
- __base(const __base&);
- __base& operator=(const __base&);
- public:
- __base() {}
- virtual ~__base() {}
- virtual __base* __clone() const = 0;
- virtual void __clone(__base*) const = 0;
- virtual void destroy() = 0;
- virtual void destroy_deallocate() = 0;
- virtual _Rp operator()(_A0) = 0;
- #ifndef _LIBCPP_NO_RTTI
- virtual const void* target(const type_info&) const = 0;
- virtual const std::type_info& target_type() const = 0;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Rp, class _A0, class _A1>
- class __base<_Rp(_A0, _A1)>
- {
- __base(const __base&);
- __base& operator=(const __base&);
- public:
- __base() {}
- virtual ~__base() {}
- virtual __base* __clone() const = 0;
- virtual void __clone(__base*) const = 0;
- virtual void destroy() = 0;
- virtual void destroy_deallocate() = 0;
- virtual _Rp operator()(_A0, _A1) = 0;
- #ifndef _LIBCPP_NO_RTTI
- virtual const void* target(const type_info&) const = 0;
- virtual const std::type_info& target_type() const = 0;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Rp, class _A0, class _A1, class _A2>
- class __base<_Rp(_A0, _A1, _A2)>
- {
- __base(const __base&);
- __base& operator=(const __base&);
- public:
- __base() {}
- virtual ~__base() {}
- virtual __base* __clone() const = 0;
- virtual void __clone(__base*) const = 0;
- virtual void destroy() = 0;
- virtual void destroy_deallocate() = 0;
- virtual _Rp operator()(_A0, _A1, _A2) = 0;
- #ifndef _LIBCPP_NO_RTTI
- virtual const void* target(const type_info&) const = 0;
- virtual const std::type_info& target_type() const = 0;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _FD, class _Alloc, class _FB> class __func;
- template<class _Fp, class _Alloc, class _Rp>
- class __func<_Fp, _Alloc, _Rp()>
- : public __base<_Rp()>
- {
- __compressed_pair<_Fp, _Alloc> __f_;
- public:
- explicit __func(_Fp __f) : __f_(_VSTD::move(__f)) {}
- explicit __func(_Fp __f, _Alloc __a) : __f_(_VSTD::move(__f), _VSTD::move(__a)) {}
- virtual __base<_Rp()>* __clone() const;
- virtual void __clone(__base<_Rp()>*) const;
- virtual void destroy();
- virtual void destroy_deallocate();
- virtual _Rp operator()();
- #ifndef _LIBCPP_NO_RTTI
- virtual const void* target(const type_info&) const;
- virtual const std::type_info& target_type() const;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Fp, class _Alloc, class _Rp>
- __base<_Rp()>*
- __func<_Fp, _Alloc, _Rp()>::__clone() const
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
- _Ap __a(__f_.second());
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
- return __hold.release();
- }
- template<class _Fp, class _Alloc, class _Rp>
- void
- __func<_Fp, _Alloc, _Rp()>::__clone(__base<_Rp()>* __p) const
- {
- ::new (__p) __func(__f_.first(), __f_.second());
- }
- template<class _Fp, class _Alloc, class _Rp>
- void
- __func<_Fp, _Alloc, _Rp()>::destroy()
- {
- __f_.~__compressed_pair<_Fp, _Alloc>();
- }
- template<class _Fp, class _Alloc, class _Rp>
- void
- __func<_Fp, _Alloc, _Rp()>::destroy_deallocate()
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
- _Ap __a(__f_.second());
- __f_.~__compressed_pair<_Fp, _Alloc>();
- __a.deallocate(this, 1);
- }
- template<class _Fp, class _Alloc, class _Rp>
- _Rp
- __func<_Fp, _Alloc, _Rp()>::operator()()
- {
- typedef __invoke_void_return_wrapper<_Rp> _Invoker;
- return _Invoker::__call(__f_.first());
- }
- #ifndef _LIBCPP_NO_RTTI
- template<class _Fp, class _Alloc, class _Rp>
- const void*
- __func<_Fp, _Alloc, _Rp()>::target(const type_info& __ti) const
- {
- if (__ti == typeid(_Fp))
- return &__f_.first();
- return (const void*)0;
- }
- template<class _Fp, class _Alloc, class _Rp>
- const std::type_info&
- __func<_Fp, _Alloc, _Rp()>::target_type() const
- {
- return typeid(_Fp);
- }
- #endif // _LIBCPP_NO_RTTI
- template<class _Fp, class _Alloc, class _Rp, class _A0>
- class __func<_Fp, _Alloc, _Rp(_A0)>
- : public __base<_Rp(_A0)>
- {
- __compressed_pair<_Fp, _Alloc> __f_;
- public:
- _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f) : __f_(_VSTD::move(__f)) {}
- _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f, _Alloc __a)
- : __f_(_VSTD::move(__f), _VSTD::move(__a)) {}
- virtual __base<_Rp(_A0)>* __clone() const;
- virtual void __clone(__base<_Rp(_A0)>*) const;
- virtual void destroy();
- virtual void destroy_deallocate();
- virtual _Rp operator()(_A0);
- #ifndef _LIBCPP_NO_RTTI
- virtual const void* target(const type_info&) const;
- virtual const std::type_info& target_type() const;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Fp, class _Alloc, class _Rp, class _A0>
- __base<_Rp(_A0)>*
- __func<_Fp, _Alloc, _Rp(_A0)>::__clone() const
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
- _Ap __a(__f_.second());
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
- return __hold.release();
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0>
- void
- __func<_Fp, _Alloc, _Rp(_A0)>::__clone(__base<_Rp(_A0)>* __p) const
- {
- ::new (__p) __func(__f_.first(), __f_.second());
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0>
- void
- __func<_Fp, _Alloc, _Rp(_A0)>::destroy()
- {
- __f_.~__compressed_pair<_Fp, _Alloc>();
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0>
- void
- __func<_Fp, _Alloc, _Rp(_A0)>::destroy_deallocate()
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
- _Ap __a(__f_.second());
- __f_.~__compressed_pair<_Fp, _Alloc>();
- __a.deallocate(this, 1);
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0>
- _Rp
- __func<_Fp, _Alloc, _Rp(_A0)>::operator()(_A0 __a0)
- {
- typedef __invoke_void_return_wrapper<_Rp> _Invoker;
- return _Invoker::__call(__f_.first(), __a0);
- }
- #ifndef _LIBCPP_NO_RTTI
- template<class _Fp, class _Alloc, class _Rp, class _A0>
- const void*
- __func<_Fp, _Alloc, _Rp(_A0)>::target(const type_info& __ti) const
- {
- if (__ti == typeid(_Fp))
- return &__f_.first();
- return (const void*)0;
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0>
- const std::type_info&
- __func<_Fp, _Alloc, _Rp(_A0)>::target_type() const
- {
- return typeid(_Fp);
- }
- #endif // _LIBCPP_NO_RTTI
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
- class __func<_Fp, _Alloc, _Rp(_A0, _A1)>
- : public __base<_Rp(_A0, _A1)>
- {
- __compressed_pair<_Fp, _Alloc> __f_;
- public:
- _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f) : __f_(_VSTD::move(__f)) {}
- _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f, _Alloc __a)
- : __f_(_VSTD::move(__f), _VSTD::move(__a)) {}
- virtual __base<_Rp(_A0, _A1)>* __clone() const;
- virtual void __clone(__base<_Rp(_A0, _A1)>*) const;
- virtual void destroy();
- virtual void destroy_deallocate();
- virtual _Rp operator()(_A0, _A1);
- #ifndef _LIBCPP_NO_RTTI
- virtual const void* target(const type_info&) const;
- virtual const std::type_info& target_type() const;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
- __base<_Rp(_A0, _A1)>*
- __func<_Fp, _Alloc, _Rp(_A0, _A1)>::__clone() const
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
- _Ap __a(__f_.second());
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
- return __hold.release();
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
- void
- __func<_Fp, _Alloc, _Rp(_A0, _A1)>::__clone(__base<_Rp(_A0, _A1)>* __p) const
- {
- ::new (__p) __func(__f_.first(), __f_.second());
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
- void
- __func<_Fp, _Alloc, _Rp(_A0, _A1)>::destroy()
- {
- __f_.~__compressed_pair<_Fp, _Alloc>();
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
- void
- __func<_Fp, _Alloc, _Rp(_A0, _A1)>::destroy_deallocate()
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
- _Ap __a(__f_.second());
- __f_.~__compressed_pair<_Fp, _Alloc>();
- __a.deallocate(this, 1);
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
- _Rp
- __func<_Fp, _Alloc, _Rp(_A0, _A1)>::operator()(_A0 __a0, _A1 __a1)
- {
- typedef __invoke_void_return_wrapper<_Rp> _Invoker;
- return _Invoker::__call(__f_.first(), __a0, __a1);
- }
- #ifndef _LIBCPP_NO_RTTI
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
- const void*
- __func<_Fp, _Alloc, _Rp(_A0, _A1)>::target(const type_info& __ti) const
- {
- if (__ti == typeid(_Fp))
- return &__f_.first();
- return (const void*)0;
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
- const std::type_info&
- __func<_Fp, _Alloc, _Rp(_A0, _A1)>::target_type() const
- {
- return typeid(_Fp);
- }
- #endif // _LIBCPP_NO_RTTI
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
- class __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>
- : public __base<_Rp(_A0, _A1, _A2)>
- {
- __compressed_pair<_Fp, _Alloc> __f_;
- public:
- _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f) : __f_(_VSTD::move(__f)) {}
- _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f, _Alloc __a)
- : __f_(_VSTD::move(__f), _VSTD::move(__a)) {}
- virtual __base<_Rp(_A0, _A1, _A2)>* __clone() const;
- virtual void __clone(__base<_Rp(_A0, _A1, _A2)>*) const;
- virtual void destroy();
- virtual void destroy_deallocate();
- virtual _Rp operator()(_A0, _A1, _A2);
- #ifndef _LIBCPP_NO_RTTI
- virtual const void* target(const type_info&) const;
- virtual const std::type_info& target_type() const;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
- __base<_Rp(_A0, _A1, _A2)>*
- __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::__clone() const
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
- _Ap __a(__f_.second());
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
- return __hold.release();
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
- void
- __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::__clone(__base<_Rp(_A0, _A1, _A2)>* __p) const
- {
- ::new (__p) __func(__f_.first(), __f_.second());
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
- void
- __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::destroy()
- {
- __f_.~__compressed_pair<_Fp, _Alloc>();
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
- void
- __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::destroy_deallocate()
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
- _Ap __a(__f_.second());
- __f_.~__compressed_pair<_Fp, _Alloc>();
- __a.deallocate(this, 1);
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
- _Rp
- __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::operator()(_A0 __a0, _A1 __a1, _A2 __a2)
- {
- typedef __invoke_void_return_wrapper<_Rp> _Invoker;
- return _Invoker::__call(__f_.first(), __a0, __a1, __a2);
- }
- #ifndef _LIBCPP_NO_RTTI
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
- const void*
- __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::target(const type_info& __ti) const
- {
- if (__ti == typeid(_Fp))
- return &__f_.first();
- return (const void*)0;
- }
- template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
- const std::type_info&
- __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::target_type() const
- {
- return typeid(_Fp);
- }
- #endif // _LIBCPP_NO_RTTI
- } // __function
- template<class _Rp>
- class _LIBCPP_TYPE_VIS_ONLY function<_Rp()>
- {
- typedef __function::__base<_Rp()> __base;
- aligned_storage<3*sizeof(void*)>::type __buf_;
- __base* __f_;
- public:
- typedef _Rp result_type;
- // 20.7.16.2.1, construct/copy/destroy:
- _LIBCPP_INLINE_VISIBILITY explicit function() : __f_(0) {}
- _LIBCPP_INLINE_VISIBILITY function(nullptr_t) : __f_(0) {}
- function(const function&);
- template<class _Fp>
- function(_Fp,
- typename enable_if<!is_integral<_Fp>::value>::type* = 0);
- template<class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- function(allocator_arg_t, const _Alloc&) : __f_(0) {}
- template<class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- function(allocator_arg_t, const _Alloc&, nullptr_t) : __f_(0) {}
- template<class _Alloc>
- function(allocator_arg_t, const _Alloc&, const function&);
- template<class _Fp, class _Alloc>
- function(allocator_arg_t, const _Alloc& __a, _Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type* = 0);
- function& operator=(const function&);
- function& operator=(nullptr_t);
- template<class _Fp>
- typename enable_if
- <
- !is_integral<_Fp>::value,
- function&
- >::type
- operator=(_Fp);
- ~function();
- // 20.7.16.2.2, function modifiers:
- void swap(function&);
- template<class _Fp, class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- void assign(_Fp __f, const _Alloc& __a)
- {function(allocator_arg, __a, __f).swap(*this);}
- // 20.7.16.2.3, function capacity:
- _LIBCPP_INLINE_VISIBILITY operator bool() const {return __f_;}
- private:
- // deleted overloads close possible hole in the type system
- template<class _R2>
- bool operator==(const function<_R2()>&) const;// = delete;
- template<class _R2>
- bool operator!=(const function<_R2()>&) const;// = delete;
- public:
- // 20.7.16.2.4, function invocation:
- _Rp operator()() const;
- #ifndef _LIBCPP_NO_RTTI
- // 20.7.16.2.5, function target access:
- const std::type_info& target_type() const;
- template <typename _Tp> _Tp* target();
- template <typename _Tp> const _Tp* target() const;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Rp>
- function<_Rp()>::function(const function& __f)
- {
- if (__f.__f_ == 0)
- __f_ = 0;
- else if (__f.__f_ == (const __base*)&__f.__buf_)
- {
- __f_ = (__base*)&__buf_;
- __f.__f_->__clone(__f_);
- }
- else
- __f_ = __f.__f_->__clone();
- }
- template<class _Rp>
- template<class _Alloc>
- function<_Rp()>::function(allocator_arg_t, const _Alloc&, const function& __f)
- {
- if (__f.__f_ == 0)
- __f_ = 0;
- else if (__f.__f_ == (const __base*)&__f.__buf_)
- {
- __f_ = (__base*)&__buf_;
- __f.__f_->__clone(__f_);
- }
- else
- __f_ = __f.__f_->__clone();
- }
- template<class _Rp>
- template <class _Fp>
- function<_Rp()>::function(_Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type*)
- : __f_(0)
- {
- if (__function::__not_null(__f))
- {
- typedef __function::__func<_Fp, allocator<_Fp>, _Rp()> _FF;
- if (sizeof(_FF) <= sizeof(__buf_))
- {
- __f_ = (__base*)&__buf_;
- ::new (__f_) _FF(__f);
- }
- else
- {
- typedef allocator<_FF> _Ap;
- _Ap __a;
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) _FF(__f, allocator<_Fp>(__a));
- __f_ = __hold.release();
- }
- }
- }
- template<class _Rp>
- template <class _Fp, class _Alloc>
- function<_Rp()>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type*)
- : __f_(0)
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- if (__function::__not_null(__f))
- {
- typedef __function::__func<_Fp, _Alloc, _Rp()> _FF;
- if (sizeof(_FF) <= sizeof(__buf_))
- {
- __f_ = (__base*)&__buf_;
- ::new (__f_) _FF(__f, __a0);
- }
- else
- {
- typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
- _Ap __a(__a0);
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) _FF(__f, _Alloc(__a));
- __f_ = __hold.release();
- }
- }
- }
- template<class _Rp>
- function<_Rp()>&
- function<_Rp()>::operator=(const function& __f)
- {
- function(__f).swap(*this);
- return *this;
- }
- template<class _Rp>
- function<_Rp()>&
- function<_Rp()>::operator=(nullptr_t)
- {
- if (__f_ == (__base*)&__buf_)
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
- __f_ = 0;
- return *this;
- }
- template<class _Rp>
- template <class _Fp>
- typename enable_if
- <
- !is_integral<_Fp>::value,
- function<_Rp()>&
- >::type
- function<_Rp()>::operator=(_Fp __f)
- {
- function(_VSTD::move(__f)).swap(*this);
- return *this;
- }
- template<class _Rp>
- function<_Rp()>::~function()
- {
- if (__f_ == (__base*)&__buf_)
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
- }
- template<class _Rp>
- void
- function<_Rp()>::swap(function& __f)
- {
- if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
- {
- typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
- __base* __t = (__base*)&__tempbuf;
- __f_->__clone(__t);
- __f_->destroy();
- __f_ = 0;
- __f.__f_->__clone((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = 0;
- __f_ = (__base*)&__buf_;
- __t->__clone((__base*)&__f.__buf_);
- __t->destroy();
- __f.__f_ = (__base*)&__f.__buf_;
- }
- else if (__f_ == (__base*)&__buf_)
- {
- __f_->__clone((__base*)&__f.__buf_);
- __f_->destroy();
- __f_ = __f.__f_;
- __f.__f_ = (__base*)&__f.__buf_;
- }
- else if (__f.__f_ == (__base*)&__f.__buf_)
- {
- __f.__f_->__clone((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = __f_;
- __f_ = (__base*)&__buf_;
- }
- else
- _VSTD::swap(__f_, __f.__f_);
- }
- template<class _Rp>
- _Rp
- function<_Rp()>::operator()() const
- {
- #ifndef _LIBCPP_NO_EXCEPTIONS
- if (__f_ == 0)
- throw bad_function_call();
- #endif // _LIBCPP_NO_EXCEPTIONS
- return (*__f_)();
- }
- #ifndef _LIBCPP_NO_RTTI
- template<class _Rp>
- const std::type_info&
- function<_Rp()>::target_type() const
- {
- if (__f_ == 0)
- return typeid(void);
- return __f_->target_type();
- }
- template<class _Rp>
- template <typename _Tp>
- _Tp*
- function<_Rp()>::target()
- {
- if (__f_ == 0)
- return (_Tp*)0;
- return (_Tp*)__f_->target(typeid(_Tp));
- }
- template<class _Rp>
- template <typename _Tp>
- const _Tp*
- function<_Rp()>::target() const
- {
- if (__f_ == 0)
- return (const _Tp*)0;
- return (const _Tp*)__f_->target(typeid(_Tp));
- }
- #endif // _LIBCPP_NO_RTTI
- template<class _Rp, class _A0>
- class _LIBCPP_TYPE_VIS_ONLY function<_Rp(_A0)>
- : public unary_function<_A0, _Rp>
- {
- typedef __function::__base<_Rp(_A0)> __base;
- aligned_storage<3*sizeof(void*)>::type __buf_;
- __base* __f_;
- public:
- typedef _Rp result_type;
- // 20.7.16.2.1, construct/copy/destroy:
- _LIBCPP_INLINE_VISIBILITY explicit function() : __f_(0) {}
- _LIBCPP_INLINE_VISIBILITY function(nullptr_t) : __f_(0) {}
- function(const function&);
- template<class _Fp>
- function(_Fp,
- typename enable_if<!is_integral<_Fp>::value>::type* = 0);
- template<class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- function(allocator_arg_t, const _Alloc&) : __f_(0) {}
- template<class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- function(allocator_arg_t, const _Alloc&, nullptr_t) : __f_(0) {}
- template<class _Alloc>
- function(allocator_arg_t, const _Alloc&, const function&);
- template<class _Fp, class _Alloc>
- function(allocator_arg_t, const _Alloc& __a, _Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type* = 0);
- function& operator=(const function&);
- function& operator=(nullptr_t);
- template<class _Fp>
- typename enable_if
- <
- !is_integral<_Fp>::value,
- function&
- >::type
- operator=(_Fp);
- ~function();
- // 20.7.16.2.2, function modifiers:
- void swap(function&);
- template<class _Fp, class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- void assign(_Fp __f, const _Alloc& __a)
- {function(allocator_arg, __a, __f).swap(*this);}
- // 20.7.16.2.3, function capacity:
- _LIBCPP_INLINE_VISIBILITY operator bool() const {return __f_;}
- private:
- // deleted overloads close possible hole in the type system
- template<class _R2, class _B0>
- bool operator==(const function<_R2(_B0)>&) const;// = delete;
- template<class _R2, class _B0>
- bool operator!=(const function<_R2(_B0)>&) const;// = delete;
- public:
- // 20.7.16.2.4, function invocation:
- _Rp operator()(_A0) const;
- #ifndef _LIBCPP_NO_RTTI
- // 20.7.16.2.5, function target access:
- const std::type_info& target_type() const;
- template <typename _Tp> _Tp* target();
- template <typename _Tp> const _Tp* target() const;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Rp, class _A0>
- function<_Rp(_A0)>::function(const function& __f)
- {
- if (__f.__f_ == 0)
- __f_ = 0;
- else if (__f.__f_ == (const __base*)&__f.__buf_)
- {
- __f_ = (__base*)&__buf_;
- __f.__f_->__clone(__f_);
- }
- else
- __f_ = __f.__f_->__clone();
- }
- template<class _Rp, class _A0>
- template<class _Alloc>
- function<_Rp(_A0)>::function(allocator_arg_t, const _Alloc&, const function& __f)
- {
- if (__f.__f_ == 0)
- __f_ = 0;
- else if (__f.__f_ == (const __base*)&__f.__buf_)
- {
- __f_ = (__base*)&__buf_;
- __f.__f_->__clone(__f_);
- }
- else
- __f_ = __f.__f_->__clone();
- }
- template<class _Rp, class _A0>
- template <class _Fp>
- function<_Rp(_A0)>::function(_Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type*)
- : __f_(0)
- {
- if (__function::__not_null(__f))
- {
- typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_A0)> _FF;
- if (sizeof(_FF) <= sizeof(__buf_))
- {
- __f_ = (__base*)&__buf_;
- ::new (__f_) _FF(__f);
- }
- else
- {
- typedef allocator<_FF> _Ap;
- _Ap __a;
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) _FF(__f, allocator<_Fp>(__a));
- __f_ = __hold.release();
- }
- }
- }
- template<class _Rp, class _A0>
- template <class _Fp, class _Alloc>
- function<_Rp(_A0)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type*)
- : __f_(0)
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- if (__function::__not_null(__f))
- {
- typedef __function::__func<_Fp, _Alloc, _Rp(_A0)> _FF;
- if (sizeof(_FF) <= sizeof(__buf_))
- {
- __f_ = (__base*)&__buf_;
- ::new (__f_) _FF(__f, __a0);
- }
- else
- {
- typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
- _Ap __a(__a0);
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) _FF(__f, _Alloc(__a));
- __f_ = __hold.release();
- }
- }
- }
- template<class _Rp, class _A0>
- function<_Rp(_A0)>&
- function<_Rp(_A0)>::operator=(const function& __f)
- {
- function(__f).swap(*this);
- return *this;
- }
- template<class _Rp, class _A0>
- function<_Rp(_A0)>&
- function<_Rp(_A0)>::operator=(nullptr_t)
- {
- if (__f_ == (__base*)&__buf_)
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
- __f_ = 0;
- return *this;
- }
- template<class _Rp, class _A0>
- template <class _Fp>
- typename enable_if
- <
- !is_integral<_Fp>::value,
- function<_Rp(_A0)>&
- >::type
- function<_Rp(_A0)>::operator=(_Fp __f)
- {
- function(_VSTD::move(__f)).swap(*this);
- return *this;
- }
- template<class _Rp, class _A0>
- function<_Rp(_A0)>::~function()
- {
- if (__f_ == (__base*)&__buf_)
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
- }
- template<class _Rp, class _A0>
- void
- function<_Rp(_A0)>::swap(function& __f)
- {
- if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
- {
- typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
- __base* __t = (__base*)&__tempbuf;
- __f_->__clone(__t);
- __f_->destroy();
- __f_ = 0;
- __f.__f_->__clone((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = 0;
- __f_ = (__base*)&__buf_;
- __t->__clone((__base*)&__f.__buf_);
- __t->destroy();
- __f.__f_ = (__base*)&__f.__buf_;
- }
- else if (__f_ == (__base*)&__buf_)
- {
- __f_->__clone((__base*)&__f.__buf_);
- __f_->destroy();
- __f_ = __f.__f_;
- __f.__f_ = (__base*)&__f.__buf_;
- }
- else if (__f.__f_ == (__base*)&__f.__buf_)
- {
- __f.__f_->__clone((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = __f_;
- __f_ = (__base*)&__buf_;
- }
- else
- _VSTD::swap(__f_, __f.__f_);
- }
- template<class _Rp, class _A0>
- _Rp
- function<_Rp(_A0)>::operator()(_A0 __a0) const
- {
- #ifndef _LIBCPP_NO_EXCEPTIONS
- if (__f_ == 0)
- throw bad_function_call();
- #endif // _LIBCPP_NO_EXCEPTIONS
- return (*__f_)(__a0);
- }
- #ifndef _LIBCPP_NO_RTTI
- template<class _Rp, class _A0>
- const std::type_info&
- function<_Rp(_A0)>::target_type() const
- {
- if (__f_ == 0)
- return typeid(void);
- return __f_->target_type();
- }
- template<class _Rp, class _A0>
- template <typename _Tp>
- _Tp*
- function<_Rp(_A0)>::target()
- {
- if (__f_ == 0)
- return (_Tp*)0;
- return (_Tp*)__f_->target(typeid(_Tp));
- }
- template<class _Rp, class _A0>
- template <typename _Tp>
- const _Tp*
- function<_Rp(_A0)>::target() const
- {
- if (__f_ == 0)
- return (const _Tp*)0;
- return (const _Tp*)__f_->target(typeid(_Tp));
- }
- #endif // _LIBCPP_NO_RTTI
- template<class _Rp, class _A0, class _A1>
- class _LIBCPP_TYPE_VIS_ONLY function<_Rp(_A0, _A1)>
- : public binary_function<_A0, _A1, _Rp>
- {
- typedef __function::__base<_Rp(_A0, _A1)> __base;
- aligned_storage<3*sizeof(void*)>::type __buf_;
- __base* __f_;
- public:
- typedef _Rp result_type;
- // 20.7.16.2.1, construct/copy/destroy:
- _LIBCPP_INLINE_VISIBILITY explicit function() : __f_(0) {}
- _LIBCPP_INLINE_VISIBILITY function(nullptr_t) : __f_(0) {}
- function(const function&);
- template<class _Fp>
- function(_Fp,
- typename enable_if<!is_integral<_Fp>::value>::type* = 0);
- template<class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- function(allocator_arg_t, const _Alloc&) : __f_(0) {}
- template<class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- function(allocator_arg_t, const _Alloc&, nullptr_t) : __f_(0) {}
- template<class _Alloc>
- function(allocator_arg_t, const _Alloc&, const function&);
- template<class _Fp, class _Alloc>
- function(allocator_arg_t, const _Alloc& __a, _Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type* = 0);
- function& operator=(const function&);
- function& operator=(nullptr_t);
- template<class _Fp>
- typename enable_if
- <
- !is_integral<_Fp>::value,
- function&
- >::type
- operator=(_Fp);
- ~function();
- // 20.7.16.2.2, function modifiers:
- void swap(function&);
- template<class _Fp, class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- void assign(_Fp __f, const _Alloc& __a)
- {function(allocator_arg, __a, __f).swap(*this);}
- // 20.7.16.2.3, function capacity:
- operator bool() const {return __f_;}
- private:
- // deleted overloads close possible hole in the type system
- template<class _R2, class _B0, class _B1>
- bool operator==(const function<_R2(_B0, _B1)>&) const;// = delete;
- template<class _R2, class _B0, class _B1>
- bool operator!=(const function<_R2(_B0, _B1)>&) const;// = delete;
- public:
- // 20.7.16.2.4, function invocation:
- _Rp operator()(_A0, _A1) const;
- #ifndef _LIBCPP_NO_RTTI
- // 20.7.16.2.5, function target access:
- const std::type_info& target_type() const;
- template <typename _Tp> _Tp* target();
- template <typename _Tp> const _Tp* target() const;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Rp, class _A0, class _A1>
- function<_Rp(_A0, _A1)>::function(const function& __f)
- {
- if (__f.__f_ == 0)
- __f_ = 0;
- else if (__f.__f_ == (const __base*)&__f.__buf_)
- {
- __f_ = (__base*)&__buf_;
- __f.__f_->__clone(__f_);
- }
- else
- __f_ = __f.__f_->__clone();
- }
- template<class _Rp, class _A0, class _A1>
- template<class _Alloc>
- function<_Rp(_A0, _A1)>::function(allocator_arg_t, const _Alloc&, const function& __f)
- {
- if (__f.__f_ == 0)
- __f_ = 0;
- else if (__f.__f_ == (const __base*)&__f.__buf_)
- {
- __f_ = (__base*)&__buf_;
- __f.__f_->__clone(__f_);
- }
- else
- __f_ = __f.__f_->__clone();
- }
- template<class _Rp, class _A0, class _A1>
- template <class _Fp>
- function<_Rp(_A0, _A1)>::function(_Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type*)
- : __f_(0)
- {
- if (__function::__not_null(__f))
- {
- typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_A0, _A1)> _FF;
- if (sizeof(_FF) <= sizeof(__buf_))
- {
- __f_ = (__base*)&__buf_;
- ::new (__f_) _FF(__f);
- }
- else
- {
- typedef allocator<_FF> _Ap;
- _Ap __a;
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) _FF(__f, allocator<_Fp>(__a));
- __f_ = __hold.release();
- }
- }
- }
- template<class _Rp, class _A0, class _A1>
- template <class _Fp, class _Alloc>
- function<_Rp(_A0, _A1)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type*)
- : __f_(0)
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- if (__function::__not_null(__f))
- {
- typedef __function::__func<_Fp, _Alloc, _Rp(_A0, _A1)> _FF;
- if (sizeof(_FF) <= sizeof(__buf_))
- {
- __f_ = (__base*)&__buf_;
- ::new (__f_) _FF(__f, __a0);
- }
- else
- {
- typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
- _Ap __a(__a0);
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) _FF(__f, _Alloc(__a));
- __f_ = __hold.release();
- }
- }
- }
- template<class _Rp, class _A0, class _A1>
- function<_Rp(_A0, _A1)>&
- function<_Rp(_A0, _A1)>::operator=(const function& __f)
- {
- function(__f).swap(*this);
- return *this;
- }
- template<class _Rp, class _A0, class _A1>
- function<_Rp(_A0, _A1)>&
- function<_Rp(_A0, _A1)>::operator=(nullptr_t)
- {
- if (__f_ == (__base*)&__buf_)
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
- __f_ = 0;
- return *this;
- }
- template<class _Rp, class _A0, class _A1>
- template <class _Fp>
- typename enable_if
- <
- !is_integral<_Fp>::value,
- function<_Rp(_A0, _A1)>&
- >::type
- function<_Rp(_A0, _A1)>::operator=(_Fp __f)
- {
- function(_VSTD::move(__f)).swap(*this);
- return *this;
- }
- template<class _Rp, class _A0, class _A1>
- function<_Rp(_A0, _A1)>::~function()
- {
- if (__f_ == (__base*)&__buf_)
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
- }
- template<class _Rp, class _A0, class _A1>
- void
- function<_Rp(_A0, _A1)>::swap(function& __f)
- {
- if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
- {
- typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
- __base* __t = (__base*)&__tempbuf;
- __f_->__clone(__t);
- __f_->destroy();
- __f_ = 0;
- __f.__f_->__clone((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = 0;
- __f_ = (__base*)&__buf_;
- __t->__clone((__base*)&__f.__buf_);
- __t->destroy();
- __f.__f_ = (__base*)&__f.__buf_;
- }
- else if (__f_ == (__base*)&__buf_)
- {
- __f_->__clone((__base*)&__f.__buf_);
- __f_->destroy();
- __f_ = __f.__f_;
- __f.__f_ = (__base*)&__f.__buf_;
- }
- else if (__f.__f_ == (__base*)&__f.__buf_)
- {
- __f.__f_->__clone((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = __f_;
- __f_ = (__base*)&__buf_;
- }
- else
- _VSTD::swap(__f_, __f.__f_);
- }
- template<class _Rp, class _A0, class _A1>
- _Rp
- function<_Rp(_A0, _A1)>::operator()(_A0 __a0, _A1 __a1) const
- {
- #ifndef _LIBCPP_NO_EXCEPTIONS
- if (__f_ == 0)
- throw bad_function_call();
- #endif // _LIBCPP_NO_EXCEPTIONS
- return (*__f_)(__a0, __a1);
- }
- #ifndef _LIBCPP_NO_RTTI
- template<class _Rp, class _A0, class _A1>
- const std::type_info&
- function<_Rp(_A0, _A1)>::target_type() const
- {
- if (__f_ == 0)
- return typeid(void);
- return __f_->target_type();
- }
- template<class _Rp, class _A0, class _A1>
- template <typename _Tp>
- _Tp*
- function<_Rp(_A0, _A1)>::target()
- {
- if (__f_ == 0)
- return (_Tp*)0;
- return (_Tp*)__f_->target(typeid(_Tp));
- }
- template<class _Rp, class _A0, class _A1>
- template <typename _Tp>
- const _Tp*
- function<_Rp(_A0, _A1)>::target() const
- {
- if (__f_ == 0)
- return (const _Tp*)0;
- return (const _Tp*)__f_->target(typeid(_Tp));
- }
- #endif // _LIBCPP_NO_RTTI
- template<class _Rp, class _A0, class _A1, class _A2>
- class _LIBCPP_TYPE_VIS_ONLY function<_Rp(_A0, _A1, _A2)>
- {
- typedef __function::__base<_Rp(_A0, _A1, _A2)> __base;
- aligned_storage<3*sizeof(void*)>::type __buf_;
- __base* __f_;
- public:
- typedef _Rp result_type;
- // 20.7.16.2.1, construct/copy/destroy:
- _LIBCPP_INLINE_VISIBILITY explicit function() : __f_(0) {}
- _LIBCPP_INLINE_VISIBILITY function(nullptr_t) : __f_(0) {}
- function(const function&);
- template<class _Fp>
- function(_Fp,
- typename enable_if<!is_integral<_Fp>::value>::type* = 0);
- template<class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- function(allocator_arg_t, const _Alloc&) : __f_(0) {}
- template<class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- function(allocator_arg_t, const _Alloc&, nullptr_t) : __f_(0) {}
- template<class _Alloc>
- function(allocator_arg_t, const _Alloc&, const function&);
- template<class _Fp, class _Alloc>
- function(allocator_arg_t, const _Alloc& __a, _Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type* = 0);
- function& operator=(const function&);
- function& operator=(nullptr_t);
- template<class _Fp>
- typename enable_if
- <
- !is_integral<_Fp>::value,
- function&
- >::type
- operator=(_Fp);
- ~function();
- // 20.7.16.2.2, function modifiers:
- void swap(function&);
- template<class _Fp, class _Alloc>
- _LIBCPP_INLINE_VISIBILITY
- void assign(_Fp __f, const _Alloc& __a)
- {function(allocator_arg, __a, __f).swap(*this);}
- // 20.7.16.2.3, function capacity:
- _LIBCPP_INLINE_VISIBILITY operator bool() const {return __f_;}
- private:
- // deleted overloads close possible hole in the type system
- template<class _R2, class _B0, class _B1, class _B2>
- bool operator==(const function<_R2(_B0, _B1, _B2)>&) const;// = delete;
- template<class _R2, class _B0, class _B1, class _B2>
- bool operator!=(const function<_R2(_B0, _B1, _B2)>&) const;// = delete;
- public:
- // 20.7.16.2.4, function invocation:
- _Rp operator()(_A0, _A1, _A2) const;
- #ifndef _LIBCPP_NO_RTTI
- // 20.7.16.2.5, function target access:
- const std::type_info& target_type() const;
- template <typename _Tp> _Tp* target();
- template <typename _Tp> const _Tp* target() const;
- #endif // _LIBCPP_NO_RTTI
- };
- template<class _Rp, class _A0, class _A1, class _A2>
- function<_Rp(_A0, _A1, _A2)>::function(const function& __f)
- {
- if (__f.__f_ == 0)
- __f_ = 0;
- else if (__f.__f_ == (const __base*)&__f.__buf_)
- {
- __f_ = (__base*)&__buf_;
- __f.__f_->__clone(__f_);
- }
- else
- __f_ = __f.__f_->__clone();
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- template<class _Alloc>
- function<_Rp(_A0, _A1, _A2)>::function(allocator_arg_t, const _Alloc&,
- const function& __f)
- {
- if (__f.__f_ == 0)
- __f_ = 0;
- else if (__f.__f_ == (const __base*)&__f.__buf_)
- {
- __f_ = (__base*)&__buf_;
- __f.__f_->__clone(__f_);
- }
- else
- __f_ = __f.__f_->__clone();
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- template <class _Fp>
- function<_Rp(_A0, _A1, _A2)>::function(_Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type*)
- : __f_(0)
- {
- if (__function::__not_null(__f))
- {
- typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_A0, _A1, _A2)> _FF;
- if (sizeof(_FF) <= sizeof(__buf_))
- {
- __f_ = (__base*)&__buf_;
- ::new (__f_) _FF(__f);
- }
- else
- {
- typedef allocator<_FF> _Ap;
- _Ap __a;
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) _FF(__f, allocator<_Fp>(__a));
- __f_ = __hold.release();
- }
- }
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- template <class _Fp, class _Alloc>
- function<_Rp(_A0, _A1, _A2)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
- typename enable_if<!is_integral<_Fp>::value>::type*)
- : __f_(0)
- {
- typedef allocator_traits<_Alloc> __alloc_traits;
- if (__function::__not_null(__f))
- {
- typedef __function::__func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)> _FF;
- if (sizeof(_FF) <= sizeof(__buf_))
- {
- __f_ = (__base*)&__buf_;
- ::new (__f_) _FF(__f, __a0);
- }
- else
- {
- typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
- _Ap __a(__a0);
- typedef __allocator_destructor<_Ap> _Dp;
- unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
- ::new (__hold.get()) _FF(__f, _Alloc(__a));
- __f_ = __hold.release();
- }
- }
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- function<_Rp(_A0, _A1, _A2)>&
- function<_Rp(_A0, _A1, _A2)>::operator=(const function& __f)
- {
- function(__f).swap(*this);
- return *this;
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- function<_Rp(_A0, _A1, _A2)>&
- function<_Rp(_A0, _A1, _A2)>::operator=(nullptr_t)
- {
- if (__f_ == (__base*)&__buf_)
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
- __f_ = 0;
- return *this;
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- template <class _Fp>
- typename enable_if
- <
- !is_integral<_Fp>::value,
- function<_Rp(_A0, _A1, _A2)>&
- >::type
- function<_Rp(_A0, _A1, _A2)>::operator=(_Fp __f)
- {
- function(_VSTD::move(__f)).swap(*this);
- return *this;
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- function<_Rp(_A0, _A1, _A2)>::~function()
- {
- if (__f_ == (__base*)&__buf_)
- __f_->destroy();
- else if (__f_)
- __f_->destroy_deallocate();
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- void
- function<_Rp(_A0, _A1, _A2)>::swap(function& __f)
- {
- if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
- {
- typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
- __base* __t = (__base*)&__tempbuf;
- __f_->__clone(__t);
- __f_->destroy();
- __f_ = 0;
- __f.__f_->__clone((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = 0;
- __f_ = (__base*)&__buf_;
- __t->__clone((__base*)&__f.__buf_);
- __t->destroy();
- __f.__f_ = (__base*)&__f.__buf_;
- }
- else if (__f_ == (__base*)&__buf_)
- {
- __f_->__clone((__base*)&__f.__buf_);
- __f_->destroy();
- __f_ = __f.__f_;
- __f.__f_ = (__base*)&__f.__buf_;
- }
- else if (__f.__f_ == (__base*)&__f.__buf_)
- {
- __f.__f_->__clone((__base*)&__buf_);
- __f.__f_->destroy();
- __f.__f_ = __f_;
- __f_ = (__base*)&__buf_;
- }
- else
- _VSTD::swap(__f_, __f.__f_);
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- _Rp
- function<_Rp(_A0, _A1, _A2)>::operator()(_A0 __a0, _A1 __a1, _A2 __a2) const
- {
- #ifndef _LIBCPP_NO_EXCEPTIONS
- if (__f_ == 0)
- throw bad_function_call();
- #endif // _LIBCPP_NO_EXCEPTIONS
- return (*__f_)(__a0, __a1, __a2);
- }
- #ifndef _LIBCPP_NO_RTTI
- template<class _Rp, class _A0, class _A1, class _A2>
- const std::type_info&
- function<_Rp(_A0, _A1, _A2)>::target_type() const
- {
- if (__f_ == 0)
- return typeid(void);
- return __f_->target_type();
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- template <typename _Tp>
- _Tp*
- function<_Rp(_A0, _A1, _A2)>::target()
- {
- if (__f_ == 0)
- return (_Tp*)0;
- return (_Tp*)__f_->target(typeid(_Tp));
- }
- template<class _Rp, class _A0, class _A1, class _A2>
- template <typename _Tp>
- const _Tp*
- function<_Rp(_A0, _A1, _A2)>::target() const
- {
- if (__f_ == 0)
- return (const _Tp*)0;
- return (const _Tp*)__f_->target(typeid(_Tp));
- }
- #endif // _LIBCPP_NO_RTTI
- template <class _Fp>
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator==(const function<_Fp>& __f, nullptr_t) {return !__f;}
- template <class _Fp>
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator==(nullptr_t, const function<_Fp>& __f) {return !__f;}
- template <class _Fp>
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator!=(const function<_Fp>& __f, nullptr_t) {return (bool)__f;}
- template <class _Fp>
- inline _LIBCPP_INLINE_VISIBILITY
- bool
- operator!=(nullptr_t, const function<_Fp>& __f) {return (bool)__f;}
- template <class _Fp>
- inline _LIBCPP_INLINE_VISIBILITY
- void
- swap(function<_Fp>& __x, function<_Fp>& __y)
- {return __x.swap(__y);}
- #endif // _LIBCPP_FUNCTIONAL_03
|