diff --git a/Cargo.toml b/Cargo.toml index 9ec1b9a..2116d37 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "serde_traitobject" -version = "0.1.6" +version = "0.1.7" license = "MIT OR Apache-2.0" authors = ["Alec Mocatta "] categories = ["development-tools","encoding","rust-patterns","network-programming"] @@ -12,7 +12,7 @@ This library enables the serialization and deserialization of trait objects such """ repository = "https://github.com/alecmocatta/serde_traitobject" homepage = "https://github.com/alecmocatta/serde_traitobject" -documentation = "https://docs.rs/serde_traitobject/0.1.6" +documentation = "https://docs.rs/serde_traitobject/0.1.7" readme = "README.md" edition = "2018" diff --git a/README.md b/README.md index 84ae2c8..c641a24 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ [![MIT / Apache 2.0 licensed](https://img.shields.io/crates/l/serde_traitobject.svg?maxAge=2592000)](#License) [![Build Status](https://dev.azure.com/alecmocatta/serde_traitobject/_apis/build/status/tests?branchName=master)](https://dev.azure.com/alecmocatta/serde_traitobject/_build/latest?branchName=master) -[Docs](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/) +[Docs](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/) **Serializable and deserializable trait objects.** @@ -12,7 +12,7 @@ This library enables the serialization and deserialization of trait objects so t For example, if you have multiple forks of a process, or the same binary running on each of a cluster of machines, this library lets you send trait objects between them. -Any trait can be made (de)serializable when made into a trait object by adding this crate's [Serialize](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/trait.Serialize.html) and [Deserialize](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/trait.Deserialize.html) traits as supertraits: +Any trait can be made (de)serializable when made into a trait object by adding this crate's [Serialize](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/trait.Serialize.html) and [Deserialize](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/trait.Deserialize.html) traits as supertraits: ```rust trait MyTrait: serde_traitobject::Serialize + serde_traitobject::Deserialize { @@ -28,12 +28,12 @@ struct Message(#[serde(with = "serde_traitobject")] Box); And that's it! The two traits are automatically implemented for all `T: serde::Serialize` and all `T: serde::de::DeserializeOwned`, so as long as all implementors of your trait are themselves serializable then you're good to go. There are two ways to (de)serialize your trait object: - * Apply the `#[serde(with = "serde_traitobject")]` [field attribute](https://serde.rs/attributes.html), which instructs serde to use this crate's [serialize](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/fn.serialize.html) and [deserialize](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/fn.deserialize.html) functions; - * The [Box](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/struct.Box.html), [Rc](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/struct.Rc.html) and [Arc](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/struct.Arc.html) structs, which are simple wrappers around their stdlib counterparts that automatically handle (de)serialization without needing the above annotation; + * Apply the `#[serde(with = "serde_traitobject")]` [field attribute](https://serde.rs/attributes.html), which instructs serde to use this crate's [serialize](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/fn.serialize.html) and [deserialize](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/fn.deserialize.html) functions; + * The [Box](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/struct.Box.html), [Rc](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/struct.Rc.html) and [Arc](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/struct.Arc.html) structs, which are simple wrappers around their stdlib counterparts that automatically handle (de)serialization without needing the above annotation; Additionally, there are several convenience traits implemented that extend their stdlib counterparts: - * [Any](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/trait.Any.html), [Debug](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/trait.Debug.html), [Display](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/trait.Display.html), [Error](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/trait.Error.html), [Fn](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/trait.Fn.html), [FnMut](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/trait.FnMut.html), [FnOnce](https://docs.rs/serde_traitobject/0.1.6/serde_traitobject/trait.FnOnce.html) + * [Any](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/trait.Any.html), [Debug](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/trait.Debug.html), [Display](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/trait.Display.html), [Error](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/trait.Error.html), [Fn](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/trait.Fn.html), [FnMut](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/trait.FnMut.html), [FnOnce](https://docs.rs/serde_traitobject/0.1.7/serde_traitobject/trait.FnOnce.html) These are automatically implemented on all implementors of their stdlib counterparts that also implement `serde::Serialize` and `serde::de::DeserializeOwned`. diff --git a/src/lib.rs b/src/lib.rs index cf5c0b4..83f6503 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -98,7 +98,7 @@ //! //! This crate currently requires Rust nightly. -#![doc(html_root_url = "https://docs.rs/serde_traitobject/0.1.6")] +#![doc(html_root_url = "https://docs.rs/serde_traitobject/0.1.7")] #![feature( coerce_unsized, core_intrinsics, @@ -243,15 +243,10 @@ impl Deserialize for [T] {} mod serialize { use super::*; pub trait Sealed: erased_serde::Serialize { - #[inline(always)] fn serialize_sized(&self, serializer: S) -> Result where S: serde::Serializer, - Self: Sized, - { - let _ = serializer; - unreachable!() - } + Self: Sized; #[inline(always)] fn type_id(&self) -> u64 where @@ -260,7 +255,17 @@ mod serialize { unsafe { intrinsics::type_id::() } } } - impl Sealed for T {} + impl Sealed for T { + #[inline(always)] + default fn serialize_sized(&self, serializer: S) -> Result + where + S: serde::Serializer, + Self: Sized, + { + let _ = serializer; + unreachable!() + } + } impl Sealed for T { #[inline(always)] fn serialize_sized(&self, serializer: S) -> Result