Classes | Public Member Functions | Protected Member Functions | Static Protected Member Functions | Private Member Functions | Static Private Member Functions | Private Attributes | Friends | List of all members
linb::any Class Referencefinal

#include <any.hpp>

Classes

struct  requires_allocation
 Whether the type T must be dynamically allocated or can be stored on the stack. More...
 
union  storage_union
 
struct  vtable_dynamic
 VTable for dynamically allocated storage. More...
 
struct  vtable_stack
 VTable for stack allocated storage. More...
 
struct  vtable_type
 Base VTable specification. More...
 

Public Member Functions

 any ()
 Constructs an object of type any with an empty state. More...
 
 any (const any &rhs)
 Constructs an object of type any with an equivalent state as other. More...
 
 any (any &&rhs) noexcept
 
template<typename ValueType , typename = typename std::enable_if<!std::is_same< typename std::decay<ValueType>::type, any>::value>::type>
 any (ValueType &&value)
 
void clear () noexcept
 If not empty, destroys the contained object. More...
 
bool empty () const noexcept
 Returns true if *this has no contained object, otherwise false. More...
 
any & operator= (const any &rhs)
 Has the same effect as any(rhs).swap(*this). No effects if an exception is thrown. More...
 
any & operator= (any &&rhs) noexcept
 
template<typename ValueType , typename = typename std::enable_if<!std::is_same< typename std::decay<ValueType>::type, any>::value>::type>
any & operator= (ValueType &&value)
 
void swap (any &rhs) noexcept
 Exchange the states of *this and rhs. More...
 
const std::type_info & type () const noexcept
 If *this has a contained object of type T, typeid(T); otherwise typeid(void). More...
 
 ~any ()
 Same effect as this->clear(). More...
 

Protected Member Functions

template<typename T >
const T * cast () const noexcept
 Casts (with no type_info checks) the storage pointer as const T*. More...
 
template<typename T >
T * cast () noexcept
 Casts (with no type_info checks) the storage pointer as T*. More...
 
bool is_typed (const std::type_info &t) const
 Same effect as is_same(this->type(), t);. More...
 

Static Protected Member Functions

static bool is_same (const std::type_info &a, const std::type_info &b)
 

Private Member Functions

template<typename ValueType >
void construct (ValueType &&value)
 
template<typename ValueType , typename T >
std::enable_if< requires_allocation< T >::value >::type do_construct (ValueType &&value)
 
template<typename ValueType , typename T >
std::enable_if<!requires_allocation< T >::value >::type do_construct (ValueType &&value)
 

Static Private Member Functions

template<typename T >
static vtable_type * vtable_for_type ()
 Returns the pointer to the vtable of the type T. More...
 

Private Attributes

storage_union storage
 
vtable_type * vtable
 

Friends

template<typename T >
const T * any_cast (const any *operand) noexcept
 
template<typename T >
T * any_cast (any *operand) noexcept
 

Detailed Description

Definition at line 34 of file any.hpp.

Constructor & Destructor Documentation

linb::any::any ( )
inline

Constructs an object of type any with an empty state.

Definition at line 38 of file any.hpp.

linb::any::any ( const any &  rhs)
inline

Constructs an object of type any with an equivalent state as other.

Definition at line 43 of file any.hpp.

linb::any::any ( any &&  rhs)
inlinenoexcept

Constructs an object of type any with a state equivalent to the original state of other. rhs is left in a valid but otherwise unspecified state.

Definition at line 53 of file any.hpp.

linb::any::~any ( )
inline

Same effect as this->clear().

Definition at line 63 of file any.hpp.

template<typename ValueType , typename = typename std::enable_if<!std::is_same< typename std::decay<ValueType>::type, any>::value>::type>
linb::any::any ( ValueType &&  value)
inline

Constructs an object of type any that contains an object of type T direct-initialized with std::forward<ValueType>(value).

T shall satisfy the CopyConstructible requirements, otherwise the program is ill-formed. This is because an any may be copy constructed into another any at any time, so a copy should always be allowed.

Definition at line 74 of file any.hpp.

Member Function Documentation

template<typename T >
const T* linb::any::cast ( ) const
inlineprotectednoexcept

Casts (with no type_info checks) the storage pointer as const T*.

Definition at line 322 of file any.hpp.

template<typename T >
T* linb::any::cast ( )
inlineprotectednoexcept

Casts (with no type_info checks) the storage pointer as T*.

Definition at line 331 of file any.hpp.

void linb::any::clear ( )
inlinenoexcept

If not empty, destroys the contained object.

Definition at line 113 of file any.hpp.

template<typename ValueType >
void linb::any::construct ( ValueType &&  value)
inlineprivate

Chooses between stack and dynamic allocation for the type decay_t<ValueType>, assigns the correct vtable, and constructs the object on our storage.

Definition at line 357 of file any.hpp.

template<typename ValueType , typename T >
std::enable_if<requires_allocation<T>::value>::type linb::any::do_construct ( ValueType &&  value)
inlineprivate

Definition at line 343 of file any.hpp.

template<typename ValueType , typename T >
std::enable_if<!requires_allocation<T>::value>::type linb::any::do_construct ( ValueType &&  value)
inlineprivate

Definition at line 349 of file any.hpp.

bool linb::any::empty ( ) const
inlinenoexcept

Returns true if *this has no contained object, otherwise false.

Definition at line 123 of file any.hpp.

static bool linb::any::is_same ( const std::type_info &  a,
const std::type_info &  b 
)
inlinestaticprotected

Checks if two type infos are the same.

If ANY_IMPL_FAST_TYPE_INFO_COMPARE is defined, checks only the address of the type infos, otherwise does an actual comparision. Checking addresses is only a valid approach when there's no interaction with outside sources (other shared libraries and such).

Definition at line 311 of file any.hpp.

bool linb::any::is_typed ( const std::type_info &  t) const
inlineprotected

Same effect as is_same(this->type(), t);.

Definition at line 300 of file any.hpp.

any& linb::any::operator= ( const any &  rhs)
inline

Has the same effect as any(rhs).swap(*this). No effects if an exception is thrown.

Definition at line 82 of file any.hpp.

any& linb::any::operator= ( any &&  rhs)
inlinenoexcept

Has the same effect as any(std::move(rhs)).swap(*this).

The state of *this is equivalent to the original state of rhs and rhs is left in a valid but otherwise unspecified state.

Definition at line 92 of file any.hpp.

template<typename ValueType , typename = typename std::enable_if<!std::is_same< typename std::decay<ValueType>::type, any>::value>::type>
any& linb::any::operator= ( ValueType &&  value)
inline

Has the same effect as any(std::forward<ValueType>(value)).swap(*this). No effect if a exception is thrown.

T shall satisfy the CopyConstructible requirements, otherwise the program is ill-formed. This is because an any may be copy constructed into another any at any time, so a copy should always be allowed.

Definition at line 104 of file any.hpp.

void linb::any::swap ( any &  rhs)
inlinenoexcept

Exchange the states of *this and rhs.

Definition at line 135 of file any.hpp.

const std::type_info& linb::any::type ( ) const
inlinenoexcept

If *this has a contained object of type T, typeid(T); otherwise typeid(void).

Definition at line 129 of file any.hpp.

template<typename T >
static vtable_type* linb::any::vtable_for_type ( )
inlinestaticprivate

Returns the pointer to the vtable of the type T.

Definition at line 282 of file any.hpp.

Friends And Related Function Documentation

template<typename T >
const T* any_cast ( const any *  operand)
friend

If operand != nullptr && operand->type() == typeid(ValueType), a pointer to the object contained by operand, otherwise nullptr.

Definition at line 435 of file any.hpp.

template<typename T >
T* any_cast ( any *  operand)
friend

If operand != nullptr && operand->type() == typeid(ValueType), a pointer to the object contained by operand, otherwise nullptr.

Definition at line 446 of file any.hpp.

Member Data Documentation

storage_union linb::any::storage
private

Definition at line 339 of file any.hpp.

vtable_type* linb::any::vtable
private

Definition at line 340 of file any.hpp.

The documentation for this class was generated from the following file:

behaviotree_cpp_v3
Author(s): Michele Colledanchise, Davide Faconti
autogenerated on Tue May 4 2021 02:56:26