rust - Serde Deserializer，如何在直接解码 `u8`和在 `u8`中解码 `Vec`时具有独特的行为

Question

我正在为一种已经存在的格式编写Deserializer，但是该格式具有一个我不知道如何在serde中实现的特性:

// pseudo code
fn example(){
   // when decoding an u8 directly, the value 0x00 is invalid
   assert!(<u8>::deserialize(Format::from_bytes(&[0x00u8])).is_err());

   // however, when decoding an u8 through a Vec<u8> 0x00 is valid
   //
   // The problem is that this will first call `deserialize_seq`, which
   // will then use the same function as `<u8>::deserialize`, but I need
   // it to call a different method which actually accepts the value 0x00
   assert_eq!(<Vec<u8>>::deserialize(Format::from_bytes(&[0x00u8])), vec![0x00]);
}

问题在于，原始实现不是通用的，它具有 u8 which rejects the value 0x00 和 Vec<u8> which accepts it的实现。

看来我需要某种类型的运行时类型信息才能在serde反序列化器中复制此信息，是否可以实现此方法？

Answer 1

感谢@kmdreko提供的指针，这非常有帮助。

所以我遇到的问题是serde::de::Deserialize的Vec<T>的default behavior创建了访客parametrized on T ，迫使Vec<u8>的项目使用与u8相同的反序列化功能。因为serde为Vec<T>提供了默认实现，并且rust不支持重载，并且specialization尚未降落，所以我不能简单地执行impl<'de> Deserialize<'de> for Vec<u8>。解决方法是引入一个单元结构，我将其命名为DirectBytes，并使用impl<'de> Deserialize<'de> for DirectBytes而不是deserialize_byte_buf编写一个deserialize_seq。
serde_bytes有点复杂，它不仅具有这些“代理”结构，而且还具有自己的特性Deserialize，我认为这对于宏#[serde(with="..")]正常工作是必需的。如果deserialize_byte_buf没巧合我的需要，我也不知道如何实现此行为，但是对于我眼前的问题，包装类型似乎已经足够好了。