Struct grafix_toolbox::uses::ptr::DynMetadata [−][src]
pub struct DynMetadata<Dyn> where
Dyn: ?Sized, { /* fields omitted */ }ptr_metadata)Expand description
The metadata for a Dyn = dyn SomeTrait trait object type.
It is a pointer to a vtable (virtual call table) that represents all the necessary information to manipulate the concrete type stored inside a trait object. The vtable notably it contains:
- type size
- type alignment
- a pointer to the type’s
drop_in_placeimpl (may be a no-op for plain-old-data) - pointers to all the methods for the type’s implementation of the trait
Note that the first three are special because they’re necessary to allocate, drop, and deallocate any trait object.
It is possible to name this struct with a type parameter that is not a dyn trait object
(for example DynMetadata<u64>) but not to obtain a meaningful value of that struct.
Implementations
🔬 This is a nightly-only experimental API. (ptr_metadata)
ptr_metadata)Returns the size of the type associated with this vtable.
🔬 This is a nightly-only experimental API. (ptr_metadata)
ptr_metadata)Returns the alignment of the type associated with this vtable.
Trait Implementations
This method returns an ordering between self and other values if one exists. Read more
This method tests less than (for self and other) and is used by the < operator. Read more
This method tests less than or equal to (for self and other) and is used by the <=
operator. Read more
This method tests greater than (for self and other) and is used by the > operator. Read more
Auto Trait Implementations
impl<Dyn: ?Sized> RefUnwindSafe for DynMetadata<Dyn> where
Dyn: RefUnwindSafe, impl<Dyn: ?Sized> UnwindSafe for DynMetadata<Dyn> where
Dyn: UnwindSafe, Blanket Implementations
Mutably borrows from an owned value. Read more
type Output = T
type Output = TShould always be Self
The inverse inclusion map: attempts to construct self from the equivalent element of its
superset. Read more
pub fn is_in_subset(&self) -> bool
pub fn is_in_subset(&self) -> boolChecks if self is actually part of its subset T (and can be converted to it).
pub fn to_subset_unchecked(&self) -> SS
pub fn to_subset_unchecked(&self) -> SSUse with care! Same as self.to_subset but without any property checks. Always succeeds.
pub fn from_subset(element: &SS) -> SP
pub fn from_subset(element: &SS) -> SPThe inclusion map: converts self to the equivalent element of its superset.
pub fn vzip(self) -> V