[−][src]Struct abi_stable::sabi_types::RRef
A StableAbi type equivalent to &'a T
,
defined as a workaround to allow casting from &T
to &U
inside a const fn
in stable Rust.
Methods
impl<'a, T> RRef<'a, T>
[src]
pub const unsafe fn from_raw(ref_: *const T) -> Self where
T: 'a,
[src]
T: 'a,
Constructs this RRef from a raw pointer.
Safety
You must ensure that the raw pointer is valid for the 'a
lifetime.
Example
use abi_stable::sabi_types::RRef; struct GetPtr<'a,T>(&'a T); impl<'a,T:'a> GetPtr<'a,T>{ const PTR:*const Option<T>=&None; const STATIC:RRef<'a,Option<T>>=unsafe{ RRef::from_raw(Self::PTR) }; }
pub const fn new(ref_: &'a T) -> Self
[src]
Constructs this RRef from a static reference
Example
use abi_stable::sabi_types::RRef; struct GetPtr<'a,T>(&'a T); impl<'a,T:'a> GetPtr<'a,T>{ const REF:&'a Option<T>=&None; const STATIC:RRef<'a,Option<T>>= RRef::new(Self::REF); }
pub fn get(self) -> &'a T
[src]
Gets access to the reference.
Use this to get a &'a T
,
instead of a reference borrowing from the pointer.
Example
use abi_stable::sabi_types::RRef; struct GetPtr<'a,T>(&'a T); impl<'a,T:'a> GetPtr<'a,T>{ const NONE_REF:&'a Option<T>=&None; const REFERENCE:RRef<'a,Option<T>>=RRef::new(Self::NONE_REF); // This returns a reference that lives as long as T does fn returns_ref()->&'a Option<String>{ let reference=GetPtr::<String>::REFERENCE; reference.get() } // This doesn't work,it borrows the reference `variable`. // fn returns_ref_2()->&'a Option<String>{ // let reference=GetPtr::<String>::REFERENCE; // &*reference // } }
pub const fn get_raw(self) -> *const T
[src]
Gets access to the referenced value,as a raw pointer.
Example
use abi_stable::sabi_types::RRef; use std::convert::Infallible; struct GetPtr<'a,T>(&'a T); impl<'a,T:'a> GetPtr<'a,T>{ const NONE_REF:&'a Option<T>=&None; const STATIC:RRef<'a,Option<T>>= RRef::new(Self::NONE_REF); } let reference:*const Option<Infallible>= GetPtr::<Infallible>::STATIC.get_raw();
pub const unsafe fn transmute<'b, U>(self) -> RRef<'b, U> where
U: 'b,
[src]
U: 'b,
Transmutes this RRef<'a,T>
to a RRef<'b,U>
.
Safety
This has the same safety problems that transmuting &'a T
to &'b U
has.
Example
use abi_stable::sabi_types::RRef; struct GetPtr<'a,T>(&'a T); impl<'a,T:'a> GetPtr<'a,T>{ const PTR:*const Option<T>=&None; const STATIC:RRef<'a,Option<T>>=unsafe{ RRef::from_raw(Self::PTR) }; } let reference:RRef<'static,Option<[();0xFFF_FFFF]>>=unsafe{ GetPtr::<()>::STATIC .transmute::<'static,Option<[();0xFFF_FFFF]>>() };
pub const unsafe fn transmute_ref<U>(self) -> RRef<'a, U> where
U: 'a,
[src]
U: 'a,
Transmutes this RRef<'a,T>
to a RRef<'a,U>
.
This is equivalent to calling transmute
,
except that it doesn't change the lifetime parameter of RRef
.
Safety
This has the same safety problems that transmuting &'a T
to &'a U
has.
Example
use abi_stable::sabi_types::RRef; struct GetPtr<'a,T>(&'a T); impl<'a,T:'a> GetPtr<'a,T>{ const PTR:*const Option<T>=&None; const STATIC:RRef<'a,Option<T>>=unsafe{ RRef::from_raw(Self::PTR) }; } let reference:RRef<'static,[();0xFFF_FFFF]>=unsafe{ GetPtr::<'static,()>::STATIC .transmute_ref::<[();0xFFF_FFFF]>() };
pub const unsafe fn to_staticref_unchecked(self) -> StaticRef<T>
[src]
Converts this RRef<'a,T>
to a StaticRef<T>
.
Safety
The caller must ensure that this reference lives for the entirety of the program,
One example of when this is sound is with a vtable of a generic type,
which isn't necessarily 'static
,
even though it lives for the entirety of the program.
impl<T> RRef<'static, T>
[src]
pub const fn to_staticref(self) -> StaticRef<T> where
T: 'static,
[src]
T: 'static,
Converts this RRef<'static,T>
to a StaticRef<T>
.
Trait Implementations
impl<'a, T> GetStaticEquivalent_ for RRef<'a, T> where
T: __SharedStableAbi,
T: 'a,
[src]
T: __SharedStableAbi,
T: 'a,
type StaticEquivalent = _static_RRef<'static, __GetStaticEquivalent<T>>
impl<'a, T> SharedStableAbi for RRef<'a, T> where
T: __SharedStableAbi,
T: 'a,
[src]
T: __SharedStableAbi,
T: 'a,
type IsNonZeroType = <*const T as __SharedStableAbi>::IsNonZeroType
Whether this type has a single invalid bit-pattern. Read more
type Kind = __ValueKind
The kind of abi stability of this type,there are 2: Read more
const S_LAYOUT: &'static TypeLayout
[src]
const S_ABI_CONSTS: AbiConsts
[src]
impl<'a, T> GetPointerKind for RRef<'a, T>
[src]
type Kind = PK_Reference
const KIND: PointerKind
[src]
impl<'a, T, U> CanTransmuteElement<U> for RRef<'a, T> where
U: 'a,
[src]
U: 'a,
type TransmutedPtr = RRef<'a, U>
The type of the pointer after it's element type has been changed.
impl<'a, T> Send for RRef<'a, T> where
&'a T: Send,
[src]
&'a T: Send,
impl<'a, T> Sync for RRef<'a, T> where
&'a T: Sync,
[src]
&'a T: Sync,
impl<T> From<RRef<'static, T>> for StaticRef<T> where
T: 'static,
[src]
T: 'static,
impl<'a, T> From<StaticRef<T>> for RRef<'static, T> where
T: 'a,
[src]
T: 'a,
impl<'a, T> Clone for RRef<'a, T>
[src]
fn clone(&self) -> Self
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl<'a, T> Copy for RRef<'a, T>
[src]
impl<'a, T> Eq for RRef<'a, T> where
T: Eq,
[src]
T: Eq,
impl<'a, T> Ord for RRef<'a, T> where
T: Ord,
[src]
T: Ord,
fn cmp(&self, other: &Self) -> Ordering
[src]
fn max(self, other: Self) -> Self
1.21.0[src]
fn min(self, other: Self) -> Self
1.21.0[src]
fn clamp(self, min: Self, max: Self) -> Self
[src]
impl<'a, T> PartialEq<RRef<'a, T>> for RRef<'a, T> where
T: PartialEq,
[src]
T: PartialEq,
impl<'a, T> PartialOrd<RRef<'a, T>> for RRef<'a, T> where
T: PartialOrd,
[src]
T: PartialOrd,
fn partial_cmp(&self, other: &Self) -> Option<Ordering>
[src]
#[must_use]
fn lt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]
fn le(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]
fn gt(&self, other: &Rhs) -> bool
1.0.0[src]
#[must_use]
fn ge(&self, other: &Rhs) -> bool
1.0.0[src]
impl<'a, T> Display for RRef<'a, T> where
T: Display,
[src]
T: Display,
impl<'a, T> Debug for RRef<'a, T> where
T: Debug,
[src]
T: Debug,
impl<'a, T> Deref for RRef<'a, T>
[src]
impl<'a, T> Hash for RRef<'a, T> where
T: Hash,
[src]
T: Hash,
Auto Trait Implementations
impl<'a, T> Unpin for RRef<'a, T>
impl<'a, T> UnwindSafe for RRef<'a, T> where
T: RefUnwindSafe,
T: RefUnwindSafe,
impl<'a, T> RefUnwindSafe for RRef<'a, T> where
T: RefUnwindSafe,
T: RefUnwindSafe,
Blanket Implementations
impl<This> GetConstGenericVTable for This where
This: StableAbi + Eq + PartialEq<This> + Debug + Send + Sync,
[src]
This: StableAbi + Eq + PartialEq<This> + Debug + Send + Sync,
const VTABLE: ConstGenericVTableFor<This>
[src]
impl<This> StableAbi for This where
This: SharedStableAbi<Kind = ValueKind>,
[src]
This: SharedStableAbi<Kind = ValueKind>,
const LAYOUT: &'static TypeLayout
[src]
const ABI_CONSTS: AbiConsts
[src]
impl<This> TransmuteElement for This where
This: ?Sized,
[src]
This: ?Sized,
unsafe fn transmute_element<T>(self) -> Self::TransmutedPtr where
Self: CanTransmuteElement<T>,
Self::Target: Sized,
[src]
Self: CanTransmuteElement<T>,
Self::Target: Sized,
impl<'a, T> BorrowOwned<'a> for T where
T: 'a + Clone,
[src]
T: 'a + Clone,
type ROwned = T
type RBorrowed = &'a T
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
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
fn deref_borrowed(&<T as BorrowOwned<'a>>::RBorrowed) -> &T
[src]
fn deref_owned(&<T as BorrowOwned<'a>>::ROwned) -> &T
[src]
fn from_cow_borrow(&'a T) -> <T as BorrowOwned<'a>>::RBorrowed
[src]
fn from_cow_owned(<T as ToOwned>::Owned) -> <T as BorrowOwned<'a>>::ROwned
[src]
fn into_cow_borrow(<T as BorrowOwned<'a>>::RBorrowed) -> &'a T
[src]
fn into_cow_owned(<T as BorrowOwned<'a>>::ROwned) -> <T as ToOwned>::Owned
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From<T> for T
[src]
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?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.
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.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> TypeIdentity for T where
T: ?Sized,
[src]
T: ?Sized,
type Type = T
The same type as Self. Read more
fn into_type_val(self) -> Self::Type where
Self::Type: Sized,
[src]
Self::Type: Sized,
fn into_type_ref(&self) -> &Self::Type
[src]
fn into_type_mut(&mut self) -> &mut Self::Type
[src]
fn into_type_box(self: Box<Self>) -> Box<Self::Type>
[src]
fn into_type_arc(this: Arc<Self>) -> Arc<Self::Type>
[src]
fn into_type_rc(this: Rc<Self>) -> Rc<Self::Type>
[src]
fn from_type_val(this: Self::Type) -> Self where
Self::Type: Sized,
[src]
Self::Type: Sized,
fn from_type_ref(this: &Self::Type) -> &Self
[src]
fn from_type_mut(this: &mut Self::Type) -> &mut Self
[src]
fn from_type_box(this: Box<Self::Type>) -> Box<Self>
[src]
fn from_type_arc(this: Arc<Self::Type>) -> Arc<Self>
[src]
fn from_type_rc(this: Rc<Self::Type>) -> Rc<Self>
[src]
impl<T> SelfOps for T where
T: ?Sized,
[src]
T: ?Sized,
const T: PhantomData<fn() -> Self>
[src]
const T_D: PhantomData<Self>
[src]
fn assert_ty(self, _other: PhantomData<fn() -> Self>) -> Self
[src]
fn assert_ty_ref(&self, _other: PhantomData<fn() -> Self>) -> &Self
[src]
fn assert_ty_mut(&mut self, _other: PhantomData<fn() -> Self>) -> &mut Self
[src]
fn ty_(&self) -> PhantomData<fn() -> Self>
[src]
fn ty_d(&self) -> PhantomData<Self>
[src]
fn ty_inv(&self) -> PhantomData<fn(Self) -> Self>
[src]
fn ty_inv_ref(&self) -> PhantomData<Cell<&Self>>
[src]
fn eq_id(&self, other: &Self) -> bool
[src]
fn piped<F, U>(self, f: F) -> U where
F: FnOnce(Self) -> U,
[src]
F: FnOnce(Self) -> U,
fn piped_ref<'a, F, U>(&'a self, f: F) -> U where
F: FnOnce(&'a Self) -> U,
[src]
F: FnOnce(&'a Self) -> U,
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,
fn mutated<F>(self, f: F) -> Self where
F: FnOnce(&mut Self),
[src]
F: FnOnce(&mut Self),
fn observe<F>(self, f: F) -> Self where
F: FnOnce(&Self),
[src]
F: FnOnce(&Self),
fn into_<T>(self, PhantomData<fn() -> T>) -> T where
Self: Into<T>,
[src]
Self: Into<T>,
fn as_ref_<T>(&self) -> &T where
Self: AsRef<T>,
T: ?Sized,
[src]
Self: AsRef<T>,
T: ?Sized,
fn as_mut_<T>(&mut self) -> &mut T where
Self: AsMut<T>,
T: ?Sized,
[src]
Self: AsMut<T>,
T: ?Sized,
fn drop_(self)
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,