any File Reference

#include <initializer_list>
#include <typeinfo>
#include <type_traits>
#include <utility>
#include <xmemory0>

Classes
class	bad_any_cast
struct	_Any_big_RTTI
struct	_Any_small_RTTI
class	any
struct	any::_Small_storage_t
struct	any::_Big_storage_t
struct	any::_Storage_t

Macros
#define	_ANY_

Typedefs
template<class _Ty >
using	_Any_is_trivial = bool_constant< alignof(_Ty)<=alignof(max_align_t)&&is_trivially_copyable< _Ty >::value &&sizeof(_Ty)<=_Any_trivial_space_size >
template<class _Ty >
using	_Any_is_small = bool_constant< alignof(_Ty)<=alignof(max_align_t)&&is_nothrow_move_constructible< _Ty >::value &&sizeof(_Ty)<=_Any_small_space_size >
template<class _Ty >
using	_Any_is_function_or_array = bool_constant< is_function< _Ty >::value||is_array< _Ty >::value >

Enumerations
enum	_Any_representation : uintptr_t { _Any_representation::_Trivial, _Any_representation::_Big, _Any_representation::_Small }

Functions
void	swap (any &_Left, any &_Right) _NOEXCEPT
template<class _ValueType , class... _Types>
any	make_any (_Types &&..._Args)
template<class _ValueType , class _Elem , class... _Types>
any	make_any (initializer_list< _Elem > _Ilist, _Types &&..._Args)
template<class _ValueType >
const _ValueType *	_Any_cast1 (const any *, true_type) _NOEXCEPT
template<class _ValueType >
_ValueType *	_Any_cast1 (any *, true_type) _NOEXCEPT
template<class _ValueType >
const _ValueType *	_Any_cast1 (const any *const _Any, false_type) _NOEXCEPT
template<class _ValueType >
_ValueType *	_Any_cast1 (any *const _Any, false_type) _NOEXCEPT
template<class _ValueType >
const _ValueType *	any_cast (const any *const _Any) _NOEXCEPT
template<class _ValueType >
_ValueType *	any_cast (any *const _Any) _NOEXCEPT
template<class _Ty >
_Ty	any_cast (const any &_Any)
template<class _Ty >
_Ty	any_cast (any &_Any)
template<class _Ty >
_Ty	any_cast (any &&_Any)

Variables
constexpr size_t	_Any_trivial_space_size = (_Small_object_num_ptrs - 1) * sizeof(void *)
constexpr size_t	_Any_small_space_size = (_Small_object_num_ptrs - 2) * sizeof(void *)
template<class _Ty >
constexpr _Any_big_RTTI	_Any_big_RTTI_obj
template<class _Ty >
constexpr _Any_small_RTTI	_Any_small_RTTI_obj

Macro Definition Documentation

#define _ANY_

Typedef Documentation

template<class _Ty >

using _Any_is_function_or_array = bool_constant<is_function<_Ty>::value || is_array<_Ty>::value>

template<class _Ty >

using _Any_is_small = bool_constant< alignof(_Ty) <= alignof(max_align_t) && is_nothrow_move_constructible<_Ty>::value && sizeof(_Ty) <= _Any_small_space_size>

template<class _Ty >

using _Any_is_trivial = bool_constant< alignof(_Ty) <= alignof(max_align_t) && is_trivially_copyable<_Ty>::value && sizeof(_Ty) <= _Any_trivial_space_size>

Enumeration Type Documentation

enum _Any_representation : uintptr_t

strong

Enumerator
_Trivial
_Big
_Small

: uintptr_t { _Trivial, _Big, _Small };

Function Documentation

template<class _ValueType >

const _ValueType* _Any_cast1 ( const any *  , true_type    )

inline

    {   // retrieve a pointer to a function/array type
    return (nullptr_t{});
    }

template<class _ValueType >

_ValueType* _Any_cast1 ( any *  , true_type    )

inline

    {   // retrieve a pointer to a function/array type
    return (nullptr_t{});
    }

template<class _ValueType >

const _ValueType* _Any_cast1 ( const any *const  _Any, false_type    )

inline

    {   // retrieve a pointer to the _ValueType contained in _Any, or null
    return (_Any->_Cast<decay_t<_ValueType>>());
    }

template<class _ValueType >

_ValueType* _Any_cast1 ( any *const  _Any, false_type    )

inline

    {   // retrieve a pointer to the _ValueType contained in _Any, or null
    return (_Any->_Cast<decay_t<_ValueType>>());
    }

template<class _ValueType >

const _ValueType* any_cast ( const any *const  _Any )

inline

    {   // retrieve a pointer to the _ValueType contained in _Any, or null
    static_assert(!is_void<_ValueType>::value, "std::any cannot contain void.");
    if (_Any)
        {
        return (_Any_cast1<_ValueType>(_Any, _Any_is_function_or_array<_ValueType>{}));
        }

    return (nullptr_t{});
    }

template<class _ValueType >

_ValueType* any_cast ( any *const  _Any )

inline

    {   // retrieve a pointer to the _ValueType contained in _Any, or null
    static_assert(!is_void<_ValueType>::value, "std::any cannot contain void.");
    if (_Any)
        {
        return (_Any_cast1<_ValueType>(_Any, _Any_is_function_or_array<_ValueType>{}));
        }

    return (nullptr_t{});
    }

template<class _Ty >

_Ty any_cast ( const any &  _Any )

inline

    {   // retrieve _Any's contained value as _Ty
    static_assert(is_constructible<_Ty, const remove_cv_t<remove_reference_t<_Ty>>&>::value,
        "any_cast<T>(const any&) requires T to be constructible from const remove_cv_t<remove_reference_t<T>>&");
    const auto _Ptr = _STD any_cast<remove_cv_t<remove_reference_t<_Ty>>>(&_Any);
    if (!_Ptr)
        {
        _THROW_NCEE(bad_any_cast, _EMPTY_ARGUMENT);
        }

    return (static_cast<_Ty>(*_Ptr));
    }

template<class _Ty >

_Ty any_cast ( any &  _Any )

inline

    {   // retrieve _Any's contained value as _Ty
    static_assert(is_constructible<_Ty, remove_cv_t<remove_reference_t<_Ty>>&>::value,
        "any_cast<T>(any&) requires T to be constructible from remove_cv_t<remove_reference_t<T>>&");
    const auto _Ptr = _STD any_cast<remove_cv_t<remove_reference_t<_Ty>>>(&_Any);
    if (!_Ptr)
        {
        _THROW_NCEE(bad_any_cast, _EMPTY_ARGUMENT);
        }

    return (static_cast<_Ty>(*_Ptr));
    }

template<class _Ty >

_Ty any_cast ( any &&  _Any )

inline

    {   // retrieve _Any's contained value as _Ty
    static_assert(is_constructible<_Ty, remove_cv_t<remove_reference_t<_Ty>>>::value,
        "any_cast<T>(any&&) requires T to be constructible from remove_cv_t<remove_reference_t<T>>");
    const auto _Ptr = _STD any_cast<remove_cv_t<remove_reference_t<_Ty>>>(&_Any);
    if (!_Ptr)
        {
        _THROW_NCEE(bad_any_cast, _EMPTY_ARGUMENT);
        }

    return (static_cast<_Ty>(_STD move(*_Ptr)));
    }

template<class _ValueType , class... _Types>

any make_any ( _Types &&...  _Args )

inline

    {   // construct an any containing a _ValueType initialized with _Args...
    return (any{in_place_type<_ValueType>, _STD forward<_Types>(_Args)...});
    }

template<class _ValueType , class _Elem , class... _Types>

any make_any ( initializer_list< _Elem >  _Ilist, _Types &&...  _Args  )

inline

    {   // construct an any containing a _ValueType initialized with _Ilist and _Args...
    return (any{in_place_type<_ValueType>, _Ilist, _STD forward<_Types>(_Args)...});
    }

void swap ( any &  _Left, any &  _Right  )

inline

    {   // exchange the values of _Left and _Right
    _Left.swap(_Right);
    }

Variable Documentation

template<class _Ty >

constexpr _Any_big_RTTI _Any_big_RTTI_obj

Initial value:

=
        {&_Any_big_RTTI::_Destroy_impl<_Ty>, &_Any_big_RTTI::_Copy_impl<_Ty>}

template<class _Ty >

constexpr _Any_small_RTTI _Any_small_RTTI_obj

Initial value:

=
        {&_Any_small_RTTI::_Destroy_impl<_Ty>, &_Any_small_RTTI::_Copy_impl<_Ty>, &_Any_small_RTTI::_Move_impl<_Ty>}

constexpr size_t _Any_small_space_size = (_Small_object_num_ptrs - 2) * sizeof(void *)

constexpr size_t _Any_trivial_space_size = (_Small_object_num_ptrs - 1) * sizeof(void *)