pub struct TryFromIntoRef<T>(/* private fields */);
Expand description
Serialize a reference value by converting to/from a proxy type with serde support.
This adapter serializes a type O
by converting it into a second type T
and serializing T
.
Deserializing works analogue, by deserializing a T
and then converting into O
.
struct S {
#[serde_as(as = "TryFromIntoRef<T>")]
value: O,
}
For serialization O
needs to be for<'a> &'a O: TryInto<T>
.
For deserialization the opposite T: TryInto<O>
is required.
In both cases the TryInto::Error
type must implement Display
.
Note: FromIntoRef
is the more specialized version of this adapter which uses the infallible Into
trait instead.
TryFromIntoRef
is strictly more general and can also be used where FromIntoRef
is applicable.
The example shows a use case, when only the deserialization behavior is fallible, but not serializing.
§Example
#[derive(Debug, PartialEq)]
enum Boollike {
True,
False,
}
impl From<Boollike> for u8 { ... }
impl TryFrom<u8> for Boollike {
type Error = String;
fn try_from(v: u8) -> Result<Self, Self::Error> {
match v {
0 => Ok(Boollike::False),
1 => Ok(Boollike::True),
_ => Err(format!("Boolikes can only be constructed from 0 or 1 but found {}", v))
}
}
}
#[serde_as]
#[derive(Deserialize, Serialize)]
struct Data {
#[serde_as(as = "TryFromIntoRef<u8>")]
b: Boollike,
}
let data = Data {
b: Boollike::True,
};
// Define our expected JSON form
let j = json!({
"b": 1,
});
// Ensure serialization and deserialization produce the expected results
assert_eq!(j, serde_json::to_value(&data).unwrap());
assert_eq!(data, serde_json::from_value(j).unwrap());
// Numbers besides 0 or 1 should be an error
let j = json!({
"b": 2,
});
assert_eq!("Boolikes can only be constructed from 0 or 1 but found 2", serde_json::from_value::<Data>(j).unwrap_err().to_string());
Trait Implementations§
Source§impl<'de, T, U> DeserializeAs<'de, T> for TryFromIntoRef<U>
impl<'de, T, U> DeserializeAs<'de, T> for TryFromIntoRef<U>
Source§fn deserialize_as<D>(
deserializer: D,
) -> Result<T, <D as Deserializer<'de>>::Error>where
D: Deserializer<'de>,
fn deserialize_as<D>(
deserializer: D,
) -> Result<T, <D as Deserializer<'de>>::Error>where
D: Deserializer<'de>,
Source§impl<T, U> SerializeAs<T> for TryFromIntoRef<U>
impl<T, U> SerializeAs<T> for TryFromIntoRef<U>
Source§fn serialize_as<S>(
source: &T,
serializer: S,
) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>where
S: Serializer,
fn serialize_as<S>(
source: &T,
serializer: S,
) -> Result<<S as Serializer>::Ok, <S as Serializer>::Error>where
S: Serializer,
Auto Trait Implementations§
impl<T> Freeze for TryFromIntoRef<T>
impl<T> RefUnwindSafe for TryFromIntoRef<T>where
T: RefUnwindSafe,
impl<T> Send for TryFromIntoRef<T>where
T: Send,
impl<T> Sync for TryFromIntoRef<T>where
T: Sync,
impl<T> Unpin for TryFromIntoRef<T>where
T: Unpin,
impl<T> UnwindSafe for TryFromIntoRef<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<S> AssignWithType for S
impl<S> AssignWithType for S
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
Source§impl<C, E> EntryToVal<C> for Ewhere
C: Collection<Entry = E>,
impl<C, E> EntryToVal<C> for Ewhere
C: Collection<Entry = E>,
Source§type Val = <C as Collection>::Val
type Val = <C as Collection>::Val
Entry
in complex collections.
For example, in a HashMap
, while Entry
might be a ( key, value ) tuple, Val
might only be the value part.Source§fn entry_to_val(self) -> <E as EntryToVal<C>>::Val
fn entry_to_val(self) -> <E as EntryToVal<C>>::Val
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§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> ⓘ
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> ⓘ
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 moreSource§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
Source§impl<Initial, Error, Final> TransitiveTryFrom<Error, Initial> for Final
impl<Initial, Error, Final> TransitiveTryFrom<Error, Initial> for Final
Source§impl<Error, Final, Initial> TransitiveTryInto<Error, Final> for Initial
impl<Error, Final, Initial> TransitiveTryInto<Error, Final> for Initial
Source§impl<C, Val> ValToEntry<C> for Valwhere
C: CollectionValToEntry<Val>,
impl<C, Val> ValToEntry<C> for Valwhere
C: CollectionValToEntry<Val>,
Source§fn val_to_entry(self) -> <C as CollectionValToEntry<Val>>::Entry
fn val_to_entry(self) -> <C as CollectionValToEntry<Val>>::Entry
Invokes the val_to_entry
function of the CollectionValToEntry
trait to convert the value to an entry.