Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/dtolnay/erased-serde
Type-erased Serialize, Serializer and Deserializer traits
https://github.com/dtolnay/erased-serde
rust serde
Last synced: 13 days ago
JSON representation
Type-erased Serialize, Serializer and Deserializer traits
- Host: GitHub
- URL: https://github.com/dtolnay/erased-serde
- Owner: dtolnay
- License: apache-2.0
- Created: 2016-08-21T19:18:01.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2024-08-25T19:13:20.000Z (3 months ago)
- Last Synced: 2024-10-25T06:22:39.389Z (18 days ago)
- Topics: rust, serde
- Language: Rust
- Homepage:
- Size: 561 KB
- Stars: 721
- Watchers: 5
- Forks: 36
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
- License: LICENSE-APACHE
Awesome Lists containing this project
README
Erased Serde
============[](https://github.com/dtolnay/erased-serde)
[](https://crates.io/crates/erased-serde)
[](https://docs.rs/erased-serde)
[](https://github.com/dtolnay/erased-serde/actions?query=branch%3Amaster)This crate provides type-erased versions of Serde's `Serialize`, `Serializer`
and `Deserializer` traits that can be used as [trait objects].[trait objects]: https://doc.rust-lang.org/book/first-edition/trait-objects.html
- [`erased_serde::Serialize`](https://docs.rs/erased-serde/0.4/erased_serde/trait.Serialize.html)
- [`erased_serde::Serializer`](https://docs.rs/erased-serde/0.4/erased_serde/trait.Serializer.html)
- [`erased_serde::Deserializer`](https://docs.rs/erased-serde/0.4/erased_serde/trait.Deserializer.html)The usual Serde `Serialize`, `Serializer` and `Deserializer` traits cannot be
used as trait objects like `&dyn Serialize` or boxed trait objects like
`Box` because of Rust's ["object safety" rules]. In particular,
all three traits contain generic methods which cannot be made into a trait
object.["object safety" rules]: http://huonw.github.io/blog/2015/01/object-safety/
This library should be considered a low-level building block for interacting
with Serde APIs in an object-safe way. Most use cases will require higher level
functionality such as provided by [`typetag`] which uses this crate internally.[`typetag`]: https://github.com/dtolnay/typetag
**The traits in this crate work seamlessly with any existing Serde `Serialize`
and `Deserialize` type and any existing Serde `Serializer` and `Deserializer`
format.**```toml
[dependencies]
serde = "1.0"
erased-serde = "0.4"
```## Serialization
```rust
use erased_serde::{Serialize, Serializer};
use std::collections::BTreeMap as Map;
use std::io;fn main() {
// Construct some serializers.
let json = &mut serde_json::Serializer::new(io::stdout());
let cbor = &mut serde_cbor::Serializer::new(serde_cbor::ser::IoWrite::new(io::stdout()));// The values in this map are boxed trait objects. Ordinarily this would not
// be possible with serde::Serializer because of object safety, but type
// erasure makes it possible with erased_serde::Serializer.
let mut formats: Map<&str, Box> = Map::new();
formats.insert("json", Box::new(::erase(json)));
formats.insert("cbor", Box::new(::erase(cbor)));// These are boxed trait objects as well. Same thing here - type erasure
// makes this possible.
let mut values: Map<&str, Box> = Map::new();
values.insert("vec", Box::new(vec!["a", "b"]));
values.insert("int", Box::new(65536));// Pick a Serializer out of the formats map.
let format = formats.get_mut("json").unwrap();// Pick a Serialize out of the values map.
let value = values.get("vec").unwrap();// This line prints `["a","b"]` to stdout.
value.erased_serialize(format).unwrap();
}
```## Deserialization
```rust
use erased_serde::Deserializer;
use std::collections::BTreeMap as Map;fn main() {
static JSON: &[u8] = br#"{"A": 65, "B": 66}"#;
static CBOR: &[u8] = &[162, 97, 65, 24, 65, 97, 66, 24, 66];// Construct some deserializers.
let json = &mut serde_json::Deserializer::from_slice(JSON);
let cbor = &mut serde_cbor::Deserializer::from_slice(CBOR);// The values in this map are boxed trait objects, which is not possible
// with the normal serde::Deserializer because of object safety.
let mut formats: Map<&str, Box> = Map::new();
formats.insert("json", Box::new(::erase(json)));
formats.insert("cbor", Box::new(::erase(cbor)));// Pick a Deserializer out of the formats map.
let format = formats.get_mut("json").unwrap();let data: Map = erased_serde::deserialize(format).unwrap();
println!("{}", data["A"] + data["B"]);
}
```## How it works
This crate is based on a general technique for building trait objects of traits
that have generic methods (like all of Serde's traits). [This example code]
demonstrates the technique applied to a simplified case of a single generic
method. [Try it in the playground.][This example code]: https://github.com/dtolnay/erased-serde/blob/master/explanation/main.rs
[Try it in the playground.]: https://play.rust-lang.org/?gist=c1111875e7462ba3d0190aacb2fc2211In erased-serde things are a bit more complicated than in the example for three
reasons but the idea is the same.- We need to deal with trait methods that take `self` by value -- effectively by
implementing the object-safe trait for `Option` where `T` implements the
real trait.
- We need to deal with traits that have associated types like `Serializer::Ok`
and `Visitor::Value` -- by carefully short-term stashing things behind a
pointer.
- We need to support trait methods that have a generic type in the return type
but none of the argument types, like `SeqAccess::next_element` -- this can be
flipped around into a callback style where the return value is instead passed
on to a generic argument.In the future maybe the Rust compiler will be able to apply this technique
automatically to any trait that is not already object safe by the current rules.
#### License
Licensed under either of Apache License, Version
2.0 or MIT license at your option.
Unless you explicitly state otherwise, any contribution intentionally submitted
for inclusion in this crate by you, as defined in the Apache-2.0 license, shall
be dual licensed as above, without any additional terms or conditions.