Trait TypePath

Source

pub trait TypePath: 'static {
    // Required methods
    fn type_path() -> &'static str;
    fn short_type_path() -> &'static str;

    // Provided methods
    fn type_ident() -> Option<&'static str> { ... }
    fn crate_name() -> Option<&'static str> { ... }
    fn module_path() -> Option<&'static str> { ... }
}

Expand description

A static accessor to type paths and names.

The engine uses this trait over core::any::type_name for stability and flexibility.

This trait is automatically implemented by the #[derive(Reflect)] macro and allows type path information to be processed without an instance of that type.

Implementors may have difficulty in generating references with static lifetimes. Luckily, this crate comes with some utility structs, to make generating these statics much simpler.

§Stability

Certain parts of the engine, e.g. (de)serialization, rely on type paths as identifiers for matching dynamic values to concrete types.

Using core::any::type_name, a scene containing my_crate::foo::MyComponent would break, failing to deserialize if the component was moved from the foo module to the bar module, becoming my_crate::bar::MyComponent. This trait, through attributes when deriving itself or Reflect, can ensure breaking changes are avoidable.

The only external factor we rely on for stability when deriving is the module_path! macro, only if the derive does not provide a #[type_path = "..."] attribute.

§Anonymity

Some methods on this trait return Option<&'static str> over &'static str because not all types define all parts of a type path, for example the array type [T; N].

Such types are ‘anonymous’ in that they have only a defined type_path and short_type_path and the methods crate_name, module_path and type_ident all return None.

Primitives are treated like anonymous types, except they also have a defined type_ident.

§Example

use bevy_reflect::TypePath;

// This type path will not change with compiler versions or recompiles,
// although it will not be the same if the definition is moved.
#[derive(TypePath)]
struct NonStableTypePath;

// This type path will never change, even if the definition is moved.
#[derive(TypePath)]
#[type_path = "my_crate::foo"]
struct StableTypePath;

// Type paths can have any number of path segments.
#[derive(TypePath)]
#[type_path = "my_crate::foo::bar::baz"]
struct DeeplyNestedStableTypePath;

// Including just a crate name!
#[derive(TypePath)]
#[type_path = "my_crate"]
struct ShallowStableTypePath;

// We can also rename the identifier/name of types.
#[derive(TypePath)]
#[type_path = "my_crate::foo"]
#[type_name = "RenamedStableTypePath"]
struct NamedStableTypePath;

// Generics are also supported.
#[derive(TypePath)]
#[type_path = "my_crate::foo"]
struct StableGenericTypePath<T, const N: usize>([T; N]);

Required Methods§

Source

fn type_path() -> &'static str

Returns the fully qualified path of the underlying type.

Generic parameter types are also fully expanded.

For Option<Vec<usize>>, this is "std::option::Option<std::vec::Vec<usize>>".

Source

fn short_type_path() -> &'static str

Returns a short, pretty-print enabled path to the type.

Generic parameter types are also shortened.

For Option<Vec<usize>>, this is "Option<Vec<usize>>".

Provided Methods§

Source

fn type_ident() -> Option<&'static str>

Returns the name of the type, or None if it is anonymous.

Primitive types will return Some.

For Option<Vec<usize>>, this is "Option".

Source

fn crate_name() -> Option<&'static str>

Returns the name of the crate the type is in, or None if it is anonymous.

For Option<Vec<usize>>, this is "core".

Source

fn module_path() -> Option<&'static str>

Returns the path to the module the type is in, or None if it is anonymous.

For Option<Vec<usize>>, this is "std::option".

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Trait TypePath Copy item path

§Stability

§Anonymity

§Example

Required Methods§

fn type_path() -> &'static str

fn short_type_path() -> &'static str

Provided Methods§

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

Dyn Compatibility§

Implementations on Foreign Types§

impl TypePath for &'static Location<'static>

fn type_path() -> &'static str

fn short_type_path() -> &'static str

impl TypePath for SocketAddrwhere SocketAddr: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for AccessibilitySystemwhere AccessibilitySystem: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for RepeatAnimationwhere RepeatAnimation: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for WeightsCurvewhere WeightsCurve: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for PlaybackModewhere PlaybackMode: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for Volumewhere Volume: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for BloomCompositeModewhere BloomCompositeMode: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for Camera3dDepthLoadOpwhere Camera3dDepthLoadOp: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for ScreenSpaceTransmissionQualitywhere ScreenSpaceTransmissionQuality: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for DepthOfFieldModewhere DepthOfFieldMode: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

fn crate_name() -> Option<&'static str>

fn module_path() -> Option<&'static str>

impl TypePath for Sensitivitywhere Sensitivity: Any + Send + Sync,

fn type_path() -> &'static str

fn short_type_path() -> &'static str

fn type_ident() -> Option<&'static str>

Trait TypePath

impl TypePath for SocketAddr
where SocketAddr: Any + Send + Sync,

impl TypePath for AccessibilitySystem
where AccessibilitySystem: Any + Send + Sync,

impl TypePath for RepeatAnimation
where RepeatAnimation: Any + Send + Sync,

impl TypePath for WeightsCurve
where WeightsCurve: Any + Send + Sync,

impl TypePath for PlaybackMode
where PlaybackMode: Any + Send + Sync,

impl TypePath for Volume
where Volume: Any + Send + Sync,

impl TypePath for BloomCompositeMode
where BloomCompositeMode: Any + Send + Sync,

impl TypePath for Camera3dDepthLoadOp
where Camera3dDepthLoadOp: Any + Send + Sync,

impl TypePath for ScreenSpaceTransmissionQuality
where ScreenSpaceTransmissionQuality: Any + Send + Sync,

impl TypePath for DepthOfFieldMode
where DepthOfFieldMode: Any + Send + Sync,

impl TypePath for Sensitivity
where Sensitivity: Any + Send + Sync,

impl TypePath for SmaaPreset
where SmaaPreset: Any + Send + Sync,

impl TypePath for DebandDither
where DebandDither: Any + Send + Sync,

impl TypePath for Tonemapping
where Tonemapping: Any + Send + Sync,

impl TypePath for ButtonState
where ButtonState: Any + Send + Sync,

impl TypePath for GamepadConnection
where GamepadConnection: Any + Send + Sync,

impl TypePath for GamepadEvent
where GamepadEvent: Any + Send + Sync,

impl TypePath for GamepadInput
where GamepadInput: Any + Send + Sync,

impl TypePath for GamepadRumbleRequest
where GamepadRumbleRequest: Any + Send + Sync,

impl TypePath for RawGamepadEvent
where RawGamepadEvent: Any + Send + Sync,

impl TypePath for Key
where Key: Any + Send + Sync,