Trait static_reflect::StaticReflect

pub unsafe trait StaticReflect {
    const TYPE_INFO: TypeInfo<'static>;
}

The trait for types whose information can be accessed via static reflection.

In order to proper access any fields, the representation must be C-compatible. Otherwise, transmutes and pointer-arithmetic are pointless because they are already undefined behavior.

Safety

Incorrect implementation of this trait is considered undefined behavior. All the static type information must be correct at runtime.

For example, if this type gives field information via FieldReflect, then the field information must match the representation at runtime.

The advantage of this is that other crates can rely on the representation being stable (for example, JIT compilers can use it).

The type must be #[repr(C)] or have some other form of FFI safety.

Associated Constants

const TYPE_INFO: TypeInfo<'static>

The static information about the type’s representation

Loading content...

Implementations on Foreign Types

impl StaticReflect for u8

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for u16

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for u32

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for u64

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for i8

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for i16

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for i32

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for i64

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for usize

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for isize

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for str

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for ()

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for bool

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for f32

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for f64

const TYPE_INFO: TypeInfo<'static>

impl StaticReflect for !

const TYPE_INFO: TypeInfo<'static>

impl<T: StaticReflect> StaticReflect for ManuallyDrop<T>

Support StaticReflect for ManuallyDrop by just representing the inner type

const TYPE_INFO: TypeInfo<'static>

impl<T> StaticReflect for *mut T

A pointer

NOTE: The pointed-to value can be anything, even if it doesn’t implement StaticReflect.

This is fine since the static reflection system doesn’t maintain information about pointers (to avoid cycles).

const TYPE_INFO: TypeInfo<'static>

impl<T> StaticReflect for *const T

An immutable pointer

The static reflection system makes no distinction between mutable and immutable pointers.

const TYPE_INFO: TypeInfo<'static>

impl<T> StaticReflect for NonNull<T>

const TYPE_INFO: TypeInfo<'static>

impl<T: SimpleNonZeroPointer> StaticReflect for Option<T>

const TYPE_INFO: TypeInfo<'static>

Loading content...

Implementors

impl StaticReflect for AsmStr

const TYPE_INFO: TypeInfo<'static>

impl<T: StaticReflect> StaticReflect for AsmOption<T>

const TYPE_INFO: TypeInfo<'static>

impl<T: StaticReflect> StaticReflect for AsmSlice<T>

const TYPE_INFO: TypeInfo<'static>

Loading content...