Logging User Types¶

#include <dplx/dlog/loggable.hpp>
namespace dplx::dlog {}

Concepts¶

template<typename T> concept loggable¶: Models the requirements for a type to be retirable to a log record, i.e. it has a (known) deeppack encoder and the type reification_type_of<T>::type satisfies reifiable.

template<typename T> concept reifiable¶: Models the requirements for a type to be reifiable from a log record, i.e. it has a (known) deeppack decoder and a reification_type_id has been associated with it via reification_tag<T>.

Customization Points¶

template<typename T> reification_type_id reification_tag_v = reification_tag<T>::value¶

template<typename T> struct reification_tag¶

Associates an identifier with T which is used to discern retired types within log records.

User specializations are expected (but currently not required) to be derived from user_reification_type_constant.

There is no default identifier generation scheme due to the fact that it is impossible to generate cross-platform long-term-stable integer values based on the C++ type system alone.

template<typename T> using reification_type_of_t = typename reification_type_of<T>::type¶

template<typename T> struct reification_type_of¶

A type function which associates the type which should be used to reify a retired object of T.

Defaults to the identity function.

using type = T ¶

Core Types¶

enum class reification_type_id : std::uint64_t¶

enumerator uint64¶

enumerator int64¶

enumerator float_single¶

enumerator float_double¶

enumerator string¶

inline constexpr reification_type_id user_defined_reification_flag¶: This flag must be set for all type identifiers not provided by this library.

Utilities¶

template<reification_type_id Id> using reification_type_constant = std::integral_constant<reification_type_id, Id>¶

template<std::uint64_t Id> using user_reification_type_constant = reification_type_constant<make_user_reification_id(Id)>¶

consteval auto make_user_reification_type_id(std::uint64_t id) noexcept -> reification_type_id ¶: Casts id to reification_type_id and marks it as user provided by setting user_defined_reification_flag.