1
Fork 0

Deduplicate and generalize some (de/)serializer impls

This commit is contained in:
Oliver Scherer 2020-09-26 14:55:42 +02:00
parent fd15e6180d
commit 455f284496
2 changed files with 12 additions and 23 deletions

View file

@ -13,6 +13,7 @@ Core encoding and decoding interfaces.
#![feature(never_type)] #![feature(never_type)]
#![feature(nll)] #![feature(nll)]
#![feature(associated_type_bounds)] #![feature(associated_type_bounds)]
#![feature(min_const_generics)]
#![cfg_attr(test, feature(test))] #![cfg_attr(test, feature(test))]
#![allow(rustc::internal)] #![allow(rustc::internal)]

View file

@ -539,12 +539,8 @@ impl<S: Encoder, T: Encodable<S>> Encodable<S> for [T] {
impl<S: Encoder, T: Encodable<S>> Encodable<S> for Vec<T> { impl<S: Encoder, T: Encodable<S>> Encodable<S> for Vec<T> {
fn encode(&self, s: &mut S) -> Result<(), S::Error> { fn encode(&self, s: &mut S) -> Result<(), S::Error> {
s.emit_seq(self.len(), |s| { let slice: &[T] = self;
for (i, e) in self.iter().enumerate() { slice.encode(s)
s.emit_seq_elt(i, |s| e.encode(s))?
}
Ok(())
})
} }
} }
@ -560,22 +556,18 @@ impl<D: Decoder, T: Decodable<D>> Decodable<D> for Vec<T> {
} }
} }
impl<S: Encoder> Encodable<S> for [u8; 20] { impl<S: Encoder, T: Encodable<S>, const N: usize> Encodable<S> for [T; N] {
fn encode(&self, s: &mut S) -> Result<(), S::Error> { fn encode(&self, s: &mut S) -> Result<(), S::Error> {
s.emit_seq(self.len(), |s| { let slice: &[T] = self;
for (i, e) in self.iter().enumerate() { slice.encode(s)
s.emit_seq_elt(i, |s| e.encode(s))?
}
Ok(())
})
} }
} }
impl<D: Decoder> Decodable<D> for [u8; 20] { impl<D: Decoder, const N: usize> Decodable<D> for [u8; N] {
fn decode(d: &mut D) -> Result<[u8; 20], D::Error> { fn decode(d: &mut D) -> Result<[u8; N], D::Error> {
d.read_seq(|d, len| { d.read_seq(|d, len| {
assert!(len == 20); assert!(len == N);
let mut v = [0u8; 20]; let mut v = [0u8; N];
for i in 0..len { for i in 0..len {
v[i] = d.read_seq_elt(i, |d| Decodable::decode(d))?; v[i] = d.read_seq_elt(i, |d| Decodable::decode(d))?;
} }
@ -589,12 +581,8 @@ where
[T]: ToOwned<Owned = Vec<T>>, [T]: ToOwned<Owned = Vec<T>>,
{ {
fn encode(&self, s: &mut S) -> Result<(), S::Error> { fn encode(&self, s: &mut S) -> Result<(), S::Error> {
s.emit_seq(self.len(), |s| { let slice: &[T] = self;
for (i, e) in self.iter().enumerate() { slice.encode(s)
s.emit_seq_elt(i, |s| e.encode(s))?
}
Ok(())
})
} }
} }