Struct Unsafe
pub struct Unsafe;
Available on crate feature
dep_rkyv
only.Expand description
A wrapper that allows serialize-unsafe types to be serialized.
Types like Cell
and UnsafeCell
may contain serializable types, but have
unsafe access semantics due to interior mutability. They may be safe to
serialize, but only under conditions that rkyv is unable to guarantee.
This wrapper enables serializing these types, and places the burden of verifying that their access semantics are used safely on the user.
§Safety
Using this wrapper on types with interior mutability can create races conditions or allow access to data in an invalid state if access semantics are not followed properly. During serialization, the data must not be modified.
§Example
use core::cell::{Cell, UnsafeCell};
use rkyv::{with::Unsafe, Archive};
#[derive(Archive)]
struct Example {
#[rkyv(with = Unsafe)]
cell: Cell<String>,
#[rkyv(with = Unsafe)]
unsafe_cell: UnsafeCell<String>,
}
Trait Implementations§
§impl<F> ArchiveWith<Cell<F>> for Unsafewhere
F: Archive,
impl<F> ArchiveWith<Cell<F>> for Unsafewhere
F: Archive,
§fn resolve_with(
field: &Cell<F>,
resolver: <Unsafe as ArchiveWith<Cell<F>>>::Resolver,
out: Place<<Unsafe as ArchiveWith<Cell<F>>>::Archived>,
)
fn resolve_with( field: &Cell<F>, resolver: <Unsafe as ArchiveWith<Cell<F>>>::Resolver, out: Place<<Unsafe as ArchiveWith<Cell<F>>>::Archived>, )
Resolves the archived type using a reference to the field type
F
.§impl<F> ArchiveWith<UnsafeCell<F>> for Unsafewhere
F: Archive,
impl<F> ArchiveWith<UnsafeCell<F>> for Unsafewhere
F: Archive,
§fn resolve_with(
field: &UnsafeCell<F>,
resolver: <Unsafe as ArchiveWith<UnsafeCell<F>>>::Resolver,
out: Place<<Unsafe as ArchiveWith<UnsafeCell<F>>>::Archived>,
)
fn resolve_with( field: &UnsafeCell<F>, resolver: <Unsafe as ArchiveWith<UnsafeCell<F>>>::Resolver, out: Place<<Unsafe as ArchiveWith<UnsafeCell<F>>>::Archived>, )
Resolves the archived type using a reference to the field type
F
.§impl<F, D> DeserializeWith<<F as Archive>::Archived, UnsafeCell<F>, D> for Unsafe
impl<F, D> DeserializeWith<<F as Archive>::Archived, UnsafeCell<F>, D> for Unsafe
§fn deserialize_with(
field: &<F as Archive>::Archived,
deserializer: &mut D,
) -> Result<UnsafeCell<F>, <D as Fallible>::Error> ⓘ
fn deserialize_with( field: &<F as Archive>::Archived, deserializer: &mut D, ) -> Result<UnsafeCell<F>, <D as Fallible>::Error> ⓘ
Deserializes the field type
F
using the given deserializer.§impl<F, S> SerializeWith<Cell<F>, S> for Unsafe
impl<F, S> SerializeWith<Cell<F>, S> for Unsafe
§impl<F, S> SerializeWith<UnsafeCell<F>, S> for Unsafe
impl<F, S> SerializeWith<UnsafeCell<F>, S> for Unsafe
§fn serialize_with(
field: &UnsafeCell<F>,
serializer: &mut S,
) -> Result<<Unsafe as ArchiveWith<UnsafeCell<F>>>::Resolver, <S as Fallible>::Error> ⓘ
fn serialize_with( field: &UnsafeCell<F>, serializer: &mut S, ) -> Result<<Unsafe as ArchiveWith<UnsafeCell<F>>>::Resolver, <S as Fallible>::Error> ⓘ
Serializes the field type
F
using the given serializer.Auto Trait Implementations§
impl Freeze for Unsafe
impl RefUnwindSafe for Unsafe
impl Send for Unsafe
impl Sync for Unsafe
impl Unpin for Unsafe
impl UnwindSafe for Unsafe
Blanket Implementations§
§impl<T> ArchivePointee for T
impl<T> ArchivePointee for T
§type ArchivedMetadata = ()
type ArchivedMetadata = ()
The archived version of the pointer metadata for this type.
§fn pointer_metadata(
_: &<T as ArchivePointee>::ArchivedMetadata,
) -> <T as Pointee>::Metadata
fn pointer_metadata( _: &<T as ArchivePointee>::ArchivedMetadata, ) -> <T as Pointee>::Metadata
Converts some archived metadata to the pointer metadata for itself.
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> ByteSized for T
impl<T> ByteSized for T
Source§const BYTE_ALIGN: usize = _
const BYTE_ALIGN: usize = _
The alignment of this type in bytes.
Source§fn byte_align(&self) -> usize ⓘ
fn byte_align(&self) -> usize ⓘ
Returns the alignment of this type in bytes.
Source§fn ptr_size_ratio(&self) -> [usize; 2]
fn ptr_size_ratio(&self) -> [usize; 2]
Source§impl<T, R> Chain<R> for Twhere
T: ?Sized,
impl<T, R> Chain<R> for Twhere
T: ?Sized,
Source§impl<T> ExtAny for T
impl<T> ExtAny for T
Source§fn as_any_mut(&mut self) -> &mut dyn Anywhere
Self: Sized,
fn as_any_mut(&mut self) -> &mut dyn Anywhere
Self: Sized,
Source§impl<T> ExtMem for Twhere
T: ?Sized,
impl<T> ExtMem for Twhere
T: ?Sized,
Source§const NEEDS_DROP: bool = _
const NEEDS_DROP: bool = _
Know whether dropping values of this type matters, in compile-time.
Source§fn mem_align_of_val(&self) -> usize ⓘ
fn mem_align_of_val(&self) -> usize ⓘ
Returns the alignment of the pointed-to value in bytes. Read more
Source§fn mem_size_of_val(&self) -> usize ⓘ
fn mem_size_of_val(&self) -> usize ⓘ
Returns the size of the pointed-to value in bytes. Read more
Source§fn mem_needs_drop(&self) -> bool
fn mem_needs_drop(&self) -> bool
Returns
true
if dropping values of this type matters. Read moreSource§fn mem_forget(self)where
Self: Sized,
fn mem_forget(self)where
Self: Sized,
Forgets about
self
without running its destructor. Read moreSource§fn mem_replace(&mut self, other: Self) -> Selfwhere
Self: Sized,
fn mem_replace(&mut self, other: Self) -> Selfwhere
Self: Sized,
Source§unsafe fn mem_zeroed<T>() -> T
unsafe fn mem_zeroed<T>() -> T
Available on crate feature
unsafe_layout
only.Returns the value of type
T
represented by the all-zero byte-pattern. Read moreSource§unsafe fn mem_transmute_copy<Src, Dst>(src: &Src) -> Dst
unsafe fn mem_transmute_copy<Src, Dst>(src: &Src) -> Dst
Available on crate feature
unsafe_layout
only.Returns the value of type
T
represented by the all-zero byte-pattern. Read moreSource§fn mem_as_bytes(&self) -> &[u8] ⓘ
fn mem_as_bytes(&self) -> &[u8] ⓘ
Available on crate feature
unsafe_slice
only.§impl<S> FromSample<S> for S
impl<S> FromSample<S> for S
fn from_sample_(s: S) -> S
Source§impl<T> Hook for T
impl<T> Hook for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<F, T> IntoSample<T> for Fwhere
T: FromSample<F>,
impl<F, T> IntoSample<T> for Fwhere
T: FromSample<F>,
fn into_sample(self) -> T
§impl<T> LayoutRaw for T
impl<T> LayoutRaw for T
§fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError> ⓘ
fn layout_raw(_: <T as Pointee>::Metadata) -> Result<Layout, LayoutError> ⓘ
Returns the layout of the type.
§impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
impl<T, N1, N2> Niching<NichedOption<T, N1>> for N2
§unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
unsafe fn is_niched(niched: *const NichedOption<T, N1>) -> bool
Returns whether the given value has been niched. Read more
§fn resolve_niched(out: Place<NichedOption<T, N1>>)
fn resolve_niched(out: Place<NichedOption<T, N1>>)
Writes data to
out
indicating that a T
is niched.