33#pragma GCC system_header
36#define __glibcxx_want_any
47#pragma GCC diagnostic push
48#pragma GCC diagnostic ignored "-Wdeprecated-declarations"
50namespace std _GLIBCXX_VISIBILITY(default)
52_GLIBCXX_BEGIN_NAMESPACE_VERSION
66 virtual const char* what() const noexcept {
return "bad any_cast"; }
69 [[gnu::noreturn]]
inline void __throw_bad_any_cast()
91 constexpr _Storage() : _M_ptr{nullptr} {}
94 _Storage(
const _Storage&) =
delete;
95 _Storage& operator=(
const _Storage&) =
delete;
98 unsigned char _M_buffer[
sizeof(_M_ptr)];
101 template<
typename _Tp,
typename _Safe = is_nothrow_move_constructible<_Tp>,
102 bool _Fits = (sizeof(_Tp) <= sizeof(_Storage))
103 && (alignof(_Tp) <= alignof(_Storage))>
104 using _Internal = std::
integral_constant<
bool, _Safe::value && _Fits>;
106 template<
typename _Tp>
107 struct _Manager_internal;
109 template<
typename _Tp>
110 struct _Manager_external;
112 template<
typename _Tp>
113 using _Manager = __conditional_t<_Internal<_Tp>::value,
114 _Manager_internal<_Tp>,
115 _Manager_external<_Tp>>;
117 template<
typename _Tp,
typename _VTp = decay_t<_Tp>>
118 using _Decay_if_not_any = enable_if_t<!is_same_v<_VTp, any>, _VTp>;
121 template <
typename _Tp,
typename... _Args,
122 typename _Mgr = _Manager<_Tp>>
123 void __do_emplace(_Args&&... __args)
127 _M_manager = &_Mgr::_S_manage;
132 template <
typename _Tp,
typename _Up,
typename... _Args,
133 typename _Mgr = _Manager<_Tp>>
134 void __do_emplace(initializer_list<_Up> __il, _Args&&... __args)
138 _M_manager = &_Mgr::_S_manage;
141 template <
typename _Res,
typename _Tp,
typename... _Args>
142 using __any_constructible
143 = enable_if<__and_<is_copy_constructible<_Tp>,
144 is_constructible<_Tp, _Args...>>::value,
147 template <
typename _Tp,
typename... _Args>
148 using __any_constructible_t
149 =
typename __any_constructible<bool, _Tp, _Args...>::type;
151 template<
typename _VTp,
typename... _Args>
153 =
typename __any_constructible<_VTp&, _VTp, _Args...>::type;
159 constexpr any() noexcept : _M_manager(
nullptr) { }
162 any(
const any& __other)
164 if (!__other.has_value())
165 _M_manager =
nullptr;
170 __other._M_manager(_Op_clone, &__other, &__arg);
179 any(any&& __other)
noexcept
181 if (!__other.has_value())
182 _M_manager =
nullptr;
187 __other._M_manager(_Op_xfer, &__other, &__arg);
192 template <
typename _Tp,
typename _VTp = _Decay_if_not_any<_Tp>,
193 typename _Mgr = _Manager<_VTp>,
194 enable_if_t<is_copy_constructible_v<_VTp>
195 && !__is_in_place_type_v<_VTp>,
bool> = true>
197 : _M_manager(&_Mgr::_S_manage)
203 template <
typename _Tp,
typename... _Args,
typename _VTp = decay_t<_Tp>,
204 typename _Mgr = _Manager<_VTp>,
205 __any_constructible_t<_VTp, _Args&&...> =
false>
207 any(in_place_type_t<_Tp>, _Args&&... __args)
208 : _M_manager(&_Mgr::_S_manage)
215 template <
typename _Tp,
typename _Up,
typename... _Args,
216 typename _VTp = decay_t<_Tp>,
typename _Mgr = _Manager<_VTp>,
217 __any_constructible_t<_VTp, initializer_list<_Up>&,
220 any(in_place_type_t<_Tp>, initializer_list<_Up> __il, _Args&&... __args)
221 : _M_manager(&_Mgr::_S_manage)
233 operator=(
const any& __rhs)
245 operator=(any&& __rhs)
noexcept
247 if (!__rhs.has_value())
249 else if (
this != &__rhs)
254 __rhs._M_manager(_Op_xfer, &__rhs, &__arg);
260 template<
typename _Tp>
261 enable_if_t<is_copy_constructible<_Decay_if_not_any<_Tp>>::value, any&>
262 operator=(_Tp&& __rhs)
269 template <
typename _Tp,
typename... _Args>
270 __emplace_t<decay_t<_Tp>, _Args...>
271 emplace(_Args&&... __args)
273 using _VTp = decay_t<_Tp>;
275 return *any::_Manager<_VTp>::_S_access(_M_storage);
280 template <
typename _Tp,
typename _Up,
typename... _Args>
281 __emplace_t<decay_t<_Tp>, initializer_list<_Up>&, _Args&&...>
282 emplace(initializer_list<_Up> __il, _Args&&... __args)
284 using _VTp = decay_t<_Tp>;
286 return *any::_Manager<_VTp>::_S_access(_M_storage);
292 void reset() noexcept
296 _M_manager(_Op_destroy,
this,
nullptr);
297 _M_manager =
nullptr;
302 void swap(any& __rhs)
noexcept
304 if (!has_value() && !__rhs.has_value())
307 if (has_value() && __rhs.has_value())
314 __arg._M_any = &__tmp;
315 __rhs._M_manager(_Op_xfer, &__rhs, &__arg);
316 __arg._M_any = &__rhs;
317 _M_manager(_Op_xfer,
this, &__arg);
319 __tmp._M_manager(_Op_xfer, &__tmp, &__arg);
323 any* __empty = !has_value() ? this : &__rhs;
324 any* __full = !has_value() ? &__rhs :
this;
326 __arg._M_any = __empty;
327 __full->_M_manager(_Op_xfer, __full, &__arg);
334 bool has_value() const noexcept {
return _M_manager !=
nullptr; }
338 const type_info& type() const noexcept
343 _M_manager(_Op_get_type_info,
this, &__arg);
344 return *__arg._M_typeinfo;
349 template<
typename _Tp>
350 static constexpr bool __is_valid_cast()
351 {
return __or_<is_reference<_Tp>, is_copy_constructible<_Tp>>::value; }
356 _Op_access, _Op_get_type_info, _Op_clone, _Op_destroy, _Op_xfer
362 const std::type_info* _M_typeinfo;
366 void (*_M_manager)(_Op,
const any*, _Arg*);
370 template<
typename _Tp>
371 friend void* __any_caster(
const any* __any);
375 template<
typename _Tp>
376 struct _Manager_internal
379 _S_manage(_Op __which,
const any* __anyp, _Arg* __arg);
381 template<
typename _Up>
383 _S_create(_Storage& __storage, _Up&& __value)
385 void* __addr = &__storage._M_buffer;
389 template<
typename... _Args>
391 _S_create(_Storage& __storage, _Args&&... __args)
393 void* __addr = &__storage._M_buffer;
398 _S_access(
const _Storage& __storage)
401 const void* __addr = &__storage._M_buffer;
402 return static_cast<_Tp*
>(
const_cast<void*
>(__addr));
407 template<
typename _Tp>
408 struct _Manager_external
411 _S_manage(_Op __which,
const any* __anyp, _Arg* __arg);
413 template<
typename _Up>
415 _S_create(_Storage& __storage, _Up&& __value)
419 template<
typename... _Args>
421 _S_create(_Storage& __storage, _Args&&... __args)
426 _S_access(
const _Storage& __storage)
429 return static_cast<_Tp*
>(__storage._M_ptr);
435 inline void swap(any& __x, any& __y)
noexcept { __x.swap(__y); }
438 template <
typename _Tp,
typename... _Args>
441 make_any(_Args&&... __args)
447 template <
typename _Tp,
typename _Up,
typename... _Args>
466 template<
typename _ValueType>
467 inline _ValueType
any_cast(
const any& __any)
469 using _Up = __remove_cvref_t<_ValueType>;
470 static_assert(any::__is_valid_cast<_ValueType>(),
471 "Template argument must be a reference or CopyConstructible type");
472 static_assert(is_constructible_v<_ValueType, const _Up&>,
473 "Template argument must be constructible from a const value.");
474 auto __p = any_cast<_Up>(&__any);
476 return static_cast<_ValueType
>(*__p);
477 __throw_bad_any_cast();
492 template<
typename _ValueType>
493 inline _ValueType
any_cast(any& __any)
495 using _Up = __remove_cvref_t<_ValueType>;
496 static_assert(any::__is_valid_cast<_ValueType>(),
497 "Template argument must be a reference or CopyConstructible type");
498 static_assert(is_constructible_v<_ValueType, _Up&>,
499 "Template argument must be constructible from an lvalue.");
500 auto __p = any_cast<_Up>(&__any);
502 return static_cast<_ValueType
>(*__p);
503 __throw_bad_any_cast();
506 template<
typename _ValueType>
507 inline _ValueType
any_cast(any&& __any)
509 using _Up = __remove_cvref_t<_ValueType>;
510 static_assert(any::__is_valid_cast<_ValueType>(),
511 "Template argument must be a reference or CopyConstructible type");
512 static_assert(is_constructible_v<_ValueType, _Up>,
513 "Template argument must be constructible from an rvalue.");
514 auto __p = any_cast<_Up>(&__any);
516 return static_cast<_ValueType
>(
std::move(*__p));
517 __throw_bad_any_cast();
522 template<
typename _Tp>
523 void* __any_caster(
const any* __any)
527 using _Up = remove_cv_t<_Tp>;
530 if constexpr (!is_same_v<decay_t<_Up>, _Up>)
533 else if constexpr (!is_copy_constructible_v<_Up>)
536 else if (__any->_M_manager == &any::_Manager<_Up>::_S_manage
538 || __any->type() ==
typeid(_Tp)
542 return any::_Manager<_Up>::_S_access(__any->_M_storage);
559 template<
typename _ValueType>
560 inline const _ValueType*
any_cast(
const any* __any)
noexcept
564 static_assert(!is_void_v<_ValueType>);
568 if constexpr (is_object_v<_ValueType>)
570 return static_cast<_ValueType*
>(__any_caster<_ValueType>(__any));
574 template<
typename _ValueType>
575 inline _ValueType*
any_cast(any* __any)
noexcept
577 static_assert(!is_void_v<_ValueType>);
579 if constexpr (is_object_v<_ValueType>)
581 return static_cast<_ValueType*
>(__any_caster<_ValueType>(__any));
586 template<
typename _Tp>
588 any::_Manager_internal<_Tp>::
589 _S_manage(_Op __which,
const any* __any, _Arg* __arg)
592 auto __ptr =
reinterpret_cast<const _Tp*
>(&__any->_M_storage._M_buffer);
596 __arg->_M_obj =
const_cast<_Tp*
>(__ptr);
598 case _Op_get_type_info:
600 __arg->_M_typeinfo = &
typeid(_Tp);
604 ::new(&__arg->_M_any->_M_storage._M_buffer) _Tp(*__ptr);
605 __arg->_M_any->_M_manager = __any->_M_manager;
611 ::new(&__arg->_M_any->_M_storage._M_buffer) _Tp
612 (std::
move(*const_cast<_Tp*>(__ptr)));
614 __arg->_M_any->_M_manager = __any->_M_manager;
615 const_cast<any*>(__any)->_M_manager =
nullptr;
620 template<typename _Tp>
622 any::_Manager_external<_Tp>::
623 _S_manage(_Op __which, const any* __any, _Arg* __arg)
626 auto __ptr =
static_cast<const _Tp*
>(__any->_M_storage._M_ptr);
630 __arg->_M_obj =
const_cast<_Tp*
>(__ptr);
632 case _Op_get_type_info:
634 __arg->_M_typeinfo = &
typeid(_Tp);
638 __arg->_M_any->_M_storage._M_ptr =
new _Tp(*__ptr);
639 __arg->_M_any->_M_manager = __any->_M_manager;
645 __arg->_M_any->_M_storage._M_ptr = __any->_M_storage._M_ptr;
646 __arg->_M_any->_M_manager = __any->_M_manager;
647 const_cast<any*
>(__any)->_M_manager =
nullptr;
654 namespace __detail::__variant
656 template<
typename>
struct _Never_valueless_alt;
661 struct _Never_valueless_alt<std::any>
666_GLIBCXX_END_NAMESPACE_VERSION
669#pragma GCC diagnostic pop
__bool_constant< true > true_type
The type used as a compile-time boolean with true value.
typename enable_if< _Cond, _Tp >::type enable_if_t
Alias template for enable_if.
constexpr std::remove_reference< _Tp >::type && move(_Tp &&__t) noexcept
Convert a value to an rvalue.
constexpr _Tp && forward(typename std::remove_reference< _Tp >::type &__t) noexcept
Forward an lvalue.
_ValueType any_cast(const any &__any)
Access the contained object.
ISO C++ entities toplevel namespace is std.
Thrown during incorrect typecasting.