__functional_03 43 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576
  1. // -*- C++ -*-
  2. //===----------------------------------------------------------------------===//
  3. //
  4. // The LLVM Compiler Infrastructure
  5. //
  6. // This file is dual licensed under the MIT and the University of Illinois Open
  7. // Source Licenses. See LICENSE.TXT for details.
  8. //
  9. //===----------------------------------------------------------------------===//
  10. #ifndef _LIBCPP_FUNCTIONAL_03
  11. #define _LIBCPP_FUNCTIONAL_03
  12. // manual variadic expansion for <functional>
  13. #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
  14. #pragma GCC system_header
  15. #endif
  16. namespace __function {
  17. template<class _Fp> class __base;
  18. template<class _Rp>
  19. class __base<_Rp()>
  20. {
  21. __base(const __base&);
  22. __base& operator=(const __base&);
  23. public:
  24. __base() {}
  25. virtual ~__base() {}
  26. virtual __base* __clone() const = 0;
  27. virtual void __clone(__base*) const = 0;
  28. virtual void destroy() = 0;
  29. virtual void destroy_deallocate() = 0;
  30. virtual _Rp operator()() = 0;
  31. #ifndef _LIBCPP_NO_RTTI
  32. virtual const void* target(const type_info&) const = 0;
  33. virtual const std::type_info& target_type() const = 0;
  34. #endif // _LIBCPP_NO_RTTI
  35. };
  36. template<class _Rp, class _A0>
  37. class __base<_Rp(_A0)>
  38. {
  39. __base(const __base&);
  40. __base& operator=(const __base&);
  41. public:
  42. __base() {}
  43. virtual ~__base() {}
  44. virtual __base* __clone() const = 0;
  45. virtual void __clone(__base*) const = 0;
  46. virtual void destroy() = 0;
  47. virtual void destroy_deallocate() = 0;
  48. virtual _Rp operator()(_A0) = 0;
  49. #ifndef _LIBCPP_NO_RTTI
  50. virtual const void* target(const type_info&) const = 0;
  51. virtual const std::type_info& target_type() const = 0;
  52. #endif // _LIBCPP_NO_RTTI
  53. };
  54. template<class _Rp, class _A0, class _A1>
  55. class __base<_Rp(_A0, _A1)>
  56. {
  57. __base(const __base&);
  58. __base& operator=(const __base&);
  59. public:
  60. __base() {}
  61. virtual ~__base() {}
  62. virtual __base* __clone() const = 0;
  63. virtual void __clone(__base*) const = 0;
  64. virtual void destroy() = 0;
  65. virtual void destroy_deallocate() = 0;
  66. virtual _Rp operator()(_A0, _A1) = 0;
  67. #ifndef _LIBCPP_NO_RTTI
  68. virtual const void* target(const type_info&) const = 0;
  69. virtual const std::type_info& target_type() const = 0;
  70. #endif // _LIBCPP_NO_RTTI
  71. };
  72. template<class _Rp, class _A0, class _A1, class _A2>
  73. class __base<_Rp(_A0, _A1, _A2)>
  74. {
  75. __base(const __base&);
  76. __base& operator=(const __base&);
  77. public:
  78. __base() {}
  79. virtual ~__base() {}
  80. virtual __base* __clone() const = 0;
  81. virtual void __clone(__base*) const = 0;
  82. virtual void destroy() = 0;
  83. virtual void destroy_deallocate() = 0;
  84. virtual _Rp operator()(_A0, _A1, _A2) = 0;
  85. #ifndef _LIBCPP_NO_RTTI
  86. virtual const void* target(const type_info&) const = 0;
  87. virtual const std::type_info& target_type() const = 0;
  88. #endif // _LIBCPP_NO_RTTI
  89. };
  90. template<class _FD, class _Alloc, class _FB> class __func;
  91. template<class _Fp, class _Alloc, class _Rp>
  92. class __func<_Fp, _Alloc, _Rp()>
  93. : public __base<_Rp()>
  94. {
  95. __compressed_pair<_Fp, _Alloc> __f_;
  96. public:
  97. explicit __func(_Fp __f) : __f_(_VSTD::move(__f)) {}
  98. explicit __func(_Fp __f, _Alloc __a) : __f_(_VSTD::move(__f), _VSTD::move(__a)) {}
  99. virtual __base<_Rp()>* __clone() const;
  100. virtual void __clone(__base<_Rp()>*) const;
  101. virtual void destroy();
  102. virtual void destroy_deallocate();
  103. virtual _Rp operator()();
  104. #ifndef _LIBCPP_NO_RTTI
  105. virtual const void* target(const type_info&) const;
  106. virtual const std::type_info& target_type() const;
  107. #endif // _LIBCPP_NO_RTTI
  108. };
  109. template<class _Fp, class _Alloc, class _Rp>
  110. __base<_Rp()>*
  111. __func<_Fp, _Alloc, _Rp()>::__clone() const
  112. {
  113. typedef allocator_traits<_Alloc> __alloc_traits;
  114. typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
  115. _Ap __a(__f_.second());
  116. typedef __allocator_destructor<_Ap> _Dp;
  117. unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  118. ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
  119. return __hold.release();
  120. }
  121. template<class _Fp, class _Alloc, class _Rp>
  122. void
  123. __func<_Fp, _Alloc, _Rp()>::__clone(__base<_Rp()>* __p) const
  124. {
  125. ::new (__p) __func(__f_.first(), __f_.second());
  126. }
  127. template<class _Fp, class _Alloc, class _Rp>
  128. void
  129. __func<_Fp, _Alloc, _Rp()>::destroy()
  130. {
  131. __f_.~__compressed_pair<_Fp, _Alloc>();
  132. }
  133. template<class _Fp, class _Alloc, class _Rp>
  134. void
  135. __func<_Fp, _Alloc, _Rp()>::destroy_deallocate()
  136. {
  137. typedef allocator_traits<_Alloc> __alloc_traits;
  138. typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
  139. _Ap __a(__f_.second());
  140. __f_.~__compressed_pair<_Fp, _Alloc>();
  141. __a.deallocate(this, 1);
  142. }
  143. template<class _Fp, class _Alloc, class _Rp>
  144. _Rp
  145. __func<_Fp, _Alloc, _Rp()>::operator()()
  146. {
  147. typedef __invoke_void_return_wrapper<_Rp> _Invoker;
  148. return _Invoker::__call(__f_.first());
  149. }
  150. #ifndef _LIBCPP_NO_RTTI
  151. template<class _Fp, class _Alloc, class _Rp>
  152. const void*
  153. __func<_Fp, _Alloc, _Rp()>::target(const type_info& __ti) const
  154. {
  155. if (__ti == typeid(_Fp))
  156. return &__f_.first();
  157. return (const void*)0;
  158. }
  159. template<class _Fp, class _Alloc, class _Rp>
  160. const std::type_info&
  161. __func<_Fp, _Alloc, _Rp()>::target_type() const
  162. {
  163. return typeid(_Fp);
  164. }
  165. #endif // _LIBCPP_NO_RTTI
  166. template<class _Fp, class _Alloc, class _Rp, class _A0>
  167. class __func<_Fp, _Alloc, _Rp(_A0)>
  168. : public __base<_Rp(_A0)>
  169. {
  170. __compressed_pair<_Fp, _Alloc> __f_;
  171. public:
  172. _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f) : __f_(_VSTD::move(__f)) {}
  173. _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f, _Alloc __a)
  174. : __f_(_VSTD::move(__f), _VSTD::move(__a)) {}
  175. virtual __base<_Rp(_A0)>* __clone() const;
  176. virtual void __clone(__base<_Rp(_A0)>*) const;
  177. virtual void destroy();
  178. virtual void destroy_deallocate();
  179. virtual _Rp operator()(_A0);
  180. #ifndef _LIBCPP_NO_RTTI
  181. virtual const void* target(const type_info&) const;
  182. virtual const std::type_info& target_type() const;
  183. #endif // _LIBCPP_NO_RTTI
  184. };
  185. template<class _Fp, class _Alloc, class _Rp, class _A0>
  186. __base<_Rp(_A0)>*
  187. __func<_Fp, _Alloc, _Rp(_A0)>::__clone() const
  188. {
  189. typedef allocator_traits<_Alloc> __alloc_traits;
  190. typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
  191. _Ap __a(__f_.second());
  192. typedef __allocator_destructor<_Ap> _Dp;
  193. unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  194. ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
  195. return __hold.release();
  196. }
  197. template<class _Fp, class _Alloc, class _Rp, class _A0>
  198. void
  199. __func<_Fp, _Alloc, _Rp(_A0)>::__clone(__base<_Rp(_A0)>* __p) const
  200. {
  201. ::new (__p) __func(__f_.first(), __f_.second());
  202. }
  203. template<class _Fp, class _Alloc, class _Rp, class _A0>
  204. void
  205. __func<_Fp, _Alloc, _Rp(_A0)>::destroy()
  206. {
  207. __f_.~__compressed_pair<_Fp, _Alloc>();
  208. }
  209. template<class _Fp, class _Alloc, class _Rp, class _A0>
  210. void
  211. __func<_Fp, _Alloc, _Rp(_A0)>::destroy_deallocate()
  212. {
  213. typedef allocator_traits<_Alloc> __alloc_traits;
  214. typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
  215. _Ap __a(__f_.second());
  216. __f_.~__compressed_pair<_Fp, _Alloc>();
  217. __a.deallocate(this, 1);
  218. }
  219. template<class _Fp, class _Alloc, class _Rp, class _A0>
  220. _Rp
  221. __func<_Fp, _Alloc, _Rp(_A0)>::operator()(_A0 __a0)
  222. {
  223. typedef __invoke_void_return_wrapper<_Rp> _Invoker;
  224. return _Invoker::__call(__f_.first(), __a0);
  225. }
  226. #ifndef _LIBCPP_NO_RTTI
  227. template<class _Fp, class _Alloc, class _Rp, class _A0>
  228. const void*
  229. __func<_Fp, _Alloc, _Rp(_A0)>::target(const type_info& __ti) const
  230. {
  231. if (__ti == typeid(_Fp))
  232. return &__f_.first();
  233. return (const void*)0;
  234. }
  235. template<class _Fp, class _Alloc, class _Rp, class _A0>
  236. const std::type_info&
  237. __func<_Fp, _Alloc, _Rp(_A0)>::target_type() const
  238. {
  239. return typeid(_Fp);
  240. }
  241. #endif // _LIBCPP_NO_RTTI
  242. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
  243. class __func<_Fp, _Alloc, _Rp(_A0, _A1)>
  244. : public __base<_Rp(_A0, _A1)>
  245. {
  246. __compressed_pair<_Fp, _Alloc> __f_;
  247. public:
  248. _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f) : __f_(_VSTD::move(__f)) {}
  249. _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f, _Alloc __a)
  250. : __f_(_VSTD::move(__f), _VSTD::move(__a)) {}
  251. virtual __base<_Rp(_A0, _A1)>* __clone() const;
  252. virtual void __clone(__base<_Rp(_A0, _A1)>*) const;
  253. virtual void destroy();
  254. virtual void destroy_deallocate();
  255. virtual _Rp operator()(_A0, _A1);
  256. #ifndef _LIBCPP_NO_RTTI
  257. virtual const void* target(const type_info&) const;
  258. virtual const std::type_info& target_type() const;
  259. #endif // _LIBCPP_NO_RTTI
  260. };
  261. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
  262. __base<_Rp(_A0, _A1)>*
  263. __func<_Fp, _Alloc, _Rp(_A0, _A1)>::__clone() const
  264. {
  265. typedef allocator_traits<_Alloc> __alloc_traits;
  266. typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
  267. _Ap __a(__f_.second());
  268. typedef __allocator_destructor<_Ap> _Dp;
  269. unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  270. ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
  271. return __hold.release();
  272. }
  273. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
  274. void
  275. __func<_Fp, _Alloc, _Rp(_A0, _A1)>::__clone(__base<_Rp(_A0, _A1)>* __p) const
  276. {
  277. ::new (__p) __func(__f_.first(), __f_.second());
  278. }
  279. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
  280. void
  281. __func<_Fp, _Alloc, _Rp(_A0, _A1)>::destroy()
  282. {
  283. __f_.~__compressed_pair<_Fp, _Alloc>();
  284. }
  285. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
  286. void
  287. __func<_Fp, _Alloc, _Rp(_A0, _A1)>::destroy_deallocate()
  288. {
  289. typedef allocator_traits<_Alloc> __alloc_traits;
  290. typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
  291. _Ap __a(__f_.second());
  292. __f_.~__compressed_pair<_Fp, _Alloc>();
  293. __a.deallocate(this, 1);
  294. }
  295. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
  296. _Rp
  297. __func<_Fp, _Alloc, _Rp(_A0, _A1)>::operator()(_A0 __a0, _A1 __a1)
  298. {
  299. typedef __invoke_void_return_wrapper<_Rp> _Invoker;
  300. return _Invoker::__call(__f_.first(), __a0, __a1);
  301. }
  302. #ifndef _LIBCPP_NO_RTTI
  303. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
  304. const void*
  305. __func<_Fp, _Alloc, _Rp(_A0, _A1)>::target(const type_info& __ti) const
  306. {
  307. if (__ti == typeid(_Fp))
  308. return &__f_.first();
  309. return (const void*)0;
  310. }
  311. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1>
  312. const std::type_info&
  313. __func<_Fp, _Alloc, _Rp(_A0, _A1)>::target_type() const
  314. {
  315. return typeid(_Fp);
  316. }
  317. #endif // _LIBCPP_NO_RTTI
  318. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
  319. class __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>
  320. : public __base<_Rp(_A0, _A1, _A2)>
  321. {
  322. __compressed_pair<_Fp, _Alloc> __f_;
  323. public:
  324. _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f) : __f_(_VSTD::move(__f)) {}
  325. _LIBCPP_INLINE_VISIBILITY explicit __func(_Fp __f, _Alloc __a)
  326. : __f_(_VSTD::move(__f), _VSTD::move(__a)) {}
  327. virtual __base<_Rp(_A0, _A1, _A2)>* __clone() const;
  328. virtual void __clone(__base<_Rp(_A0, _A1, _A2)>*) const;
  329. virtual void destroy();
  330. virtual void destroy_deallocate();
  331. virtual _Rp operator()(_A0, _A1, _A2);
  332. #ifndef _LIBCPP_NO_RTTI
  333. virtual const void* target(const type_info&) const;
  334. virtual const std::type_info& target_type() const;
  335. #endif // _LIBCPP_NO_RTTI
  336. };
  337. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
  338. __base<_Rp(_A0, _A1, _A2)>*
  339. __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::__clone() const
  340. {
  341. typedef allocator_traits<_Alloc> __alloc_traits;
  342. typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
  343. _Ap __a(__f_.second());
  344. typedef __allocator_destructor<_Ap> _Dp;
  345. unique_ptr<__func, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  346. ::new (__hold.get()) __func(__f_.first(), _Alloc(__a));
  347. return __hold.release();
  348. }
  349. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
  350. void
  351. __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::__clone(__base<_Rp(_A0, _A1, _A2)>* __p) const
  352. {
  353. ::new (__p) __func(__f_.first(), __f_.second());
  354. }
  355. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
  356. void
  357. __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::destroy()
  358. {
  359. __f_.~__compressed_pair<_Fp, _Alloc>();
  360. }
  361. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
  362. void
  363. __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::destroy_deallocate()
  364. {
  365. typedef allocator_traits<_Alloc> __alloc_traits;
  366. typedef typename __rebind_alloc_helper<__alloc_traits, __func>::type _Ap;
  367. _Ap __a(__f_.second());
  368. __f_.~__compressed_pair<_Fp, _Alloc>();
  369. __a.deallocate(this, 1);
  370. }
  371. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
  372. _Rp
  373. __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::operator()(_A0 __a0, _A1 __a1, _A2 __a2)
  374. {
  375. typedef __invoke_void_return_wrapper<_Rp> _Invoker;
  376. return _Invoker::__call(__f_.first(), __a0, __a1, __a2);
  377. }
  378. #ifndef _LIBCPP_NO_RTTI
  379. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
  380. const void*
  381. __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::target(const type_info& __ti) const
  382. {
  383. if (__ti == typeid(_Fp))
  384. return &__f_.first();
  385. return (const void*)0;
  386. }
  387. template<class _Fp, class _Alloc, class _Rp, class _A0, class _A1, class _A2>
  388. const std::type_info&
  389. __func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)>::target_type() const
  390. {
  391. return typeid(_Fp);
  392. }
  393. #endif // _LIBCPP_NO_RTTI
  394. } // __function
  395. template<class _Rp>
  396. class _LIBCPP_TYPE_VIS_ONLY function<_Rp()>
  397. {
  398. typedef __function::__base<_Rp()> __base;
  399. aligned_storage<3*sizeof(void*)>::type __buf_;
  400. __base* __f_;
  401. public:
  402. typedef _Rp result_type;
  403. // 20.7.16.2.1, construct/copy/destroy:
  404. _LIBCPP_INLINE_VISIBILITY explicit function() : __f_(0) {}
  405. _LIBCPP_INLINE_VISIBILITY function(nullptr_t) : __f_(0) {}
  406. function(const function&);
  407. template<class _Fp>
  408. function(_Fp,
  409. typename enable_if<!is_integral<_Fp>::value>::type* = 0);
  410. template<class _Alloc>
  411. _LIBCPP_INLINE_VISIBILITY
  412. function(allocator_arg_t, const _Alloc&) : __f_(0) {}
  413. template<class _Alloc>
  414. _LIBCPP_INLINE_VISIBILITY
  415. function(allocator_arg_t, const _Alloc&, nullptr_t) : __f_(0) {}
  416. template<class _Alloc>
  417. function(allocator_arg_t, const _Alloc&, const function&);
  418. template<class _Fp, class _Alloc>
  419. function(allocator_arg_t, const _Alloc& __a, _Fp __f,
  420. typename enable_if<!is_integral<_Fp>::value>::type* = 0);
  421. function& operator=(const function&);
  422. function& operator=(nullptr_t);
  423. template<class _Fp>
  424. typename enable_if
  425. <
  426. !is_integral<_Fp>::value,
  427. function&
  428. >::type
  429. operator=(_Fp);
  430. ~function();
  431. // 20.7.16.2.2, function modifiers:
  432. void swap(function&);
  433. template<class _Fp, class _Alloc>
  434. _LIBCPP_INLINE_VISIBILITY
  435. void assign(_Fp __f, const _Alloc& __a)
  436. {function(allocator_arg, __a, __f).swap(*this);}
  437. // 20.7.16.2.3, function capacity:
  438. _LIBCPP_INLINE_VISIBILITY operator bool() const {return __f_;}
  439. private:
  440. // deleted overloads close possible hole in the type system
  441. template<class _R2>
  442. bool operator==(const function<_R2()>&) const;// = delete;
  443. template<class _R2>
  444. bool operator!=(const function<_R2()>&) const;// = delete;
  445. public:
  446. // 20.7.16.2.4, function invocation:
  447. _Rp operator()() const;
  448. #ifndef _LIBCPP_NO_RTTI
  449. // 20.7.16.2.5, function target access:
  450. const std::type_info& target_type() const;
  451. template <typename _Tp> _Tp* target();
  452. template <typename _Tp> const _Tp* target() const;
  453. #endif // _LIBCPP_NO_RTTI
  454. };
  455. template<class _Rp>
  456. function<_Rp()>::function(const function& __f)
  457. {
  458. if (__f.__f_ == 0)
  459. __f_ = 0;
  460. else if (__f.__f_ == (const __base*)&__f.__buf_)
  461. {
  462. __f_ = (__base*)&__buf_;
  463. __f.__f_->__clone(__f_);
  464. }
  465. else
  466. __f_ = __f.__f_->__clone();
  467. }
  468. template<class _Rp>
  469. template<class _Alloc>
  470. function<_Rp()>::function(allocator_arg_t, const _Alloc&, const function& __f)
  471. {
  472. if (__f.__f_ == 0)
  473. __f_ = 0;
  474. else if (__f.__f_ == (const __base*)&__f.__buf_)
  475. {
  476. __f_ = (__base*)&__buf_;
  477. __f.__f_->__clone(__f_);
  478. }
  479. else
  480. __f_ = __f.__f_->__clone();
  481. }
  482. template<class _Rp>
  483. template <class _Fp>
  484. function<_Rp()>::function(_Fp __f,
  485. typename enable_if<!is_integral<_Fp>::value>::type*)
  486. : __f_(0)
  487. {
  488. if (__function::__not_null(__f))
  489. {
  490. typedef __function::__func<_Fp, allocator<_Fp>, _Rp()> _FF;
  491. if (sizeof(_FF) <= sizeof(__buf_))
  492. {
  493. __f_ = (__base*)&__buf_;
  494. ::new (__f_) _FF(__f);
  495. }
  496. else
  497. {
  498. typedef allocator<_FF> _Ap;
  499. _Ap __a;
  500. typedef __allocator_destructor<_Ap> _Dp;
  501. unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  502. ::new (__hold.get()) _FF(__f, allocator<_Fp>(__a));
  503. __f_ = __hold.release();
  504. }
  505. }
  506. }
  507. template<class _Rp>
  508. template <class _Fp, class _Alloc>
  509. function<_Rp()>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
  510. typename enable_if<!is_integral<_Fp>::value>::type*)
  511. : __f_(0)
  512. {
  513. typedef allocator_traits<_Alloc> __alloc_traits;
  514. if (__function::__not_null(__f))
  515. {
  516. typedef __function::__func<_Fp, _Alloc, _Rp()> _FF;
  517. if (sizeof(_FF) <= sizeof(__buf_))
  518. {
  519. __f_ = (__base*)&__buf_;
  520. ::new (__f_) _FF(__f, __a0);
  521. }
  522. else
  523. {
  524. typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
  525. _Ap __a(__a0);
  526. typedef __allocator_destructor<_Ap> _Dp;
  527. unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  528. ::new (__hold.get()) _FF(__f, _Alloc(__a));
  529. __f_ = __hold.release();
  530. }
  531. }
  532. }
  533. template<class _Rp>
  534. function<_Rp()>&
  535. function<_Rp()>::operator=(const function& __f)
  536. {
  537. function(__f).swap(*this);
  538. return *this;
  539. }
  540. template<class _Rp>
  541. function<_Rp()>&
  542. function<_Rp()>::operator=(nullptr_t)
  543. {
  544. if (__f_ == (__base*)&__buf_)
  545. __f_->destroy();
  546. else if (__f_)
  547. __f_->destroy_deallocate();
  548. __f_ = 0;
  549. return *this;
  550. }
  551. template<class _Rp>
  552. template <class _Fp>
  553. typename enable_if
  554. <
  555. !is_integral<_Fp>::value,
  556. function<_Rp()>&
  557. >::type
  558. function<_Rp()>::operator=(_Fp __f)
  559. {
  560. function(_VSTD::move(__f)).swap(*this);
  561. return *this;
  562. }
  563. template<class _Rp>
  564. function<_Rp()>::~function()
  565. {
  566. if (__f_ == (__base*)&__buf_)
  567. __f_->destroy();
  568. else if (__f_)
  569. __f_->destroy_deallocate();
  570. }
  571. template<class _Rp>
  572. void
  573. function<_Rp()>::swap(function& __f)
  574. {
  575. if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
  576. {
  577. typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
  578. __base* __t = (__base*)&__tempbuf;
  579. __f_->__clone(__t);
  580. __f_->destroy();
  581. __f_ = 0;
  582. __f.__f_->__clone((__base*)&__buf_);
  583. __f.__f_->destroy();
  584. __f.__f_ = 0;
  585. __f_ = (__base*)&__buf_;
  586. __t->__clone((__base*)&__f.__buf_);
  587. __t->destroy();
  588. __f.__f_ = (__base*)&__f.__buf_;
  589. }
  590. else if (__f_ == (__base*)&__buf_)
  591. {
  592. __f_->__clone((__base*)&__f.__buf_);
  593. __f_->destroy();
  594. __f_ = __f.__f_;
  595. __f.__f_ = (__base*)&__f.__buf_;
  596. }
  597. else if (__f.__f_ == (__base*)&__f.__buf_)
  598. {
  599. __f.__f_->__clone((__base*)&__buf_);
  600. __f.__f_->destroy();
  601. __f.__f_ = __f_;
  602. __f_ = (__base*)&__buf_;
  603. }
  604. else
  605. _VSTD::swap(__f_, __f.__f_);
  606. }
  607. template<class _Rp>
  608. _Rp
  609. function<_Rp()>::operator()() const
  610. {
  611. #ifndef _LIBCPP_NO_EXCEPTIONS
  612. if (__f_ == 0)
  613. throw bad_function_call();
  614. #endif // _LIBCPP_NO_EXCEPTIONS
  615. return (*__f_)();
  616. }
  617. #ifndef _LIBCPP_NO_RTTI
  618. template<class _Rp>
  619. const std::type_info&
  620. function<_Rp()>::target_type() const
  621. {
  622. if (__f_ == 0)
  623. return typeid(void);
  624. return __f_->target_type();
  625. }
  626. template<class _Rp>
  627. template <typename _Tp>
  628. _Tp*
  629. function<_Rp()>::target()
  630. {
  631. if (__f_ == 0)
  632. return (_Tp*)0;
  633. return (_Tp*)__f_->target(typeid(_Tp));
  634. }
  635. template<class _Rp>
  636. template <typename _Tp>
  637. const _Tp*
  638. function<_Rp()>::target() const
  639. {
  640. if (__f_ == 0)
  641. return (const _Tp*)0;
  642. return (const _Tp*)__f_->target(typeid(_Tp));
  643. }
  644. #endif // _LIBCPP_NO_RTTI
  645. template<class _Rp, class _A0>
  646. class _LIBCPP_TYPE_VIS_ONLY function<_Rp(_A0)>
  647. : public unary_function<_A0, _Rp>
  648. {
  649. typedef __function::__base<_Rp(_A0)> __base;
  650. aligned_storage<3*sizeof(void*)>::type __buf_;
  651. __base* __f_;
  652. public:
  653. typedef _Rp result_type;
  654. // 20.7.16.2.1, construct/copy/destroy:
  655. _LIBCPP_INLINE_VISIBILITY explicit function() : __f_(0) {}
  656. _LIBCPP_INLINE_VISIBILITY function(nullptr_t) : __f_(0) {}
  657. function(const function&);
  658. template<class _Fp>
  659. function(_Fp,
  660. typename enable_if<!is_integral<_Fp>::value>::type* = 0);
  661. template<class _Alloc>
  662. _LIBCPP_INLINE_VISIBILITY
  663. function(allocator_arg_t, const _Alloc&) : __f_(0) {}
  664. template<class _Alloc>
  665. _LIBCPP_INLINE_VISIBILITY
  666. function(allocator_arg_t, const _Alloc&, nullptr_t) : __f_(0) {}
  667. template<class _Alloc>
  668. function(allocator_arg_t, const _Alloc&, const function&);
  669. template<class _Fp, class _Alloc>
  670. function(allocator_arg_t, const _Alloc& __a, _Fp __f,
  671. typename enable_if<!is_integral<_Fp>::value>::type* = 0);
  672. function& operator=(const function&);
  673. function& operator=(nullptr_t);
  674. template<class _Fp>
  675. typename enable_if
  676. <
  677. !is_integral<_Fp>::value,
  678. function&
  679. >::type
  680. operator=(_Fp);
  681. ~function();
  682. // 20.7.16.2.2, function modifiers:
  683. void swap(function&);
  684. template<class _Fp, class _Alloc>
  685. _LIBCPP_INLINE_VISIBILITY
  686. void assign(_Fp __f, const _Alloc& __a)
  687. {function(allocator_arg, __a, __f).swap(*this);}
  688. // 20.7.16.2.3, function capacity:
  689. _LIBCPP_INLINE_VISIBILITY operator bool() const {return __f_;}
  690. private:
  691. // deleted overloads close possible hole in the type system
  692. template<class _R2, class _B0>
  693. bool operator==(const function<_R2(_B0)>&) const;// = delete;
  694. template<class _R2, class _B0>
  695. bool operator!=(const function<_R2(_B0)>&) const;// = delete;
  696. public:
  697. // 20.7.16.2.4, function invocation:
  698. _Rp operator()(_A0) const;
  699. #ifndef _LIBCPP_NO_RTTI
  700. // 20.7.16.2.5, function target access:
  701. const std::type_info& target_type() const;
  702. template <typename _Tp> _Tp* target();
  703. template <typename _Tp> const _Tp* target() const;
  704. #endif // _LIBCPP_NO_RTTI
  705. };
  706. template<class _Rp, class _A0>
  707. function<_Rp(_A0)>::function(const function& __f)
  708. {
  709. if (__f.__f_ == 0)
  710. __f_ = 0;
  711. else if (__f.__f_ == (const __base*)&__f.__buf_)
  712. {
  713. __f_ = (__base*)&__buf_;
  714. __f.__f_->__clone(__f_);
  715. }
  716. else
  717. __f_ = __f.__f_->__clone();
  718. }
  719. template<class _Rp, class _A0>
  720. template<class _Alloc>
  721. function<_Rp(_A0)>::function(allocator_arg_t, const _Alloc&, const function& __f)
  722. {
  723. if (__f.__f_ == 0)
  724. __f_ = 0;
  725. else if (__f.__f_ == (const __base*)&__f.__buf_)
  726. {
  727. __f_ = (__base*)&__buf_;
  728. __f.__f_->__clone(__f_);
  729. }
  730. else
  731. __f_ = __f.__f_->__clone();
  732. }
  733. template<class _Rp, class _A0>
  734. template <class _Fp>
  735. function<_Rp(_A0)>::function(_Fp __f,
  736. typename enable_if<!is_integral<_Fp>::value>::type*)
  737. : __f_(0)
  738. {
  739. if (__function::__not_null(__f))
  740. {
  741. typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_A0)> _FF;
  742. if (sizeof(_FF) <= sizeof(__buf_))
  743. {
  744. __f_ = (__base*)&__buf_;
  745. ::new (__f_) _FF(__f);
  746. }
  747. else
  748. {
  749. typedef allocator<_FF> _Ap;
  750. _Ap __a;
  751. typedef __allocator_destructor<_Ap> _Dp;
  752. unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  753. ::new (__hold.get()) _FF(__f, allocator<_Fp>(__a));
  754. __f_ = __hold.release();
  755. }
  756. }
  757. }
  758. template<class _Rp, class _A0>
  759. template <class _Fp, class _Alloc>
  760. function<_Rp(_A0)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
  761. typename enable_if<!is_integral<_Fp>::value>::type*)
  762. : __f_(0)
  763. {
  764. typedef allocator_traits<_Alloc> __alloc_traits;
  765. if (__function::__not_null(__f))
  766. {
  767. typedef __function::__func<_Fp, _Alloc, _Rp(_A0)> _FF;
  768. if (sizeof(_FF) <= sizeof(__buf_))
  769. {
  770. __f_ = (__base*)&__buf_;
  771. ::new (__f_) _FF(__f, __a0);
  772. }
  773. else
  774. {
  775. typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
  776. _Ap __a(__a0);
  777. typedef __allocator_destructor<_Ap> _Dp;
  778. unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  779. ::new (__hold.get()) _FF(__f, _Alloc(__a));
  780. __f_ = __hold.release();
  781. }
  782. }
  783. }
  784. template<class _Rp, class _A0>
  785. function<_Rp(_A0)>&
  786. function<_Rp(_A0)>::operator=(const function& __f)
  787. {
  788. function(__f).swap(*this);
  789. return *this;
  790. }
  791. template<class _Rp, class _A0>
  792. function<_Rp(_A0)>&
  793. function<_Rp(_A0)>::operator=(nullptr_t)
  794. {
  795. if (__f_ == (__base*)&__buf_)
  796. __f_->destroy();
  797. else if (__f_)
  798. __f_->destroy_deallocate();
  799. __f_ = 0;
  800. return *this;
  801. }
  802. template<class _Rp, class _A0>
  803. template <class _Fp>
  804. typename enable_if
  805. <
  806. !is_integral<_Fp>::value,
  807. function<_Rp(_A0)>&
  808. >::type
  809. function<_Rp(_A0)>::operator=(_Fp __f)
  810. {
  811. function(_VSTD::move(__f)).swap(*this);
  812. return *this;
  813. }
  814. template<class _Rp, class _A0>
  815. function<_Rp(_A0)>::~function()
  816. {
  817. if (__f_ == (__base*)&__buf_)
  818. __f_->destroy();
  819. else if (__f_)
  820. __f_->destroy_deallocate();
  821. }
  822. template<class _Rp, class _A0>
  823. void
  824. function<_Rp(_A0)>::swap(function& __f)
  825. {
  826. if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
  827. {
  828. typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
  829. __base* __t = (__base*)&__tempbuf;
  830. __f_->__clone(__t);
  831. __f_->destroy();
  832. __f_ = 0;
  833. __f.__f_->__clone((__base*)&__buf_);
  834. __f.__f_->destroy();
  835. __f.__f_ = 0;
  836. __f_ = (__base*)&__buf_;
  837. __t->__clone((__base*)&__f.__buf_);
  838. __t->destroy();
  839. __f.__f_ = (__base*)&__f.__buf_;
  840. }
  841. else if (__f_ == (__base*)&__buf_)
  842. {
  843. __f_->__clone((__base*)&__f.__buf_);
  844. __f_->destroy();
  845. __f_ = __f.__f_;
  846. __f.__f_ = (__base*)&__f.__buf_;
  847. }
  848. else if (__f.__f_ == (__base*)&__f.__buf_)
  849. {
  850. __f.__f_->__clone((__base*)&__buf_);
  851. __f.__f_->destroy();
  852. __f.__f_ = __f_;
  853. __f_ = (__base*)&__buf_;
  854. }
  855. else
  856. _VSTD::swap(__f_, __f.__f_);
  857. }
  858. template<class _Rp, class _A0>
  859. _Rp
  860. function<_Rp(_A0)>::operator()(_A0 __a0) const
  861. {
  862. #ifndef _LIBCPP_NO_EXCEPTIONS
  863. if (__f_ == 0)
  864. throw bad_function_call();
  865. #endif // _LIBCPP_NO_EXCEPTIONS
  866. return (*__f_)(__a0);
  867. }
  868. #ifndef _LIBCPP_NO_RTTI
  869. template<class _Rp, class _A0>
  870. const std::type_info&
  871. function<_Rp(_A0)>::target_type() const
  872. {
  873. if (__f_ == 0)
  874. return typeid(void);
  875. return __f_->target_type();
  876. }
  877. template<class _Rp, class _A0>
  878. template <typename _Tp>
  879. _Tp*
  880. function<_Rp(_A0)>::target()
  881. {
  882. if (__f_ == 0)
  883. return (_Tp*)0;
  884. return (_Tp*)__f_->target(typeid(_Tp));
  885. }
  886. template<class _Rp, class _A0>
  887. template <typename _Tp>
  888. const _Tp*
  889. function<_Rp(_A0)>::target() const
  890. {
  891. if (__f_ == 0)
  892. return (const _Tp*)0;
  893. return (const _Tp*)__f_->target(typeid(_Tp));
  894. }
  895. #endif // _LIBCPP_NO_RTTI
  896. template<class _Rp, class _A0, class _A1>
  897. class _LIBCPP_TYPE_VIS_ONLY function<_Rp(_A0, _A1)>
  898. : public binary_function<_A0, _A1, _Rp>
  899. {
  900. typedef __function::__base<_Rp(_A0, _A1)> __base;
  901. aligned_storage<3*sizeof(void*)>::type __buf_;
  902. __base* __f_;
  903. public:
  904. typedef _Rp result_type;
  905. // 20.7.16.2.1, construct/copy/destroy:
  906. _LIBCPP_INLINE_VISIBILITY explicit function() : __f_(0) {}
  907. _LIBCPP_INLINE_VISIBILITY function(nullptr_t) : __f_(0) {}
  908. function(const function&);
  909. template<class _Fp>
  910. function(_Fp,
  911. typename enable_if<!is_integral<_Fp>::value>::type* = 0);
  912. template<class _Alloc>
  913. _LIBCPP_INLINE_VISIBILITY
  914. function(allocator_arg_t, const _Alloc&) : __f_(0) {}
  915. template<class _Alloc>
  916. _LIBCPP_INLINE_VISIBILITY
  917. function(allocator_arg_t, const _Alloc&, nullptr_t) : __f_(0) {}
  918. template<class _Alloc>
  919. function(allocator_arg_t, const _Alloc&, const function&);
  920. template<class _Fp, class _Alloc>
  921. function(allocator_arg_t, const _Alloc& __a, _Fp __f,
  922. typename enable_if<!is_integral<_Fp>::value>::type* = 0);
  923. function& operator=(const function&);
  924. function& operator=(nullptr_t);
  925. template<class _Fp>
  926. typename enable_if
  927. <
  928. !is_integral<_Fp>::value,
  929. function&
  930. >::type
  931. operator=(_Fp);
  932. ~function();
  933. // 20.7.16.2.2, function modifiers:
  934. void swap(function&);
  935. template<class _Fp, class _Alloc>
  936. _LIBCPP_INLINE_VISIBILITY
  937. void assign(_Fp __f, const _Alloc& __a)
  938. {function(allocator_arg, __a, __f).swap(*this);}
  939. // 20.7.16.2.3, function capacity:
  940. operator bool() const {return __f_;}
  941. private:
  942. // deleted overloads close possible hole in the type system
  943. template<class _R2, class _B0, class _B1>
  944. bool operator==(const function<_R2(_B0, _B1)>&) const;// = delete;
  945. template<class _R2, class _B0, class _B1>
  946. bool operator!=(const function<_R2(_B0, _B1)>&) const;// = delete;
  947. public:
  948. // 20.7.16.2.4, function invocation:
  949. _Rp operator()(_A0, _A1) const;
  950. #ifndef _LIBCPP_NO_RTTI
  951. // 20.7.16.2.5, function target access:
  952. const std::type_info& target_type() const;
  953. template <typename _Tp> _Tp* target();
  954. template <typename _Tp> const _Tp* target() const;
  955. #endif // _LIBCPP_NO_RTTI
  956. };
  957. template<class _Rp, class _A0, class _A1>
  958. function<_Rp(_A0, _A1)>::function(const function& __f)
  959. {
  960. if (__f.__f_ == 0)
  961. __f_ = 0;
  962. else if (__f.__f_ == (const __base*)&__f.__buf_)
  963. {
  964. __f_ = (__base*)&__buf_;
  965. __f.__f_->__clone(__f_);
  966. }
  967. else
  968. __f_ = __f.__f_->__clone();
  969. }
  970. template<class _Rp, class _A0, class _A1>
  971. template<class _Alloc>
  972. function<_Rp(_A0, _A1)>::function(allocator_arg_t, const _Alloc&, const function& __f)
  973. {
  974. if (__f.__f_ == 0)
  975. __f_ = 0;
  976. else if (__f.__f_ == (const __base*)&__f.__buf_)
  977. {
  978. __f_ = (__base*)&__buf_;
  979. __f.__f_->__clone(__f_);
  980. }
  981. else
  982. __f_ = __f.__f_->__clone();
  983. }
  984. template<class _Rp, class _A0, class _A1>
  985. template <class _Fp>
  986. function<_Rp(_A0, _A1)>::function(_Fp __f,
  987. typename enable_if<!is_integral<_Fp>::value>::type*)
  988. : __f_(0)
  989. {
  990. if (__function::__not_null(__f))
  991. {
  992. typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_A0, _A1)> _FF;
  993. if (sizeof(_FF) <= sizeof(__buf_))
  994. {
  995. __f_ = (__base*)&__buf_;
  996. ::new (__f_) _FF(__f);
  997. }
  998. else
  999. {
  1000. typedef allocator<_FF> _Ap;
  1001. _Ap __a;
  1002. typedef __allocator_destructor<_Ap> _Dp;
  1003. unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  1004. ::new (__hold.get()) _FF(__f, allocator<_Fp>(__a));
  1005. __f_ = __hold.release();
  1006. }
  1007. }
  1008. }
  1009. template<class _Rp, class _A0, class _A1>
  1010. template <class _Fp, class _Alloc>
  1011. function<_Rp(_A0, _A1)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
  1012. typename enable_if<!is_integral<_Fp>::value>::type*)
  1013. : __f_(0)
  1014. {
  1015. typedef allocator_traits<_Alloc> __alloc_traits;
  1016. if (__function::__not_null(__f))
  1017. {
  1018. typedef __function::__func<_Fp, _Alloc, _Rp(_A0, _A1)> _FF;
  1019. if (sizeof(_FF) <= sizeof(__buf_))
  1020. {
  1021. __f_ = (__base*)&__buf_;
  1022. ::new (__f_) _FF(__f, __a0);
  1023. }
  1024. else
  1025. {
  1026. typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
  1027. _Ap __a(__a0);
  1028. typedef __allocator_destructor<_Ap> _Dp;
  1029. unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  1030. ::new (__hold.get()) _FF(__f, _Alloc(__a));
  1031. __f_ = __hold.release();
  1032. }
  1033. }
  1034. }
  1035. template<class _Rp, class _A0, class _A1>
  1036. function<_Rp(_A0, _A1)>&
  1037. function<_Rp(_A0, _A1)>::operator=(const function& __f)
  1038. {
  1039. function(__f).swap(*this);
  1040. return *this;
  1041. }
  1042. template<class _Rp, class _A0, class _A1>
  1043. function<_Rp(_A0, _A1)>&
  1044. function<_Rp(_A0, _A1)>::operator=(nullptr_t)
  1045. {
  1046. if (__f_ == (__base*)&__buf_)
  1047. __f_->destroy();
  1048. else if (__f_)
  1049. __f_->destroy_deallocate();
  1050. __f_ = 0;
  1051. return *this;
  1052. }
  1053. template<class _Rp, class _A0, class _A1>
  1054. template <class _Fp>
  1055. typename enable_if
  1056. <
  1057. !is_integral<_Fp>::value,
  1058. function<_Rp(_A0, _A1)>&
  1059. >::type
  1060. function<_Rp(_A0, _A1)>::operator=(_Fp __f)
  1061. {
  1062. function(_VSTD::move(__f)).swap(*this);
  1063. return *this;
  1064. }
  1065. template<class _Rp, class _A0, class _A1>
  1066. function<_Rp(_A0, _A1)>::~function()
  1067. {
  1068. if (__f_ == (__base*)&__buf_)
  1069. __f_->destroy();
  1070. else if (__f_)
  1071. __f_->destroy_deallocate();
  1072. }
  1073. template<class _Rp, class _A0, class _A1>
  1074. void
  1075. function<_Rp(_A0, _A1)>::swap(function& __f)
  1076. {
  1077. if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
  1078. {
  1079. typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
  1080. __base* __t = (__base*)&__tempbuf;
  1081. __f_->__clone(__t);
  1082. __f_->destroy();
  1083. __f_ = 0;
  1084. __f.__f_->__clone((__base*)&__buf_);
  1085. __f.__f_->destroy();
  1086. __f.__f_ = 0;
  1087. __f_ = (__base*)&__buf_;
  1088. __t->__clone((__base*)&__f.__buf_);
  1089. __t->destroy();
  1090. __f.__f_ = (__base*)&__f.__buf_;
  1091. }
  1092. else if (__f_ == (__base*)&__buf_)
  1093. {
  1094. __f_->__clone((__base*)&__f.__buf_);
  1095. __f_->destroy();
  1096. __f_ = __f.__f_;
  1097. __f.__f_ = (__base*)&__f.__buf_;
  1098. }
  1099. else if (__f.__f_ == (__base*)&__f.__buf_)
  1100. {
  1101. __f.__f_->__clone((__base*)&__buf_);
  1102. __f.__f_->destroy();
  1103. __f.__f_ = __f_;
  1104. __f_ = (__base*)&__buf_;
  1105. }
  1106. else
  1107. _VSTD::swap(__f_, __f.__f_);
  1108. }
  1109. template<class _Rp, class _A0, class _A1>
  1110. _Rp
  1111. function<_Rp(_A0, _A1)>::operator()(_A0 __a0, _A1 __a1) const
  1112. {
  1113. #ifndef _LIBCPP_NO_EXCEPTIONS
  1114. if (__f_ == 0)
  1115. throw bad_function_call();
  1116. #endif // _LIBCPP_NO_EXCEPTIONS
  1117. return (*__f_)(__a0, __a1);
  1118. }
  1119. #ifndef _LIBCPP_NO_RTTI
  1120. template<class _Rp, class _A0, class _A1>
  1121. const std::type_info&
  1122. function<_Rp(_A0, _A1)>::target_type() const
  1123. {
  1124. if (__f_ == 0)
  1125. return typeid(void);
  1126. return __f_->target_type();
  1127. }
  1128. template<class _Rp, class _A0, class _A1>
  1129. template <typename _Tp>
  1130. _Tp*
  1131. function<_Rp(_A0, _A1)>::target()
  1132. {
  1133. if (__f_ == 0)
  1134. return (_Tp*)0;
  1135. return (_Tp*)__f_->target(typeid(_Tp));
  1136. }
  1137. template<class _Rp, class _A0, class _A1>
  1138. template <typename _Tp>
  1139. const _Tp*
  1140. function<_Rp(_A0, _A1)>::target() const
  1141. {
  1142. if (__f_ == 0)
  1143. return (const _Tp*)0;
  1144. return (const _Tp*)__f_->target(typeid(_Tp));
  1145. }
  1146. #endif // _LIBCPP_NO_RTTI
  1147. template<class _Rp, class _A0, class _A1, class _A2>
  1148. class _LIBCPP_TYPE_VIS_ONLY function<_Rp(_A0, _A1, _A2)>
  1149. {
  1150. typedef __function::__base<_Rp(_A0, _A1, _A2)> __base;
  1151. aligned_storage<3*sizeof(void*)>::type __buf_;
  1152. __base* __f_;
  1153. public:
  1154. typedef _Rp result_type;
  1155. // 20.7.16.2.1, construct/copy/destroy:
  1156. _LIBCPP_INLINE_VISIBILITY explicit function() : __f_(0) {}
  1157. _LIBCPP_INLINE_VISIBILITY function(nullptr_t) : __f_(0) {}
  1158. function(const function&);
  1159. template<class _Fp>
  1160. function(_Fp,
  1161. typename enable_if<!is_integral<_Fp>::value>::type* = 0);
  1162. template<class _Alloc>
  1163. _LIBCPP_INLINE_VISIBILITY
  1164. function(allocator_arg_t, const _Alloc&) : __f_(0) {}
  1165. template<class _Alloc>
  1166. _LIBCPP_INLINE_VISIBILITY
  1167. function(allocator_arg_t, const _Alloc&, nullptr_t) : __f_(0) {}
  1168. template<class _Alloc>
  1169. function(allocator_arg_t, const _Alloc&, const function&);
  1170. template<class _Fp, class _Alloc>
  1171. function(allocator_arg_t, const _Alloc& __a, _Fp __f,
  1172. typename enable_if<!is_integral<_Fp>::value>::type* = 0);
  1173. function& operator=(const function&);
  1174. function& operator=(nullptr_t);
  1175. template<class _Fp>
  1176. typename enable_if
  1177. <
  1178. !is_integral<_Fp>::value,
  1179. function&
  1180. >::type
  1181. operator=(_Fp);
  1182. ~function();
  1183. // 20.7.16.2.2, function modifiers:
  1184. void swap(function&);
  1185. template<class _Fp, class _Alloc>
  1186. _LIBCPP_INLINE_VISIBILITY
  1187. void assign(_Fp __f, const _Alloc& __a)
  1188. {function(allocator_arg, __a, __f).swap(*this);}
  1189. // 20.7.16.2.3, function capacity:
  1190. _LIBCPP_INLINE_VISIBILITY operator bool() const {return __f_;}
  1191. private:
  1192. // deleted overloads close possible hole in the type system
  1193. template<class _R2, class _B0, class _B1, class _B2>
  1194. bool operator==(const function<_R2(_B0, _B1, _B2)>&) const;// = delete;
  1195. template<class _R2, class _B0, class _B1, class _B2>
  1196. bool operator!=(const function<_R2(_B0, _B1, _B2)>&) const;// = delete;
  1197. public:
  1198. // 20.7.16.2.4, function invocation:
  1199. _Rp operator()(_A0, _A1, _A2) const;
  1200. #ifndef _LIBCPP_NO_RTTI
  1201. // 20.7.16.2.5, function target access:
  1202. const std::type_info& target_type() const;
  1203. template <typename _Tp> _Tp* target();
  1204. template <typename _Tp> const _Tp* target() const;
  1205. #endif // _LIBCPP_NO_RTTI
  1206. };
  1207. template<class _Rp, class _A0, class _A1, class _A2>
  1208. function<_Rp(_A0, _A1, _A2)>::function(const function& __f)
  1209. {
  1210. if (__f.__f_ == 0)
  1211. __f_ = 0;
  1212. else if (__f.__f_ == (const __base*)&__f.__buf_)
  1213. {
  1214. __f_ = (__base*)&__buf_;
  1215. __f.__f_->__clone(__f_);
  1216. }
  1217. else
  1218. __f_ = __f.__f_->__clone();
  1219. }
  1220. template<class _Rp, class _A0, class _A1, class _A2>
  1221. template<class _Alloc>
  1222. function<_Rp(_A0, _A1, _A2)>::function(allocator_arg_t, const _Alloc&,
  1223. const function& __f)
  1224. {
  1225. if (__f.__f_ == 0)
  1226. __f_ = 0;
  1227. else if (__f.__f_ == (const __base*)&__f.__buf_)
  1228. {
  1229. __f_ = (__base*)&__buf_;
  1230. __f.__f_->__clone(__f_);
  1231. }
  1232. else
  1233. __f_ = __f.__f_->__clone();
  1234. }
  1235. template<class _Rp, class _A0, class _A1, class _A2>
  1236. template <class _Fp>
  1237. function<_Rp(_A0, _A1, _A2)>::function(_Fp __f,
  1238. typename enable_if<!is_integral<_Fp>::value>::type*)
  1239. : __f_(0)
  1240. {
  1241. if (__function::__not_null(__f))
  1242. {
  1243. typedef __function::__func<_Fp, allocator<_Fp>, _Rp(_A0, _A1, _A2)> _FF;
  1244. if (sizeof(_FF) <= sizeof(__buf_))
  1245. {
  1246. __f_ = (__base*)&__buf_;
  1247. ::new (__f_) _FF(__f);
  1248. }
  1249. else
  1250. {
  1251. typedef allocator<_FF> _Ap;
  1252. _Ap __a;
  1253. typedef __allocator_destructor<_Ap> _Dp;
  1254. unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  1255. ::new (__hold.get()) _FF(__f, allocator<_Fp>(__a));
  1256. __f_ = __hold.release();
  1257. }
  1258. }
  1259. }
  1260. template<class _Rp, class _A0, class _A1, class _A2>
  1261. template <class _Fp, class _Alloc>
  1262. function<_Rp(_A0, _A1, _A2)>::function(allocator_arg_t, const _Alloc& __a0, _Fp __f,
  1263. typename enable_if<!is_integral<_Fp>::value>::type*)
  1264. : __f_(0)
  1265. {
  1266. typedef allocator_traits<_Alloc> __alloc_traits;
  1267. if (__function::__not_null(__f))
  1268. {
  1269. typedef __function::__func<_Fp, _Alloc, _Rp(_A0, _A1, _A2)> _FF;
  1270. if (sizeof(_FF) <= sizeof(__buf_))
  1271. {
  1272. __f_ = (__base*)&__buf_;
  1273. ::new (__f_) _FF(__f, __a0);
  1274. }
  1275. else
  1276. {
  1277. typedef typename __rebind_alloc_helper<__alloc_traits, _FF>::type _Ap;
  1278. _Ap __a(__a0);
  1279. typedef __allocator_destructor<_Ap> _Dp;
  1280. unique_ptr<__base, _Dp> __hold(__a.allocate(1), _Dp(__a, 1));
  1281. ::new (__hold.get()) _FF(__f, _Alloc(__a));
  1282. __f_ = __hold.release();
  1283. }
  1284. }
  1285. }
  1286. template<class _Rp, class _A0, class _A1, class _A2>
  1287. function<_Rp(_A0, _A1, _A2)>&
  1288. function<_Rp(_A0, _A1, _A2)>::operator=(const function& __f)
  1289. {
  1290. function(__f).swap(*this);
  1291. return *this;
  1292. }
  1293. template<class _Rp, class _A0, class _A1, class _A2>
  1294. function<_Rp(_A0, _A1, _A2)>&
  1295. function<_Rp(_A0, _A1, _A2)>::operator=(nullptr_t)
  1296. {
  1297. if (__f_ == (__base*)&__buf_)
  1298. __f_->destroy();
  1299. else if (__f_)
  1300. __f_->destroy_deallocate();
  1301. __f_ = 0;
  1302. return *this;
  1303. }
  1304. template<class _Rp, class _A0, class _A1, class _A2>
  1305. template <class _Fp>
  1306. typename enable_if
  1307. <
  1308. !is_integral<_Fp>::value,
  1309. function<_Rp(_A0, _A1, _A2)>&
  1310. >::type
  1311. function<_Rp(_A0, _A1, _A2)>::operator=(_Fp __f)
  1312. {
  1313. function(_VSTD::move(__f)).swap(*this);
  1314. return *this;
  1315. }
  1316. template<class _Rp, class _A0, class _A1, class _A2>
  1317. function<_Rp(_A0, _A1, _A2)>::~function()
  1318. {
  1319. if (__f_ == (__base*)&__buf_)
  1320. __f_->destroy();
  1321. else if (__f_)
  1322. __f_->destroy_deallocate();
  1323. }
  1324. template<class _Rp, class _A0, class _A1, class _A2>
  1325. void
  1326. function<_Rp(_A0, _A1, _A2)>::swap(function& __f)
  1327. {
  1328. if (__f_ == (__base*)&__buf_ && __f.__f_ == (__base*)&__f.__buf_)
  1329. {
  1330. typename aligned_storage<sizeof(__buf_)>::type __tempbuf;
  1331. __base* __t = (__base*)&__tempbuf;
  1332. __f_->__clone(__t);
  1333. __f_->destroy();
  1334. __f_ = 0;
  1335. __f.__f_->__clone((__base*)&__buf_);
  1336. __f.__f_->destroy();
  1337. __f.__f_ = 0;
  1338. __f_ = (__base*)&__buf_;
  1339. __t->__clone((__base*)&__f.__buf_);
  1340. __t->destroy();
  1341. __f.__f_ = (__base*)&__f.__buf_;
  1342. }
  1343. else if (__f_ == (__base*)&__buf_)
  1344. {
  1345. __f_->__clone((__base*)&__f.__buf_);
  1346. __f_->destroy();
  1347. __f_ = __f.__f_;
  1348. __f.__f_ = (__base*)&__f.__buf_;
  1349. }
  1350. else if (__f.__f_ == (__base*)&__f.__buf_)
  1351. {
  1352. __f.__f_->__clone((__base*)&__buf_);
  1353. __f.__f_->destroy();
  1354. __f.__f_ = __f_;
  1355. __f_ = (__base*)&__buf_;
  1356. }
  1357. else
  1358. _VSTD::swap(__f_, __f.__f_);
  1359. }
  1360. template<class _Rp, class _A0, class _A1, class _A2>
  1361. _Rp
  1362. function<_Rp(_A0, _A1, _A2)>::operator()(_A0 __a0, _A1 __a1, _A2 __a2) const
  1363. {
  1364. #ifndef _LIBCPP_NO_EXCEPTIONS
  1365. if (__f_ == 0)
  1366. throw bad_function_call();
  1367. #endif // _LIBCPP_NO_EXCEPTIONS
  1368. return (*__f_)(__a0, __a1, __a2);
  1369. }
  1370. #ifndef _LIBCPP_NO_RTTI
  1371. template<class _Rp, class _A0, class _A1, class _A2>
  1372. const std::type_info&
  1373. function<_Rp(_A0, _A1, _A2)>::target_type() const
  1374. {
  1375. if (__f_ == 0)
  1376. return typeid(void);
  1377. return __f_->target_type();
  1378. }
  1379. template<class _Rp, class _A0, class _A1, class _A2>
  1380. template <typename _Tp>
  1381. _Tp*
  1382. function<_Rp(_A0, _A1, _A2)>::target()
  1383. {
  1384. if (__f_ == 0)
  1385. return (_Tp*)0;
  1386. return (_Tp*)__f_->target(typeid(_Tp));
  1387. }
  1388. template<class _Rp, class _A0, class _A1, class _A2>
  1389. template <typename _Tp>
  1390. const _Tp*
  1391. function<_Rp(_A0, _A1, _A2)>::target() const
  1392. {
  1393. if (__f_ == 0)
  1394. return (const _Tp*)0;
  1395. return (const _Tp*)__f_->target(typeid(_Tp));
  1396. }
  1397. #endif // _LIBCPP_NO_RTTI
  1398. template <class _Fp>
  1399. inline _LIBCPP_INLINE_VISIBILITY
  1400. bool
  1401. operator==(const function<_Fp>& __f, nullptr_t) {return !__f;}
  1402. template <class _Fp>
  1403. inline _LIBCPP_INLINE_VISIBILITY
  1404. bool
  1405. operator==(nullptr_t, const function<_Fp>& __f) {return !__f;}
  1406. template <class _Fp>
  1407. inline _LIBCPP_INLINE_VISIBILITY
  1408. bool
  1409. operator!=(const function<_Fp>& __f, nullptr_t) {return (bool)__f;}
  1410. template <class _Fp>
  1411. inline _LIBCPP_INLINE_VISIBILITY
  1412. bool
  1413. operator!=(nullptr_t, const function<_Fp>& __f) {return (bool)__f;}
  1414. template <class _Fp>
  1415. inline _LIBCPP_INLINE_VISIBILITY
  1416. void
  1417. swap(function<_Fp>& __x, function<_Fp>& __y)
  1418. {return __x.swap(__y);}
  1419. #endif // _LIBCPP_FUNCTIONAL_03