Trait rkyv::Archive [−][src]
A type that can be used without deserializing.
Archiving is done depth-first, writing any data owned by a type before writing the data for the type itself. The type must be able to create the archived type from only its own data and its resolver.
Examples
Most of the time, #[derive(Archive)]
will create an acceptable implementation. You can use the
#[archive(...)]
attribute to control how the implementation is generated. See the
Archive
derive macro for more details.
use rkyv::{ archived_root, de::deserializers::AllocDeserializer, ser::{Serializer, serializers::WriteSerializer}, AlignedVec, Archive, Archived, Deserialize, Serialize, }; #[derive(Archive, Serialize, Deserialize, Debug, PartialEq)] struct Test { int: u8, string: String, option: Option<Vec<i32>>, } let value = Test { int: 42, string: "hello world".to_string(), option: Some(vec![1, 2, 3, 4]), }; let mut serializer = WriteSerializer::new(AlignedVec::new()); serializer.serialize_value(&value).expect("failed to archive test"); let buf = serializer.into_inner(); let archived = unsafe { archived_root::<Test>(buf.as_slice()) }; assert_eq!(archived.int, value.int); assert_eq!(archived.string, value.string); assert_eq!(archived.option, value.option); let deserialized = archived.deserialize(&mut AllocDeserializer).unwrap(); assert_eq!(value, deserialized);
Many of the core and standard library types already have Archive
implementations available,
but you may need to implement Archive
for your own types in some cases the derive macro cannot
handle.
In this example, we add our own wrapper that serializes a &'static str
as if it’s owned.
Normally you can lean on the archived version of String
to do most of the work, but this
example does everything to demonstrate how to implement Archive
for your own types.
use core::{slice, str}; use rkyv::{ archived_root, offset_of, ser::{Serializer, serializers::WriteSerializer}, AlignedVec, Archive, Archived, ArchiveUnsized, MetadataResolver, RelPtr, Serialize, SerializeUnsized, }; struct OwnedStr { inner: &'static str, } struct ArchivedOwnedStr { // This will be a relative pointer to our string ptr: RelPtr<str>, } impl ArchivedOwnedStr { // This will help us get the bytes of our type as a str again. fn as_str(&self) -> &str { unsafe { // The as_ptr() function of RelPtr will get a pointer the str &*self.ptr.as_ptr() } } } struct OwnedStrResolver { // This will be the position that the bytes of our string are stored at. // We'll use this to resolve the relative pointer of our ArchivedOwnedStr. pos: usize, // The archived metadata for our str may also need a resolver. metadata_resolver: MetadataResolver<str>, } // The Archive implementation defines the archived version of our type and determines how to // turn the resolver into the archived form. The Serialize implementations determine how to make // a resolver from the original value. impl Archive for OwnedStr { type Archived = ArchivedOwnedStr; // This is the resolver we can create our Archived verison from. type Resolver = OwnedStrResolver; // The resolve function consumes the resolver and produces the archived value at the given // position. fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived { Self::Archived { // We have to be careful to add the offset of the ptr field, otherwise we'll be // using the position of the ArchivedOwnedStr instead of the position of the // relative pointer. ptr: unsafe { self.inner.resolve_unsized( pos + offset_of!(Self::Archived, ptr), resolver.pos, resolver.metadata_resolver, ) }, } } } // We restrict our serializer types with Serializer because we need its capabilities to archive // our type. For other types, we might need more or less restrictive bounds on the type of S. impl<S: Serializer + ?Sized> Serialize<S> for OwnedStr { fn serialize(&self, serializer: &mut S) -> Result<Self::Resolver, S::Error> { // This is where we want to write the bytes of our string and return a resolver that // knows where those bytes were written. // We also need to serialize the metadata for our str. Ok(OwnedStrResolver { pos: self.inner.serialize_unsized(serializer)?, metadata_resolver: self.inner.serialize_metadata(serializer)? }) } } let mut serializer = WriteSerializer::new(AlignedVec::new()); const STR_VAL: &'static str = "I'm in an OwnedStr!"; let value = OwnedStr { inner: STR_VAL }; // It works! serializer.serialize_value(&value).expect("failed to archive test"); let buf = serializer.into_inner(); let archived = unsafe { archived_root::<OwnedStr>(buf.as_ref()) }; // Let's make sure our data got written correctly assert_eq!(archived.as_str(), STR_VAL);
Associated Types
type Archived
[src]
The archived version of this type.
type Resolver
[src]
The resolver for this type. It must contain all the information needed to make the archived type from the normal type.
Required methods
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
Creates the archived version of this value at the given position.
Implementations on Foreign Types
impl Archive for RangeFull
[src]
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl<T: Archive> Archive for Range<T>
[src]
type Archived = ArchivedRange<T::Archived>
type Resolver = Range<T::Resolver>
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T: Archive> Archive for RangeInclusive<T>
[src]
type Archived = ArchivedRangeInclusive<T::Archived>
type Resolver = Range<T::Resolver>
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl Archive for Duration
[src]
type Archived = ArchivedDuration
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl<T: ?Sized> Archive for PhantomData<T>
[src]
type Archived = PhantomData<T>
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for () where
(): Copy,
[src]
(): Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for bool where
bool: Copy,
[src]
bool: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for i8 where
i8: Copy,
[src]
i8: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for i16 where
i16: Copy,
[src]
i16: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for i32 where
i32: Copy,
[src]
i32: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for i64 where
i64: Copy,
[src]
i64: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for i128 where
i128: Copy,
[src]
i128: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for u8 where
u8: Copy,
[src]
u8: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for u16 where
u16: Copy,
[src]
u16: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for u32 where
u32: Copy,
[src]
u32: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for u64 where
u64: Copy,
[src]
u64: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for u128 where
u128: Copy,
[src]
u128: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for f32 where
f32: Copy,
[src]
f32: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for f64 where
f64: Copy,
[src]
f64: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for char where
char: Copy,
[src]
char: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroI8 where
NonZeroI8: Copy,
[src]
NonZeroI8: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroI16 where
NonZeroI16: Copy,
[src]
NonZeroI16: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroI32 where
NonZeroI32: Copy,
[src]
NonZeroI32: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroI64 where
NonZeroI64: Copy,
[src]
NonZeroI64: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroI128 where
NonZeroI128: Copy,
[src]
NonZeroI128: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroU8 where
NonZeroU8: Copy,
[src]
NonZeroU8: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroU16 where
NonZeroU16: Copy,
[src]
NonZeroU16: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroU32 where
NonZeroU32: Copy,
[src]
NonZeroU32: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroU64 where
NonZeroU64: Copy,
[src]
NonZeroU64: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for NonZeroU128 where
NonZeroU128: Copy,
[src]
NonZeroU128: Copy,
type Archived = Self
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for usize
[src]
type Archived = ArchivedUsize
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for isize
[src]
type Archived = ArchivedIsize
type Resolver = ()
fn resolve(&self, _: usize, _: Self::Resolver) -> Self::Archived
[src]
impl Archive for AtomicBool
[src]
type Archived = Self
type Resolver = AtomicResolver
fn resolve(&self, _pos: usize, _resolver: AtomicResolver) -> AtomicBool
[src]
impl Archive for AtomicI8
[src]
type Archived = Self
type Resolver = AtomicResolver
fn resolve(&self, _pos: usize, _resolver: AtomicResolver) -> AtomicI8
[src]
impl Archive for AtomicI16
[src]
type Archived = Self
type Resolver = AtomicResolver
fn resolve(&self, _pos: usize, _resolver: AtomicResolver) -> AtomicI16
[src]
impl Archive for AtomicI32
[src]
type Archived = Self
type Resolver = AtomicResolver
fn resolve(&self, _pos: usize, _resolver: AtomicResolver) -> AtomicI32
[src]
impl Archive for AtomicI64
[src]
type Archived = Self
type Resolver = AtomicResolver
fn resolve(&self, _pos: usize, _resolver: AtomicResolver) -> AtomicI64
[src]
impl Archive for AtomicU8
[src]
type Archived = Self
type Resolver = AtomicResolver
fn resolve(&self, _pos: usize, _resolver: AtomicResolver) -> AtomicU8
[src]
impl Archive for AtomicU16
[src]
type Archived = Self
type Resolver = AtomicResolver
fn resolve(&self, _pos: usize, _resolver: AtomicResolver) -> AtomicU16
[src]
impl Archive for AtomicU32
[src]
type Archived = Self
type Resolver = AtomicResolver
fn resolve(&self, _pos: usize, _resolver: AtomicResolver) -> AtomicU32
[src]
impl Archive for AtomicU64
[src]
type Archived = Self
type Resolver = AtomicResolver
fn resolve(&self, _pos: usize, _resolver: AtomicResolver) -> AtomicU64
[src]
impl<T11: Archive, T10: Archive, T9: Archive, T8: Archive, T7: Archive, T6: Archive, T5: Archive, T4: Archive, T3: Archive, T2: Archive, T1: Archive, T0: Archive> Archive for (T11, T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)
[src]
type Archived = (T11::Archived, T10::Archived, T9::Archived, T8::Archived, T7::Archived, T6::Archived, T5::Archived, T4::Archived, T3::Archived, T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T11::Resolver, T10::Resolver, T9::Resolver, T8::Resolver, T7::Resolver, T6::Resolver, T5::Resolver, T4::Resolver, T3::Resolver, T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T10: Archive, T9: Archive, T8: Archive, T7: Archive, T6: Archive, T5: Archive, T4: Archive, T3: Archive, T2: Archive, T1: Archive, T0: Archive> Archive for (T10, T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)
[src]
type Archived = (T10::Archived, T9::Archived, T8::Archived, T7::Archived, T6::Archived, T5::Archived, T4::Archived, T3::Archived, T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T10::Resolver, T9::Resolver, T8::Resolver, T7::Resolver, T6::Resolver, T5::Resolver, T4::Resolver, T3::Resolver, T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T9: Archive, T8: Archive, T7: Archive, T6: Archive, T5: Archive, T4: Archive, T3: Archive, T2: Archive, T1: Archive, T0: Archive> Archive for (T9, T8, T7, T6, T5, T4, T3, T2, T1, T0)
[src]
type Archived = (T9::Archived, T8::Archived, T7::Archived, T6::Archived, T5::Archived, T4::Archived, T3::Archived, T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T9::Resolver, T8::Resolver, T7::Resolver, T6::Resolver, T5::Resolver, T4::Resolver, T3::Resolver, T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T8: Archive, T7: Archive, T6: Archive, T5: Archive, T4: Archive, T3: Archive, T2: Archive, T1: Archive, T0: Archive> Archive for (T8, T7, T6, T5, T4, T3, T2, T1, T0)
[src]
type Archived = (T8::Archived, T7::Archived, T6::Archived, T5::Archived, T4::Archived, T3::Archived, T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T8::Resolver, T7::Resolver, T6::Resolver, T5::Resolver, T4::Resolver, T3::Resolver, T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T7: Archive, T6: Archive, T5: Archive, T4: Archive, T3: Archive, T2: Archive, T1: Archive, T0: Archive> Archive for (T7, T6, T5, T4, T3, T2, T1, T0)
[src]
type Archived = (T7::Archived, T6::Archived, T5::Archived, T4::Archived, T3::Archived, T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T7::Resolver, T6::Resolver, T5::Resolver, T4::Resolver, T3::Resolver, T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T6: Archive, T5: Archive, T4: Archive, T3: Archive, T2: Archive, T1: Archive, T0: Archive> Archive for (T6, T5, T4, T3, T2, T1, T0)
[src]
type Archived = (T6::Archived, T5::Archived, T4::Archived, T3::Archived, T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T6::Resolver, T5::Resolver, T4::Resolver, T3::Resolver, T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T5: Archive, T4: Archive, T3: Archive, T2: Archive, T1: Archive, T0: Archive> Archive for (T5, T4, T3, T2, T1, T0)
[src]
type Archived = (T5::Archived, T4::Archived, T3::Archived, T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T5::Resolver, T4::Resolver, T3::Resolver, T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T4: Archive, T3: Archive, T2: Archive, T1: Archive, T0: Archive> Archive for (T4, T3, T2, T1, T0)
[src]
type Archived = (T4::Archived, T3::Archived, T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T4::Resolver, T3::Resolver, T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T3: Archive, T2: Archive, T1: Archive, T0: Archive> Archive for (T3, T2, T1, T0)
[src]
type Archived = (T3::Archived, T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T3::Resolver, T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T2: Archive, T1: Archive, T0: Archive> Archive for (T2, T1, T0)
[src]
type Archived = (T2::Archived, T1::Archived, T0::Archived)
type Resolver = (T2::Resolver, T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T1: Archive, T0: Archive> Archive for (T1, T0)
[src]
type Archived = (T1::Archived, T0::Archived)
type Resolver = (T1::Resolver, T0::Resolver)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T0: Archive> Archive for (T0,)
[src]
type Archived = (T0::Archived,)
type Resolver = (T0::Resolver,)
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T: Archive, const N: usize> Archive for [T; N]
[src]
type Archived = [T::Archived; N]
type Resolver = [T::Resolver; N]
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<T: Archive> Archive for Option<T>
[src]
type Archived = ArchivedOption<T::Archived>
type Resolver = Option<T::Resolver>
fn resolve(&self, pos: usize, resolver: Option<T::Resolver>) -> Self::Archived
[src]
impl<K: Archive + Hash + Eq, V: Archive> Archive for HashMap<K, V> where
K::Archived: Hash + Eq,
[src]
K::Archived: Hash + Eq,
type Archived = ArchivedHashMap<K::Archived, V::Archived>
type Resolver = ArchivedHashMapResolver
fn resolve(&self, pos: usize, resolver: Self::Resolver) -> Self::Archived
[src]
impl<K: Archive + Hash + Eq> Archive for HashSet<K> where
K::Archived: Hash + Eq,
[src]
K::Archived: Hash + Eq,