1// -*- C++ -*- 2//===------------------------------ any -----------------------------------===// 3// 4// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 5// See https://llvm.org/LICENSE.txt for license information. 6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 7// 8//===----------------------------------------------------------------------===// 9 10#ifndef _LIBCPP_ANY 11#define _LIBCPP_ANY 12 13/* 14 any synopsis 15 16namespace std { 17 18 class bad_any_cast : public bad_cast 19 { 20 public: 21 virtual const char* what() const noexcept; 22 }; 23 24 class any 25 { 26 public: 27 28 // 6.3.1 any construct/destruct 29 any() noexcept; 30 31 any(const any& other); 32 any(any&& other) noexcept; 33 34 template <class ValueType> 35 any(ValueType&& value); 36 37 ~any(); 38 39 // 6.3.2 any assignments 40 any& operator=(const any& rhs); 41 any& operator=(any&& rhs) noexcept; 42 43 template <class ValueType> 44 any& operator=(ValueType&& rhs); 45 46 // 6.3.3 any modifiers 47 template <class ValueType, class... Args> 48 decay_t<ValueType>& emplace(Args&&... args); 49 template <class ValueType, class U, class... Args> 50 decay_t<ValueType>& emplace(initializer_list<U>, Args&&...); 51 void reset() noexcept; 52 void swap(any& rhs) noexcept; 53 54 // 6.3.4 any observers 55 bool has_value() const noexcept; 56 const type_info& type() const noexcept; 57 }; 58 59 // 6.4 Non-member functions 60 void swap(any& x, any& y) noexcept; 61 62 template <class T, class ...Args> 63 any make_any(Args&& ...args); 64 template <class T, class U, class ...Args> 65 any make_any(initializer_list<U>, Args&& ...args); 66 67 template<class ValueType> 68 ValueType any_cast(const any& operand); 69 template<class ValueType> 70 ValueType any_cast(any& operand); 71 template<class ValueType> 72 ValueType any_cast(any&& operand); 73 74 template<class ValueType> 75 const ValueType* any_cast(const any* operand) noexcept; 76 template<class ValueType> 77 ValueType* any_cast(any* operand) noexcept; 78 79} // namespace std 80 81*/ 82 83#include <experimental/__config> 84#include <memory> 85#include <new> 86#include <typeinfo> 87#include <type_traits> 88#include <cstdlib> 89#include <version> 90 91#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 92#pragma GCC system_header 93#endif 94 95namespace std { 96class _LIBCPP_EXCEPTION_ABI _LIBCPP_AVAILABILITY_BAD_ANY_CAST bad_any_cast : public bad_cast 97{ 98public: 99 virtual const char* what() const _NOEXCEPT; 100}; 101} // namespace std 102 103_LIBCPP_BEGIN_NAMESPACE_STD 104 105#if _LIBCPP_STD_VER > 14 106 107_LIBCPP_NORETURN inline _LIBCPP_INLINE_VISIBILITY 108_LIBCPP_AVAILABILITY_THROW_BAD_ANY_CAST 109void __throw_bad_any_cast() 110{ 111#ifndef _LIBCPP_NO_EXCEPTIONS 112 throw bad_any_cast(); 113#else 114 _VSTD::abort(); 115#endif 116} 117 118// Forward declarations 119class _LIBCPP_TEMPLATE_VIS any; 120 121template <class _ValueType> 122_LIBCPP_INLINE_VISIBILITY 123add_pointer_t<add_const_t<_ValueType>> 124any_cast(any const *) _NOEXCEPT; 125 126template <class _ValueType> 127_LIBCPP_INLINE_VISIBILITY 128add_pointer_t<_ValueType> any_cast(any *) _NOEXCEPT; 129 130namespace __any_imp 131{ 132 using _Buffer = aligned_storage_t<3*sizeof(void*), alignment_of<void*>::value>; 133 134 template <class _Tp> 135 using _IsSmallObject = integral_constant<bool 136 , sizeof(_Tp) <= sizeof(_Buffer) 137 && alignment_of<_Buffer>::value 138 % alignment_of<_Tp>::value == 0 139 && is_nothrow_move_constructible<_Tp>::value 140 >; 141 142 enum class _Action { 143 _Destroy, 144 _Copy, 145 _Move, 146 _Get, 147 _TypeInfo 148 }; 149 150 template <class _Tp> struct _SmallHandler; 151 template <class _Tp> struct _LargeHandler; 152 153 template <class _Tp> 154 struct _LIBCPP_TEMPLATE_VIS __unique_typeinfo { static constexpr int __id = 0; }; 155 template <class _Tp> constexpr int __unique_typeinfo<_Tp>::__id; 156 157 template <class _Tp> 158 inline _LIBCPP_INLINE_VISIBILITY 159 constexpr const void* __get_fallback_typeid() { 160 return &__unique_typeinfo<decay_t<_Tp>>::__id; 161 } 162 163 template <class _Tp> 164 inline _LIBCPP_INLINE_VISIBILITY 165 bool __compare_typeid(type_info const* __id, const void* __fallback_id) 166 { 167#if !defined(_LIBCPP_NO_RTTI) 168 if (__id && *__id == typeid(_Tp)) 169 return true; 170#endif 171 if (!__id && __fallback_id == __any_imp::__get_fallback_typeid<_Tp>()) 172 return true; 173 return false; 174 } 175 176 template <class _Tp> 177 using _Handler = conditional_t< 178 _IsSmallObject<_Tp>::value, _SmallHandler<_Tp>, _LargeHandler<_Tp>>; 179 180} // namespace __any_imp 181 182class _LIBCPP_TEMPLATE_VIS any 183{ 184public: 185 // construct/destruct 186 _LIBCPP_INLINE_VISIBILITY 187 constexpr any() _NOEXCEPT : __h(nullptr) {} 188 189 _LIBCPP_INLINE_VISIBILITY 190 any(any const & __other) : __h(nullptr) 191 { 192 if (__other.__h) __other.__call(_Action::_Copy, this); 193 } 194 195 _LIBCPP_INLINE_VISIBILITY 196 any(any && __other) _NOEXCEPT : __h(nullptr) 197 { 198 if (__other.__h) __other.__call(_Action::_Move, this); 199 } 200 201 template < 202 class _ValueType 203 , class _Tp = decay_t<_ValueType> 204 , class = enable_if_t< 205 !is_same<_Tp, any>::value && 206 !__is_inplace_type<_ValueType>::value && 207 is_copy_constructible<_Tp>::value> 208 > 209 _LIBCPP_INLINE_VISIBILITY 210 any(_ValueType && __value); 211 212 template <class _ValueType, class ..._Args, 213 class _Tp = decay_t<_ValueType>, 214 class = enable_if_t< 215 is_constructible<_Tp, _Args...>::value && 216 is_copy_constructible<_Tp>::value 217 > 218 > 219 _LIBCPP_INLINE_VISIBILITY 220 explicit any(in_place_type_t<_ValueType>, _Args&&... __args); 221 222 template <class _ValueType, class _Up, class ..._Args, 223 class _Tp = decay_t<_ValueType>, 224 class = enable_if_t< 225 is_constructible<_Tp, initializer_list<_Up>&, _Args...>::value && 226 is_copy_constructible<_Tp>::value> 227 > 228 _LIBCPP_INLINE_VISIBILITY 229 explicit any(in_place_type_t<_ValueType>, initializer_list<_Up>, _Args&&... __args); 230 231 _LIBCPP_INLINE_VISIBILITY 232 ~any() { this->reset(); } 233 234 // assignments 235 _LIBCPP_INLINE_VISIBILITY 236 any & operator=(any const & __rhs) { 237 any(__rhs).swap(*this); 238 return *this; 239 } 240 241 _LIBCPP_INLINE_VISIBILITY 242 any & operator=(any && __rhs) _NOEXCEPT { 243 any(_VSTD::move(__rhs)).swap(*this); 244 return *this; 245 } 246 247 template < 248 class _ValueType 249 , class _Tp = decay_t<_ValueType> 250 , class = enable_if_t< 251 !is_same<_Tp, any>::value 252 && is_copy_constructible<_Tp>::value> 253 > 254 _LIBCPP_INLINE_VISIBILITY 255 any & operator=(_ValueType && __rhs); 256 257 template <class _ValueType, class ..._Args, 258 class _Tp = decay_t<_ValueType>, 259 class = enable_if_t< 260 is_constructible<_Tp, _Args...>::value && 261 is_copy_constructible<_Tp>::value> 262 > 263 _LIBCPP_INLINE_VISIBILITY 264 _Tp& emplace(_Args&&... args); 265 266 template <class _ValueType, class _Up, class ..._Args, 267 class _Tp = decay_t<_ValueType>, 268 class = enable_if_t< 269 is_constructible<_Tp, initializer_list<_Up>&, _Args...>::value && 270 is_copy_constructible<_Tp>::value> 271 > 272 _LIBCPP_INLINE_VISIBILITY 273 _Tp& emplace(initializer_list<_Up>, _Args&&...); 274 275 // 6.3.3 any modifiers 276 _LIBCPP_INLINE_VISIBILITY 277 void reset() _NOEXCEPT { if (__h) this->__call(_Action::_Destroy); } 278 279 _LIBCPP_INLINE_VISIBILITY 280 void swap(any & __rhs) _NOEXCEPT; 281 282 // 6.3.4 any observers 283 _LIBCPP_INLINE_VISIBILITY 284 bool has_value() const _NOEXCEPT { return __h != nullptr; } 285 286#if !defined(_LIBCPP_NO_RTTI) 287 _LIBCPP_INLINE_VISIBILITY 288 const type_info & type() const _NOEXCEPT { 289 if (__h) { 290 return *static_cast<type_info const *>(this->__call(_Action::_TypeInfo)); 291 } else { 292 return typeid(void); 293 } 294 } 295#endif 296 297private: 298 typedef __any_imp::_Action _Action; 299 using _HandleFuncPtr = void* (*)(_Action, any const *, any *, const type_info *, 300 const void* __fallback_info); 301 302 union _Storage { 303 constexpr _Storage() : __ptr(nullptr) {} 304 void * __ptr; 305 __any_imp::_Buffer __buf; 306 }; 307 308 _LIBCPP_INLINE_VISIBILITY 309 void * __call(_Action __a, any * __other = nullptr, 310 type_info const * __info = nullptr, 311 const void* __fallback_info = nullptr) const 312 { 313 return __h(__a, this, __other, __info, __fallback_info); 314 } 315 316 _LIBCPP_INLINE_VISIBILITY 317 void * __call(_Action __a, any * __other = nullptr, 318 type_info const * __info = nullptr, 319 const void* __fallback_info = nullptr) 320 { 321 return __h(__a, this, __other, __info, __fallback_info); 322 } 323 324 template <class> 325 friend struct __any_imp::_SmallHandler; 326 template <class> 327 friend struct __any_imp::_LargeHandler; 328 329 template <class _ValueType> 330 friend add_pointer_t<add_const_t<_ValueType>> 331 any_cast(any const *) _NOEXCEPT; 332 333 template <class _ValueType> 334 friend add_pointer_t<_ValueType> 335 any_cast(any *) _NOEXCEPT; 336 337 _HandleFuncPtr __h = nullptr; 338 _Storage __s; 339}; 340 341namespace __any_imp 342{ 343 template <class _Tp> 344 struct _LIBCPP_TEMPLATE_VIS _SmallHandler 345 { 346 _LIBCPP_INLINE_VISIBILITY 347 static void* __handle(_Action __act, any const * __this, any * __other, 348 type_info const * __info, const void* __fallback_info) 349 { 350 switch (__act) 351 { 352 case _Action::_Destroy: 353 __destroy(const_cast<any &>(*__this)); 354 return nullptr; 355 case _Action::_Copy: 356 __copy(*__this, *__other); 357 return nullptr; 358 case _Action::_Move: 359 __move(const_cast<any &>(*__this), *__other); 360 return nullptr; 361 case _Action::_Get: 362 return __get(const_cast<any &>(*__this), __info, __fallback_info); 363 case _Action::_TypeInfo: 364 return __type_info(); 365 } 366 } 367 368 template <class ..._Args> 369 _LIBCPP_INLINE_VISIBILITY 370 static _Tp& __create(any & __dest, _Args&&... __args) { 371 _Tp* __ret = ::new (static_cast<void*>(&__dest.__s.__buf)) _Tp(_VSTD::forward<_Args>(__args)...); 372 __dest.__h = &_SmallHandler::__handle; 373 return *__ret; 374 } 375 376 private: 377 _LIBCPP_INLINE_VISIBILITY 378 static void __destroy(any & __this) { 379 _Tp & __value = *static_cast<_Tp *>(static_cast<void*>(&__this.__s.__buf)); 380 __value.~_Tp(); 381 __this.__h = nullptr; 382 } 383 384 _LIBCPP_INLINE_VISIBILITY 385 static void __copy(any const & __this, any & __dest) { 386 _SmallHandler::__create(__dest, *static_cast<_Tp const *>( 387 static_cast<void const *>(&__this.__s.__buf))); 388 } 389 390 _LIBCPP_INLINE_VISIBILITY 391 static void __move(any & __this, any & __dest) { 392 _SmallHandler::__create(__dest, _VSTD::move( 393 *static_cast<_Tp*>(static_cast<void*>(&__this.__s.__buf)))); 394 __destroy(__this); 395 } 396 397 _LIBCPP_INLINE_VISIBILITY 398 static void* __get(any & __this, 399 type_info const * __info, 400 const void* __fallback_id) 401 { 402 if (__any_imp::__compare_typeid<_Tp>(__info, __fallback_id)) 403 return static_cast<void*>(&__this.__s.__buf); 404 return nullptr; 405 } 406 407 _LIBCPP_INLINE_VISIBILITY 408 static void* __type_info() 409 { 410#if !defined(_LIBCPP_NO_RTTI) 411 return const_cast<void*>(static_cast<void const *>(&typeid(_Tp))); 412#else 413 return nullptr; 414#endif 415 } 416 }; 417 418 template <class _Tp> 419 struct _LIBCPP_TEMPLATE_VIS _LargeHandler 420 { 421 _LIBCPP_INLINE_VISIBILITY 422 static void* __handle(_Action __act, any const * __this, 423 any * __other, type_info const * __info, 424 void const* __fallback_info) 425 { 426 switch (__act) 427 { 428 case _Action::_Destroy: 429 __destroy(const_cast<any &>(*__this)); 430 return nullptr; 431 case _Action::_Copy: 432 __copy(*__this, *__other); 433 return nullptr; 434 case _Action::_Move: 435 __move(const_cast<any &>(*__this), *__other); 436 return nullptr; 437 case _Action::_Get: 438 return __get(const_cast<any &>(*__this), __info, __fallback_info); 439 case _Action::_TypeInfo: 440 return __type_info(); 441 } 442 } 443 444 template <class ..._Args> 445 _LIBCPP_INLINE_VISIBILITY 446 static _Tp& __create(any & __dest, _Args&&... __args) { 447 typedef allocator<_Tp> _Alloc; 448 typedef __allocator_destructor<_Alloc> _Dp; 449 _Alloc __a; 450 unique_ptr<_Tp, _Dp> __hold(__a.allocate(1), _Dp(__a, 1)); 451 _Tp* __ret = ::new ((void*)__hold.get()) _Tp(_VSTD::forward<_Args>(__args)...); 452 __dest.__s.__ptr = __hold.release(); 453 __dest.__h = &_LargeHandler::__handle; 454 return *__ret; 455 } 456 457 private: 458 459 _LIBCPP_INLINE_VISIBILITY 460 static void __destroy(any & __this){ 461 delete static_cast<_Tp*>(__this.__s.__ptr); 462 __this.__h = nullptr; 463 } 464 465 _LIBCPP_INLINE_VISIBILITY 466 static void __copy(any const & __this, any & __dest) { 467 _LargeHandler::__create(__dest, *static_cast<_Tp const *>(__this.__s.__ptr)); 468 } 469 470 _LIBCPP_INLINE_VISIBILITY 471 static void __move(any & __this, any & __dest) { 472 __dest.__s.__ptr = __this.__s.__ptr; 473 __dest.__h = &_LargeHandler::__handle; 474 __this.__h = nullptr; 475 } 476 477 _LIBCPP_INLINE_VISIBILITY 478 static void* __get(any & __this, type_info const * __info, 479 void const* __fallback_info) 480 { 481 if (__any_imp::__compare_typeid<_Tp>(__info, __fallback_info)) 482 return static_cast<void*>(__this.__s.__ptr); 483 return nullptr; 484 485 } 486 487 _LIBCPP_INLINE_VISIBILITY 488 static void* __type_info() 489 { 490#if !defined(_LIBCPP_NO_RTTI) 491 return const_cast<void*>(static_cast<void const *>(&typeid(_Tp))); 492#else 493 return nullptr; 494#endif 495 } 496 }; 497 498} // namespace __any_imp 499 500 501template <class _ValueType, class _Tp, class> 502any::any(_ValueType && __v) : __h(nullptr) 503{ 504 __any_imp::_Handler<_Tp>::__create(*this, _VSTD::forward<_ValueType>(__v)); 505} 506 507template <class _ValueType, class ..._Args, class _Tp, class> 508any::any(in_place_type_t<_ValueType>, _Args&&... __args) { 509 __any_imp::_Handler<_Tp>::__create(*this, _VSTD::forward<_Args>(__args)...); 510} 511 512template <class _ValueType, class _Up, class ..._Args, class _Tp, class> 513any::any(in_place_type_t<_ValueType>, initializer_list<_Up> __il, _Args&&... __args) { 514 __any_imp::_Handler<_Tp>::__create(*this, __il, _VSTD::forward<_Args>(__args)...); 515} 516 517template <class _ValueType, class, class> 518inline _LIBCPP_INLINE_VISIBILITY 519any & any::operator=(_ValueType && __v) 520{ 521 any(_VSTD::forward<_ValueType>(__v)).swap(*this); 522 return *this; 523} 524 525template <class _ValueType, class ..._Args, class _Tp, class> 526inline _LIBCPP_INLINE_VISIBILITY 527_Tp& any::emplace(_Args&&... __args) { 528 reset(); 529 return __any_imp::_Handler<_Tp>::__create(*this, _VSTD::forward<_Args>(__args)...); 530} 531 532template <class _ValueType, class _Up, class ..._Args, class _Tp, class> 533inline _LIBCPP_INLINE_VISIBILITY 534_Tp& any::emplace(initializer_list<_Up> __il, _Args&&... __args) { 535 reset(); 536 return __any_imp::_Handler<_Tp>::__create(*this, __il, _VSTD::forward<_Args>(__args)...); 537} 538 539inline _LIBCPP_INLINE_VISIBILITY 540void any::swap(any & __rhs) _NOEXCEPT 541{ 542 if (this == &__rhs) 543 return; 544 if (__h && __rhs.__h) { 545 any __tmp; 546 __rhs.__call(_Action::_Move, &__tmp); 547 this->__call(_Action::_Move, &__rhs); 548 __tmp.__call(_Action::_Move, this); 549 } 550 else if (__h) { 551 this->__call(_Action::_Move, &__rhs); 552 } 553 else if (__rhs.__h) { 554 __rhs.__call(_Action::_Move, this); 555 } 556} 557 558// 6.4 Non-member functions 559 560inline _LIBCPP_INLINE_VISIBILITY 561void swap(any & __lhs, any & __rhs) _NOEXCEPT 562{ 563 __lhs.swap(__rhs); 564} 565 566template <class _Tp, class ..._Args> 567inline _LIBCPP_INLINE_VISIBILITY 568any make_any(_Args&&... __args) { 569 return any(in_place_type<_Tp>, _VSTD::forward<_Args>(__args)...); 570} 571 572template <class _Tp, class _Up, class ..._Args> 573inline _LIBCPP_INLINE_VISIBILITY 574any make_any(initializer_list<_Up> __il, _Args&&... __args) { 575 return any(in_place_type<_Tp>, __il, _VSTD::forward<_Args>(__args)...); 576} 577 578template <class _ValueType> 579inline _LIBCPP_INLINE_VISIBILITY 580_LIBCPP_AVAILABILITY_THROW_BAD_ANY_CAST 581_ValueType any_cast(any const & __v) 582{ 583 using _RawValueType = __uncvref_t<_ValueType>; 584 static_assert(is_constructible<_ValueType, _RawValueType const &>::value, 585 "ValueType is required to be a const lvalue reference " 586 "or a CopyConstructible type"); 587 auto __tmp = _VSTD::any_cast<add_const_t<_RawValueType>>(&__v); 588 if (__tmp == nullptr) 589 __throw_bad_any_cast(); 590 return static_cast<_ValueType>(*__tmp); 591} 592 593template <class _ValueType> 594inline _LIBCPP_INLINE_VISIBILITY 595_LIBCPP_AVAILABILITY_THROW_BAD_ANY_CAST 596_ValueType any_cast(any & __v) 597{ 598 using _RawValueType = __uncvref_t<_ValueType>; 599 static_assert(is_constructible<_ValueType, _RawValueType &>::value, 600 "ValueType is required to be an lvalue reference " 601 "or a CopyConstructible type"); 602 auto __tmp = _VSTD::any_cast<_RawValueType>(&__v); 603 if (__tmp == nullptr) 604 __throw_bad_any_cast(); 605 return static_cast<_ValueType>(*__tmp); 606} 607 608template <class _ValueType> 609inline _LIBCPP_INLINE_VISIBILITY 610_LIBCPP_AVAILABILITY_THROW_BAD_ANY_CAST 611_ValueType any_cast(any && __v) 612{ 613 using _RawValueType = __uncvref_t<_ValueType>; 614 static_assert(is_constructible<_ValueType, _RawValueType>::value, 615 "ValueType is required to be an rvalue reference " 616 "or a CopyConstructible type"); 617 auto __tmp = _VSTD::any_cast<_RawValueType>(&__v); 618 if (__tmp == nullptr) 619 __throw_bad_any_cast(); 620 return static_cast<_ValueType>(_VSTD::move(*__tmp)); 621} 622 623template <class _ValueType> 624inline _LIBCPP_INLINE_VISIBILITY 625add_pointer_t<add_const_t<_ValueType>> 626any_cast(any const * __any) _NOEXCEPT 627{ 628 static_assert(!is_reference<_ValueType>::value, 629 "_ValueType may not be a reference."); 630 return _VSTD::any_cast<_ValueType>(const_cast<any *>(__any)); 631} 632 633template <class _RetType> 634inline _LIBCPP_INLINE_VISIBILITY 635_RetType __pointer_or_func_cast(void* __p, /*IsFunction*/false_type) noexcept { 636 return static_cast<_RetType>(__p); 637} 638 639template <class _RetType> 640inline _LIBCPP_INLINE_VISIBILITY 641_RetType __pointer_or_func_cast(void*, /*IsFunction*/true_type) noexcept { 642 return nullptr; 643} 644 645template <class _ValueType> 646add_pointer_t<_ValueType> 647any_cast(any * __any) _NOEXCEPT 648{ 649 using __any_imp::_Action; 650 static_assert(!is_reference<_ValueType>::value, 651 "_ValueType may not be a reference."); 652 typedef typename add_pointer<_ValueType>::type _ReturnType; 653 if (__any && __any->__h) { 654 void *__p = __any->__call(_Action::_Get, nullptr, 655#if !defined(_LIBCPP_NO_RTTI) 656 &typeid(_ValueType), 657#else 658 nullptr, 659#endif 660 __any_imp::__get_fallback_typeid<_ValueType>()); 661 return _VSTD::__pointer_or_func_cast<_ReturnType>( 662 __p, is_function<_ValueType>{}); 663 } 664 return nullptr; 665} 666 667#endif // _LIBCPP_STD_VER > 14 668 669_LIBCPP_END_NAMESPACE_STD 670 671#endif // _LIBCPP_ANY 672