[−][src]Struct abi_stable::sabi_trait::VTableTO
This is used to safely pass the vtable to #[sabi_trait] generated trait objects,
using <Trait>_CTO::from_const( &value, <Trait>_MV::VTABLE ).
<Trait> is whatever the name of the trait that one is constructing the trait object for.
Implementations
impl<_Self, OrigPtr, Unerasability, V> VTableTO<_Self, OrigPtr, Unerasability, V, ()>[src]
pub const unsafe fn for_robject(vtable: PrefixRef<V>) -> Self[src]
Wraps an erased vtable.
Safety
These are the requirements for the caller:
-
OrigPtrmust be a pointer to the type that the vtable functions take as the first parameter. -
The vtable must not come from a reborrowed RObject (created using RObject::reborrow or RObject::reborrow_mut).
-
The vtable must be the
<SomeVTableName>of a struct declared with#[derive(StableAbi)]``#[sabi(kind(Prefix(prefix_ref="<SomeVTableName>")))]. -
The vtable must have
PrefixRef<RObjectVtable<..>>as its first declared field
impl<_Self, OrigPtr, Unerasability, V, DT> VTableTO<_Self, OrigPtr, Unerasability, V, DT>[src]
pub const fn robject_vtable(&self) -> PrefixRef<V>[src]
Gets the vtable that RObject is constructed with.
impl<'borr, _Self, ErasedPtr, OrigPtr, I, Unerasability, V> VTableTO<_Self, OrigPtr, Unerasability, V, VTableDT<'borr, _Self, ErasedPtr, OrigPtr, I, Unerasability>>[src]
pub const fn dyntrait_vtable(
&self
) -> VTableDT<'borr, _Self, ErasedPtr, OrigPtr, I, Unerasability>[src]
&self
) -> VTableDT<'borr, _Self, ErasedPtr, OrigPtr, I, Unerasability>
Gets the vtable for DynTrait.
impl<'borr, _Self, ErasedPtr, OrigPtr, I, Unerasability, V> VTableTO<_Self, OrigPtr, Unerasability, V, VTableDT<'borr, _Self, ErasedPtr, OrigPtr, I, Unerasability>>[src]
pub const unsafe fn for_dyntrait(
vtable: PrefixRef<V>,
for_dyn_trait: VTableDT<'borr, _Self, ErasedPtr, OrigPtr, I, Unerasability>
) -> Self[src]
vtable: PrefixRef<V>,
for_dyn_trait: VTableDT<'borr, _Self, ErasedPtr, OrigPtr, I, Unerasability>
) -> Self
Wraps an erased vtable,alongside the vtable for DynTrait.
Safety
This has the same safety requirements as the 'for_robject' constructor
Trait Implementations
impl<_Self, OrigPtr, Unerasability, V, DT> Clone for VTableTO<_Self, OrigPtr, Unerasability, V, DT> where
DT: Copy, [src]
DT: Copy,
pub fn clone(&self) -> Self[src]
pub fn clone_from(&mut self, source: &Self)1.0.0[src]
impl<_Self, OrigPtr, Unerasability, V, DT> Copy for VTableTO<_Self, OrigPtr, Unerasability, V, DT> where
DT: Copy, [src]
DT: Copy,
Auto Trait Implementations
impl<_Self, OrigPtr, Unerasability, V, DT> RefUnwindSafe for VTableTO<_Self, OrigPtr, Unerasability, V, DT> where
DT: RefUnwindSafe,
V: RefUnwindSafe,
DT: RefUnwindSafe,
V: RefUnwindSafe,
impl<_Self, OrigPtr, Unerasability, V, DT> Send for VTableTO<_Self, OrigPtr, Unerasability, V, DT> where
DT: Send,
V: Sync,
DT: Send,
V: Sync,
impl<_Self, OrigPtr, Unerasability, V, DT> Sync for VTableTO<_Self, OrigPtr, Unerasability, V, DT> where
DT: Sync,
V: Sync,
DT: Sync,
V: Sync,
impl<_Self, OrigPtr, Unerasability, V, DT> Unpin for VTableTO<_Self, OrigPtr, Unerasability, V, DT> where
DT: Unpin,
DT: Unpin,
impl<_Self, OrigPtr, Unerasability, V, DT> UnwindSafe for VTableTO<_Self, OrigPtr, Unerasability, V, DT> where
DT: UnwindSafe,
V: RefUnwindSafe,
DT: UnwindSafe,
V: RefUnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut T[src]
impl<'a, T> BorrowOwned<'a> for T where
T: 'a + Clone, [src]
T: 'a + Clone,
type ROwned = T
The owned type, stored in RCow::Owned
type RBorrowed = &'a T
The borrowed type, stored in RCow::Borrowed
pub fn r_borrow(
&'a <T as BorrowOwned<'a>>::ROwned
) -> <T as BorrowOwned<'a>>::RBorrowed[src]
&'a <T as BorrowOwned<'a>>::ROwned
) -> <T as BorrowOwned<'a>>::RBorrowed
pub fn r_to_owned(
<T as BorrowOwned<'a>>::RBorrowed
) -> <T as BorrowOwned<'a>>::ROwned[src]
<T as BorrowOwned<'a>>::RBorrowed
) -> <T as BorrowOwned<'a>>::ROwned
pub fn deref_borrowed(&<T as BorrowOwned<'a>>::RBorrowed) -> &T[src]
pub fn deref_owned(&<T as BorrowOwned<'a>>::ROwned) -> &T[src]
pub fn from_cow_borrow(&'a T) -> <T as BorrowOwned<'a>>::RBorrowed[src]
pub fn from_cow_owned(<T as ToOwned>::Owned) -> <T as BorrowOwned<'a>>::ROwned[src]
pub fn into_cow_borrow(<T as BorrowOwned<'a>>::RBorrowed) -> &'a T[src]
pub fn into_cow_owned(<T as BorrowOwned<'a>>::ROwned) -> <T as ToOwned>::Owned[src]
impl<T> From<T> for T[src]
impl<T> GetWithMetadata for T[src]
type ForSelf = WithMetadata_<T, T>
This is always WithMetadata_<Self, Self>
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T> SelfOps for T where
T: ?Sized, [src]
T: ?Sized,
pub const T: PhantomData<fn() -> Self>[src]
pub const T_D: PhantomData<Self>[src]
pub fn assert_ty(self, _other: PhantomData<fn() -> Self>) -> Self[src]
pub fn assert_ty_ref(&self, _other: PhantomData<fn() -> Self>) -> &Self[src]
pub fn assert_ty_mut(&mut self, _other: PhantomData<fn() -> Self>) -> &mut Self[src]
pub fn ty_(&self) -> PhantomData<fn() -> Self>[src]
pub fn ty_d(&self) -> PhantomData<Self>[src]
pub fn ty_inv(&self) -> PhantomData<fn(Self) -> Self>[src]
pub fn ty_inv_ref(&self) -> PhantomData<Cell<&Self>>[src]
pub fn eq_id(&self, other: &Self) -> bool[src]
pub fn piped<F, U>(self, f: F) -> U where
F: FnOnce(Self) -> U, [src]
F: FnOnce(Self) -> U,
pub fn piped_ref<'a, F, U>(&'a self, f: F) -> U where
F: FnOnce(&'a Self) -> U, [src]
F: FnOnce(&'a Self) -> U,
pub fn piped_mut<'a, F, U>(&'a mut self, f: F) -> U where
F: FnOnce(&'a mut Self) -> U, [src]
F: FnOnce(&'a mut Self) -> U,
pub fn mutated<F>(self, f: F) -> Self where
F: FnOnce(&mut Self), [src]
F: FnOnce(&mut Self),
pub fn observe<F>(self, f: F) -> Self where
F: FnOnce(&Self), [src]
F: FnOnce(&Self),
pub fn into_<T>(self, PhantomData<fn() -> T>) -> T where
Self: Into<T>, [src]
Self: Into<T>,
pub fn as_ref_<T>(&self) -> &T where
Self: AsRef<T>,
T: ?Sized, [src]
Self: AsRef<T>,
T: ?Sized,
pub fn as_mut_<T>(&mut self) -> &mut T where
Self: AsMut<T>,
T: ?Sized, [src]
Self: AsMut<T>,
T: ?Sized,
pub fn drop_(self)[src]
impl<T> ToOwned for T where
T: Clone, [src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
pub fn to_owned(&self) -> T[src]
pub fn clone_into(&self, target: &mut T)[src]
impl<This> TransmuteElement for This where
This: ?Sized, [src]
This: ?Sized,
pub unsafe fn transmute_element<T>(self) -> Self::TransmutedPtr where
Self: CanTransmuteElement<T>,
Self::Target: Sized, [src]
Self: CanTransmuteElement<T>,
Self::Target: Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The error type returned when the conversion fails.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> TypeIdentity for T where
T: ?Sized, [src]
T: ?Sized,
type Type = T
The same type as Self. Read more
pub fn into_type_val(self) -> Self::Type where
Self::Type: Sized, [src]
Self::Type: Sized,
pub fn into_type_ref(&self) -> &Self::Type[src]
pub fn into_type_mut(&mut self) -> &mut Self::Type[src]
pub fn into_type_box(self: Box<Self, Global>) -> Box<Self::Type, Global>[src]
pub fn into_type_arc(this: Arc<Self>) -> Arc<Self::Type>[src]
pub fn into_type_rc(this: Rc<Self>) -> Rc<Self::Type>[src]
pub fn from_type_val(this: Self::Type) -> Self where
Self::Type: Sized, [src]
Self::Type: Sized,