unbounded_variant.hpp File Reference

#include "rtti.hpp"
#include <algorithm>
#include <cstddef>
#include <exception>
#include <initializer_list>
#include <utility>

Include dependency graph for unbounded_variant.hpp:

Classes
class	cetl::bad_unbounded_variant_access
class	cetl::unbounded_variant< Footprint, Copyable, Movable, Alignment, Pmr >
struct	cetl::unbounded_variant< Footprint, Copyable, Movable, Alignment, Pmr >::in_place_type_t< T >

Namespaces
namespace	cetl

Typedefs
template<typename Pmr>
using	cetl::detail::IsPmr = std::integral_constant<bool, !std::is_void<Pmr>::value>
template<typename Pmr>
using	cetl::detail::EnableIfPmrT = std::enable_if_t<IsPmr<Pmr>::value>
template<typename Pmr>
using	cetl::detail::EnableIfNotPmrT = std::enable_if_t<!IsPmr<Pmr>::value>
template<typename ValueType>
using	cetl::unbounded_variant_like

Functions
std::nullptr_t	cetl::detail::throw_bad_alloc ()
void	cetl::detail::throw_bad_unbounded_variant_access ()
template<typename ValueType, typename UnboundedVariant = unbounded_variant_like<ValueType>, typename... Args, typename = detail::EnableIfNotPmrT<typename UnboundedVariant::pmr_type>>
CETL_NODISCARD UnboundedVariant	cetl::make_unbounded_variant (Args &&... args)
template<typename ValueType, typename UnboundedVariant = unbounded_variant_like<ValueType>, typename Up, typename... Args, typename = detail::EnableIfNotPmrT<typename UnboundedVariant::pmr_type>>
CETL_NODISCARD UnboundedVariant	cetl::make_unbounded_variant (std::initializer_list< Up > list, Args &&... args)
template<typename ValueType, typename UnboundedVariant = unbounded_variant_like<ValueType>, typename... Args, typename = detail::EnableIfPmrT<typename UnboundedVariant::pmr_type>>
CETL_NODISCARD UnboundedVariant	cetl::make_unbounded_variant (typename UnboundedVariant::pmr_type *const mem_res, Args &&... args)
template<typename ValueType, typename UnboundedVariant = unbounded_variant_like<ValueType>, typename Up, typename... Args, typename = detail::EnableIfPmrT<typename UnboundedVariant::pmr_type>>
CETL_NODISCARD UnboundedVariant	cetl::make_unbounded_variant (typename UnboundedVariant::pmr_type *const mem_res, std::initializer_list< Up > list, Args &&... args)
template<typename ValueType, template< std::size_t, bool, bool, std::size_t, typename > class UbVar, std::size_t Footprint, bool Copyable, bool Movable, std::size_t Alignment, typename Pmr, typename = std::enable_if_t<std::is_same<UbVar<Footprint, Copyable, Movable, Alignment, Pmr>, unbounded_variant<Footprint, Copyable, Movable, Alignment, Pmr>>::value>>
CETL_NODISCARD std::add_pointer_t< std::add_const_t< ValueType > >	cetl::get_if (const UbVar< Footprint, Copyable, Movable, Alignment, Pmr > *const operand) noexcept
template<typename ValueType, template< std::size_t, bool, bool, std::size_t, typename > class UbVar, std::size_t Footprint, bool Copyable, bool Movable, std::size_t Alignment, typename Pmr, typename = std::enable_if_t<std::is_same<UbVar<Footprint, Copyable, Movable, Alignment, Pmr>, unbounded_variant<Footprint, Copyable, Movable, Alignment, Pmr>>::value>>
CETL_NODISCARD std::add_pointer_t< ValueType >	cetl::get_if (UbVar< Footprint, Copyable, Movable, Alignment, Pmr > *const operand) noexcept
template<typename ValueType, template< std::size_t Footprint, bool Copyable, bool Movable, std::size_t Alignment, typename Pmr > class UbVar, std::size_t Footprint, bool Copyable, bool Movable, std::size_t Alignment, typename Pmr, typename = std::enable_if_t<std::is_same<UbVar<Footprint, Copyable, Movable, Alignment, Pmr>, unbounded_variant<Footprint, Copyable, Movable, Alignment, Pmr>>::value>>
CETL_NODISCARD const ValueType &	cetl::get (const UbVar< Footprint, Copyable, Movable, Alignment, Pmr > &operand)
template<typename ValueType, template< std::size_t, bool, bool, std::size_t, typename > class UbVar, std::size_t Footprint, bool Copyable, bool Movable, std::size_t Alignment, typename Pmr, typename = std::enable_if_t<std::is_same<UbVar<Footprint, Copyable, Movable, Alignment, Pmr>, unbounded_variant<Footprint, Copyable, Movable, Alignment, Pmr>>::value>>
CETL_NODISCARD ValueType &	cetl::get (UbVar< Footprint, Copyable, Movable, Alignment, Pmr > &operand)
template<typename ValueType, template< std::size_t, bool, bool, std::size_t, typename > class UbVar, std::size_t Footprint, bool Copyable, bool Movable, std::size_t Alignment, typename Pmr, typename = std::enable_if_t<std::is_same<UbVar<Footprint, Copyable, Movable, Alignment, Pmr>, unbounded_variant<Footprint, Copyable, Movable, Alignment, Pmr>>::value>>
CETL_NODISCARD ValueType	cetl::get (UbVar< Footprint, Copyable, Movable, Alignment, Pmr > &&operand)

Detailed Description

Includes cetl::unbounded_variant type and non-member functions.

Copyright

Copyright (C) OpenCyphal Development Team <opencyphal.org> Copyright Amazon.com Inc. or its affiliates. SPDX-License-Identifier: MIT