Lib.rs

• Handle将一个字节传递给字节处理器，以便这个字节可以在适当的时候与其他字节一起发出一个字。
• Reset告诉字节处理器将要序列化除字节之外的内容，缓冲区中的所有内容都必须发出，并且缓冲区需要被清空。

反序列化

同样，代码更改包括对 deserialize_u8 的重定向以及对宏调用 activate_byte_buf_automata_and_take!(self) 和 deactivate_byte_buf_automata!(self) 的插入。

// old
impl<'de, 'a, R: WordRead + 'de> serde::Deserializer<'de> for &'a mut Deserializer<'de, R> {
    fn deserialize_u8<V>(self, visitor: V) -> Result<V::Value>
        where
            V: Visitor<'de>,
    {
        visitor.visit_u32(self.try_take_word()?)
    }

    fn deserialize_u128<V>(self, visitor: V) -> Result<V::Value>
    where
        V: Visitor<'de>,
    {
        let mut bytes = [0u8; 16];
        self.reader.read_padded_bytes(&mut bytes)?;
        visitor.visit_u128(u128::from_le_bytes(bytes))
    }
}

// new
impl<'de, 'a, R: WordRead + 'de> serde::Deserializer<'de> for &'a mut Deserializer<'de, R> {
    fn deserialize_u8<V>(self, visitor: V) -> Result<V::Value>
        where
            V: Visitor<'de>,
    {   
        visitor.visit_u8(self.byte_handler.handle_byte(&mut self.reader)?)
    }

    fn deserialize_u128<V>(self, visitor: V) -> Result<V::Value>
    where
        V: Visitor<'de>,
    {
        self.byte_handler.reset()?;
        let mut bytes = [0u8; 16];
        self.reader.read_padded_bytes(&mut bytes)?;
        visitor.visit_u128(u128::from_le_bytes(bytes))
    }
}

处理一个特殊情况

上述高级计划存在一个限制。由于字节处理器正在保留字节，并且序列化器在序列化结束时不会通知字节处理器，所以存在一种情况，即字节处理器无法将字节输出到单词中，因为序列化已经完成。

这是一个需要特别注意的棘手问题。我们的策略是首先观察到，我们可以将Rust中的所有类型分为三组。

• 原始类型
  • bool, u8, u16, u32, u64, u128, i8, i16, i32, i64, i128, f32, f64, char, str,
  • ()
  • 单元结构，即“struct Nothing”
  • 单元枚举，即“enum{ A, B, C }”，没有底层变量
• "newtype"，这是一种在另一个类型上定义的虚拟伪类型，专门为效率而定义
  • Option，可以将其视为 enum { None, Some(T) }
  • newtype结构，即 struct(T)
  • newtype变体，即 enum { struct1(T1), struct2(T2), ... }
• 包装器
  • 序列，包括 vec![], 长切片
  • 元组，即 (T1, T2)
  • 元组结构，即 struct(T1, T2)
  • 元组变体，即 enum { struct1(T1, T2), struct2(T3, T4, T5) }
  • 映射
  • 结构，即 struct { a: A, b: B}
  • 结构体变体（variant），也称为 枚举 { struct1 : T1, b:T2, struct2: T3, c: T4, d: T5 }

注意，如果缓冲的字节没有完全写入到流中，这意味着最后一个正在写入的基本类型必须是 bool 或 u8（在下面的操作中，我们将只将 bool 视为 u8）。其后没有其他基本类型，否则它将被写入到流中，因为字节处理程序将被重置。

因此，这个 u8 只有两种可能性。

更新

此算法已经多次更改以处理不同的边缘情况。

有必要感谢 @austinabell、@flaub 和 @nategraf，他们的思考过程导致了这个新算法。

对算法感兴趣的读者可以查看待处理的PR：https://github.com/risc0/risc0/pull/1303。

许可证

代码主要来自RISC Zero的实现此处，并进行了必要的修改以添加有限状态自动机。

由于RISC Zero采用Apache 2.0许可证，此仓库也将采用Apache 2.0。