rtti.hpp File Reference

#include "cetl/cetl.hpp"
#include <array>
#include <cstdint>
#include <utility>
#include <type_traits>

Include dependency graph for rtti.hpp:

This graph shows which files directly or indirectly include this file:

Classes
class	cetl::rtti
struct	cetl::rtti_helper< TypeIDType, Bases >

Namespaces
namespace	cetl

Typedefs
using	cetl::type_id = std::array<std::uint8_t, type_id_size>
template<std::uint8_t... Bytes>
using	cetl::type_id_type = std::integer_sequence<std::uint8_t, Bytes...>

Functions
template<typename T>
auto	cetl::detail::has_type_id_impl (int) -> decltype(std::decay_t< T >::_get_type_id_(), std::true_type{})
template<typename T>
auto	cetl::detail::has_cast_impl (int) -> decltype(std::declval< std::decay_t< T > & >()._cast_(std::declval< type_id >()), std::true_type{})
template<std::uint8_t... Bytes>
constexpr type_id	cetl::detail::type_id_type_value_impl (const type_id_type< Bytes... >) noexcept
template<typename TypeIDType>
constexpr type_id	cetl::type_id_type_value () noexcept
template<typename T>
constexpr type_id	cetl::type_id_getter () noexcept
template<>
constexpr type_id	cetl::type_id_getter< void > () noexcept
template<typename _u>
CETL_NODISCARD std::enable_if_t< is_rtti_convertible< _u >, bool >	cetl::is_instance_of (const _u &obj, const type_id &id) noexcept
template<typename Q, typename _u>
CETL_NODISCARD std::enable_if_t< is_rtti_convertible< _u >, bool >	cetl::is_instance_of (const _u &obj) noexcept
template<typename T, typename _from>
CETL_NODISCARD std::enable_if_t< is_rtti_convertible< _from > &&std::is_pointer< T >::value &&has_type_id< std::remove_pointer_t< T > >, T >	cetl::rtti_cast (_from *const obj) noexcept
template<typename T, typename _from>
CETL_NODISCARD std::enable_if_t< is_rtti_convertible< _from > &&std::is_pointer< T >::value &&has_type_id< std::remove_pointer_t< T > >, const std::remove_pointer_t< T > * >	cetl::rtti_cast (const _from *const obj) noexcept

Variables
constexpr std::size_t	cetl::type_id_size = 16
template<typename>
std::false_type	cetl::detail::has_type_id_impl (...)
template<typename>
std::false_type	cetl::detail::has_cast_impl (...)
template<typename T>
constexpr bool	cetl::has_type_id = decltype(detail::has_type_id_impl<std::decay_t<T>>(0))::value
template<typename T>
constexpr bool	cetl::is_rtti_convertible = decltype(detail::has_cast_impl<std::decay_t<T>>(0))::value
template<typename T>
constexpr type_id	cetl::type_id_value = type_id_getter<T>()

Detailed Description

An explicit mechanism for implementing dynamic type introspection for high-integrity systems.

This should be used instead of standard C++ RunTime Type Information (RTTI) (i.e. -fno-rtti) where a codebase must trace from lines of source back to verifications (correctness) and requirements (suitability).

Copyright

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