Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 1 | // -*- C++ -*- |
| 2 | //===----------------------------------------------------------------------===// |
| 3 | // |
Howard Hinnant | f5256e1 | 2010-05-11 21:36:01 +0000 | [diff] [blame] | 4 | // The LLVM Compiler Infrastructure |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 5 | // |
Howard Hinnant | b64f8b0 | 2010-11-16 22:09:02 +0000 | [diff] [blame] | 6 | // This file is dual licensed under the MIT and the University of Illinois Open |
| 7 | // Source Licenses. See LICENSE.TXT for details. |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 8 | // |
| 9 | //===----------------------------------------------------------------------===// |
| 10 | |
| 11 | #ifndef _LIBCPP_FUNCTIONAL_BASE |
| 12 | #define _LIBCPP_FUNCTIONAL_BASE |
| 13 | |
| 14 | #include <__config> |
| 15 | #include <type_traits> |
| 16 | #include <typeinfo> |
| 17 | #include <exception> |
| 18 | |
| 19 | #pragma GCC system_header |
| 20 | |
| 21 | _LIBCPP_BEGIN_NAMESPACE_STD |
| 22 | |
| 23 | template <class _Arg, class _Result> |
Howard Hinnant | 99acc50 | 2010-09-21 17:32:39 +0000 | [diff] [blame] | 24 | struct _LIBCPP_VISIBLE unary_function |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 25 | { |
| 26 | typedef _Arg argument_type; |
| 27 | typedef _Result result_type; |
| 28 | }; |
| 29 | |
| 30 | template <class _Arg1, class _Arg2, class _Result> |
Howard Hinnant | 99acc50 | 2010-09-21 17:32:39 +0000 | [diff] [blame] | 31 | struct _LIBCPP_VISIBLE binary_function |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 32 | { |
| 33 | typedef _Arg1 first_argument_type; |
| 34 | typedef _Arg2 second_argument_type; |
| 35 | typedef _Result result_type; |
| 36 | }; |
| 37 | |
Howard Hinnant | 99acc50 | 2010-09-21 17:32:39 +0000 | [diff] [blame] | 38 | template <class _Tp> struct _LIBCPP_VISIBLE hash; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 39 | |
| 40 | template <class _Tp> |
| 41 | struct __has_result_type |
| 42 | { |
| 43 | private: |
| 44 | struct __two {char _; char __;}; |
| 45 | template <class _Up> static __two __test(...); |
| 46 | template <class _Up> static char __test(typename _Up::result_type* = 0); |
| 47 | public: |
| 48 | static const bool value = sizeof(__test<_Tp>(0)) == 1; |
| 49 | }; |
| 50 | |
| 51 | #ifdef _LIBCPP_HAS_NO_VARIADICS |
| 52 | |
| 53 | #include <__functional_base_03> |
| 54 | |
| 55 | #else // _LIBCPP_HAS_NO_VARIADICS |
| 56 | |
| 57 | // __weak_result_type |
| 58 | |
| 59 | template <class _Tp> |
| 60 | struct __derives_from_unary_function |
| 61 | { |
| 62 | private: |
| 63 | struct __two {char _; char __;}; |
| 64 | static __two __test(...); |
| 65 | template <class _A, class _R> |
| 66 | static unary_function<_A, _R> |
| 67 | __test(const volatile unary_function<_A, _R>*); |
| 68 | public: |
| 69 | static const bool value = !is_same<decltype(__test((_Tp*)0)), __two>::value; |
| 70 | typedef decltype(__test((_Tp*)0)) type; |
| 71 | }; |
| 72 | |
| 73 | template <class _Tp> |
| 74 | struct __derives_from_binary_function |
| 75 | { |
| 76 | private: |
| 77 | struct __two {char _; char __;}; |
| 78 | static __two __test(...); |
| 79 | template <class _A1, class _A2, class _R> |
| 80 | static binary_function<_A1, _A2, _R> |
| 81 | __test(const volatile binary_function<_A1, _A2, _R>*); |
| 82 | public: |
| 83 | static const bool value = !is_same<decltype(__test((_Tp*)0)), __two>::value; |
| 84 | typedef decltype(__test((_Tp*)0)) type; |
| 85 | }; |
| 86 | |
| 87 | template <class _Tp, bool = __derives_from_unary_function<_Tp>::value> |
| 88 | struct __maybe_derive_from_unary_function // bool is true |
| 89 | : public __derives_from_unary_function<_Tp>::type |
| 90 | { |
| 91 | }; |
| 92 | |
| 93 | template <class _Tp> |
| 94 | struct __maybe_derive_from_unary_function<_Tp, false> |
| 95 | { |
| 96 | }; |
| 97 | |
| 98 | template <class _Tp, bool = __derives_from_binary_function<_Tp>::value> |
| 99 | struct __maybe_derive_from_binary_function // bool is true |
| 100 | : public __derives_from_binary_function<_Tp>::type |
| 101 | { |
| 102 | }; |
| 103 | |
| 104 | template <class _Tp> |
| 105 | struct __maybe_derive_from_binary_function<_Tp, false> |
| 106 | { |
| 107 | }; |
| 108 | |
| 109 | template <class _Tp, bool = __has_result_type<_Tp>::value> |
| 110 | struct __weak_result_type_imp // bool is true |
| 111 | : public __maybe_derive_from_unary_function<_Tp>, |
| 112 | public __maybe_derive_from_binary_function<_Tp> |
| 113 | { |
| 114 | typedef typename _Tp::result_type result_type; |
| 115 | }; |
| 116 | |
| 117 | template <class _Tp> |
| 118 | struct __weak_result_type_imp<_Tp, false> |
| 119 | : public __maybe_derive_from_unary_function<_Tp>, |
| 120 | public __maybe_derive_from_binary_function<_Tp> |
| 121 | { |
| 122 | }; |
| 123 | |
| 124 | template <class _Tp> |
| 125 | struct __weak_result_type |
| 126 | : public __weak_result_type_imp<_Tp> |
| 127 | { |
| 128 | }; |
| 129 | |
| 130 | // 0 argument case |
| 131 | |
| 132 | template <class _R> |
| 133 | struct __weak_result_type<_R ()> |
| 134 | { |
| 135 | typedef _R result_type; |
| 136 | }; |
| 137 | |
| 138 | template <class _R> |
| 139 | struct __weak_result_type<_R (&)()> |
| 140 | { |
| 141 | typedef _R result_type; |
| 142 | }; |
| 143 | |
| 144 | template <class _R> |
| 145 | struct __weak_result_type<_R (*)()> |
| 146 | { |
| 147 | typedef _R result_type; |
| 148 | }; |
| 149 | |
| 150 | // 1 argument case |
| 151 | |
| 152 | template <class _R, class _A1> |
| 153 | struct __weak_result_type<_R (_A1)> |
| 154 | : public unary_function<_A1, _R> |
| 155 | { |
| 156 | }; |
| 157 | |
| 158 | template <class _R, class _A1> |
| 159 | struct __weak_result_type<_R (&)(_A1)> |
| 160 | : public unary_function<_A1, _R> |
| 161 | { |
| 162 | }; |
| 163 | |
| 164 | template <class _R, class _A1> |
| 165 | struct __weak_result_type<_R (*)(_A1)> |
| 166 | : public unary_function<_A1, _R> |
| 167 | { |
| 168 | }; |
| 169 | |
| 170 | template <class _R, class _C> |
| 171 | struct __weak_result_type<_R (_C::*)()> |
| 172 | : public unary_function<_C*, _R> |
| 173 | { |
| 174 | }; |
| 175 | |
| 176 | template <class _R, class _C> |
| 177 | struct __weak_result_type<_R (_C::*)() const> |
| 178 | : public unary_function<const _C*, _R> |
| 179 | { |
| 180 | }; |
| 181 | |
| 182 | template <class _R, class _C> |
| 183 | struct __weak_result_type<_R (_C::*)() volatile> |
| 184 | : public unary_function<volatile _C*, _R> |
| 185 | { |
| 186 | }; |
| 187 | |
| 188 | template <class _R, class _C> |
| 189 | struct __weak_result_type<_R (_C::*)() const volatile> |
| 190 | : public unary_function<const volatile _C*, _R> |
| 191 | { |
| 192 | }; |
| 193 | |
| 194 | // 2 argument case |
| 195 | |
| 196 | template <class _R, class _A1, class _A2> |
| 197 | struct __weak_result_type<_R (_A1, _A2)> |
| 198 | : public binary_function<_A1, _A2, _R> |
| 199 | { |
| 200 | }; |
| 201 | |
| 202 | template <class _R, class _A1, class _A2> |
| 203 | struct __weak_result_type<_R (*)(_A1, _A2)> |
| 204 | : public binary_function<_A1, _A2, _R> |
| 205 | { |
| 206 | }; |
| 207 | |
| 208 | template <class _R, class _A1, class _A2> |
| 209 | struct __weak_result_type<_R (&)(_A1, _A2)> |
| 210 | : public binary_function<_A1, _A2, _R> |
| 211 | { |
| 212 | }; |
| 213 | |
| 214 | template <class _R, class _C, class _A1> |
| 215 | struct __weak_result_type<_R (_C::*)(_A1)> |
| 216 | : public binary_function<_C*, _A1, _R> |
| 217 | { |
| 218 | }; |
| 219 | |
| 220 | template <class _R, class _C, class _A1> |
| 221 | struct __weak_result_type<_R (_C::*)(_A1) const> |
| 222 | : public binary_function<const _C*, _A1, _R> |
| 223 | { |
| 224 | }; |
| 225 | |
| 226 | template <class _R, class _C, class _A1> |
| 227 | struct __weak_result_type<_R (_C::*)(_A1) volatile> |
| 228 | : public binary_function<volatile _C*, _A1, _R> |
| 229 | { |
| 230 | }; |
| 231 | |
| 232 | template <class _R, class _C, class _A1> |
| 233 | struct __weak_result_type<_R (_C::*)(_A1) const volatile> |
| 234 | : public binary_function<const volatile _C*, _A1, _R> |
| 235 | { |
| 236 | }; |
| 237 | |
| 238 | // 3 or more arguments |
| 239 | |
| 240 | template <class _R, class _A1, class _A2, class _A3, class ..._A4> |
| 241 | struct __weak_result_type<_R (_A1, _A2, _A3, _A4...)> |
| 242 | { |
| 243 | typedef _R result_type; |
| 244 | }; |
| 245 | |
| 246 | template <class _R, class _A1, class _A2, class _A3, class ..._A4> |
| 247 | struct __weak_result_type<_R (&)(_A1, _A2, _A3, _A4...)> |
| 248 | { |
| 249 | typedef _R result_type; |
| 250 | }; |
| 251 | |
| 252 | template <class _R, class _A1, class _A2, class _A3, class ..._A4> |
| 253 | struct __weak_result_type<_R (*)(_A1, _A2, _A3, _A4...)> |
| 254 | { |
| 255 | typedef _R result_type; |
| 256 | }; |
| 257 | |
| 258 | template <class _R, class _C, class _A1, class _A2, class ..._A3> |
| 259 | struct __weak_result_type<_R (_C::*)(_A1, _A2, _A3...)> |
| 260 | { |
| 261 | typedef _R result_type; |
| 262 | }; |
| 263 | |
| 264 | template <class _R, class _C, class _A1, class _A2, class ..._A3> |
| 265 | struct __weak_result_type<_R (_C::*)(_A1, _A2, _A3...) const> |
| 266 | { |
| 267 | typedef _R result_type; |
| 268 | }; |
| 269 | |
| 270 | template <class _R, class _C, class _A1, class _A2, class ..._A3> |
| 271 | struct __weak_result_type<_R (_C::*)(_A1, _A2, _A3...) volatile> |
| 272 | { |
| 273 | typedef _R result_type; |
| 274 | }; |
| 275 | |
| 276 | template <class _R, class _C, class _A1, class _A2, class ..._A3> |
| 277 | struct __weak_result_type<_R (_C::*)(_A1, _A2, _A3...) const volatile> |
| 278 | { |
| 279 | typedef _R result_type; |
| 280 | }; |
| 281 | |
| 282 | // __invoke |
| 283 | |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 284 | // bullets 1 and 2 |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 285 | |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 286 | template <class _F, class _A0, class ..._Args> |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 287 | inline _LIBCPP_INLINE_VISIBILITY |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 288 | auto |
| 289 | __invoke(_F&& __f, _A0&& __a0, _Args&& ...__args) |
| 290 | -> decltype((_STD::forward<_A0>(__a0).*__f)(_STD::forward<_Args>(__args)...)) |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 291 | { |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 292 | return (_STD::forward<_A0>(__a0).*__f)(_STD::forward<_Args>(__args)...); |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 293 | } |
| 294 | |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 295 | template <class _F, class _A0, class ..._Args> |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 296 | inline _LIBCPP_INLINE_VISIBILITY |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 297 | auto |
| 298 | __invoke(_F&& __f, _A0&& __a0, _Args&& ...__args) |
| 299 | -> decltype(((*_STD::forward<_A0>(__a0)).*__f)(_STD::forward<_Args>(__args)...)) |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 300 | { |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 301 | return ((*_STD::forward<_A0>(__a0)).*__f)(_STD::forward<_Args>(__args)...); |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 302 | } |
| 303 | |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 304 | // bullets 3 and 4 |
| 305 | |
| 306 | template <class _F, class _A0> |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 307 | inline _LIBCPP_INLINE_VISIBILITY |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 308 | auto |
| 309 | __invoke(_F&& __f, _A0&& __a0) |
| 310 | -> decltype(_STD::forward<_A0>(__a0).*__f) |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 311 | { |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 312 | return _STD::forward<_A0>(__a0).*__f; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 313 | } |
| 314 | |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 315 | template <class _F, class _A0> |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 316 | inline _LIBCPP_INLINE_VISIBILITY |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 317 | auto |
| 318 | __invoke(_F&& __f, _A0&& __a0) |
| 319 | -> decltype((*_STD::forward<_A0>(__a0)).*__f) |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 320 | { |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 321 | return (*_STD::forward<_A0>(__a0)).*__f; |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 322 | } |
| 323 | |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 324 | // bullet 5 |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 325 | |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 326 | template <class _F, class ..._Args> |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 327 | inline _LIBCPP_INLINE_VISIBILITY |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 328 | auto |
| 329 | __invoke(_F&& __f, _Args&& ...__args) |
| 330 | -> decltype(_STD::forward<_F>(__f)(_STD::forward<_Args>(__args)...)) |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 331 | { |
Howard Hinnant | bd89e4b | 2011-05-20 22:02:53 +0000 | [diff] [blame^] | 332 | return _STD::forward<_F>(__f)(_STD::forward<_Args>(__args)...); |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 333 | } |
| 334 | |
| 335 | template <class _Tp, class ..._Args> |
| 336 | struct __invoke_return |
| 337 | { |
| 338 | typedef decltype(__invoke(_STD::declval<_Tp>(), _STD::declval<_Args>()...)) type; |
| 339 | }; |
| 340 | |
| 341 | template <class _Tp> |
Howard Hinnant | 99acc50 | 2010-09-21 17:32:39 +0000 | [diff] [blame] | 342 | class _LIBCPP_VISIBLE reference_wrapper |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 343 | : public __weak_result_type<_Tp> |
| 344 | { |
| 345 | public: |
| 346 | // types |
| 347 | typedef _Tp type; |
| 348 | private: |
| 349 | type* __f_; |
| 350 | |
| 351 | public: |
| 352 | // construct/copy/destroy |
| 353 | _LIBCPP_INLINE_VISIBILITY reference_wrapper(type& __f) : __f_(&__f) {} |
Howard Hinnant | 73d21a4 | 2010-09-04 23:28:19 +0000 | [diff] [blame] | 354 | #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 355 | private: reference_wrapper(type&&); public: // = delete; // do not bind to temps |
| 356 | #endif |
| 357 | |
| 358 | // access |
| 359 | _LIBCPP_INLINE_VISIBILITY operator type& () const {return *__f_;} |
| 360 | _LIBCPP_INLINE_VISIBILITY type& get() const {return *__f_;} |
| 361 | |
| 362 | // invoke |
| 363 | template <class... _ArgTypes> |
Howard Hinnant | 99acc50 | 2010-09-21 17:32:39 +0000 | [diff] [blame] | 364 | _LIBCPP_INLINE_VISIBILITY |
Howard Hinnant | 57cff29 | 2011-05-19 15:05:04 +0000 | [diff] [blame] | 365 | typename __invoke_of<type&, _ArgTypes...>::type |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 366 | operator() (_ArgTypes&&... __args) const |
| 367 | { |
| 368 | return __invoke(get(), _STD::forward<_ArgTypes>(__args)...); |
| 369 | } |
| 370 | }; |
| 371 | |
| 372 | template <class _Tp> struct ____is_reference_wrapper : public false_type {}; |
| 373 | template <class _Tp> struct ____is_reference_wrapper<reference_wrapper<_Tp> > : public true_type {}; |
| 374 | template <class _Tp> struct __is_reference_wrapper |
| 375 | : public ____is_reference_wrapper<typename remove_cv<_Tp>::type> {}; |
| 376 | |
| 377 | template <class _Tp> |
| 378 | inline _LIBCPP_INLINE_VISIBILITY |
| 379 | reference_wrapper<_Tp> |
| 380 | ref(_Tp& __t) |
| 381 | { |
| 382 | return reference_wrapper<_Tp>(__t); |
| 383 | } |
| 384 | |
| 385 | template <class _Tp> |
| 386 | inline _LIBCPP_INLINE_VISIBILITY |
| 387 | reference_wrapper<_Tp> |
| 388 | ref(reference_wrapper<_Tp> __t) |
| 389 | { |
| 390 | return ref(__t.get()); |
| 391 | } |
| 392 | |
| 393 | template <class _Tp> |
| 394 | inline _LIBCPP_INLINE_VISIBILITY |
| 395 | reference_wrapper<const _Tp> |
| 396 | cref(const _Tp& __t) |
| 397 | { |
| 398 | return reference_wrapper<const _Tp>(__t); |
| 399 | } |
| 400 | |
| 401 | template <class _Tp> |
| 402 | inline _LIBCPP_INLINE_VISIBILITY |
| 403 | reference_wrapper<const _Tp> |
| 404 | cref(reference_wrapper<_Tp> __t) |
| 405 | { |
| 406 | return cref(__t.get()); |
| 407 | } |
| 408 | |
Howard Hinnant | 73d21a4 | 2010-09-04 23:28:19 +0000 | [diff] [blame] | 409 | #ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES |
| 410 | #ifndef _LIBCPP_HAS_NO_DELETED_FUNCTIONS |
| 411 | |
| 412 | template <class _Tp> void ref(const _Tp&& __t) = delete; |
| 413 | template <class _Tp> void cref(const _Tp&& __t) = delete; |
| 414 | |
| 415 | #else // _LIBCPP_HAS_NO_DELETED_FUNCTIONS |
| 416 | |
| 417 | template <class _Tp> void ref(const _Tp&& __t);// = delete; |
| 418 | template <class _Tp> void cref(const _Tp&& __t);// = delete; |
| 419 | |
| 420 | #endif // _LIBCPP_HAS_NO_DELETED_FUNCTIONS |
| 421 | |
| 422 | #endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES |
Howard Hinnant | bc8d3f9 | 2010-05-11 19:42:16 +0000 | [diff] [blame] | 423 | |
| 424 | #endif // _LIBCPP_HAS_NO_VARIADICS |
| 425 | |
| 426 | _LIBCPP_END_NAMESPACE_STD |
| 427 | |
| 428 | #endif // _LIBCPP_FUNCTIONAL_BASE |