我可以依赖两个相同结构的序列化是相同的吗？

Question

考虑以下代码：

use serde::{Serialize, Deserialize};

#[derive(Serialize, Deserialize)]
struct MyStruct {
   a: u32,
   b: u32
}

#[derive(Serialize, Deserialize)]
#[serde(rename = "MyStruct")]
struct AlsoMyStruct {
   a: u32,
   b: u32
}

我想知道我是否可以安全地执行以下操作：

let ser = any_encoding::serialize(&MyStruct{a: 33, b: 44}).unwrap();
let deser: AlsoMyStruct = any_encoding::deserialize(&ser).unwrap();

其中any_encoding 是例如bincode、json 或任何其他支持 Serde 的编码。在我看来，这应该可以很好地工作：这两个结构具有相同的名称（我明确地将AlsoMyStruct 重命名为"MyStruct"）和完全相同的字段：相同的字段名称、相同的字段类型、相同的字段顺序。

但是，我想知道：这实际上 保证 可以工作吗？或者是否有一些其他的、极端情况、可能依赖于平台的、不可预见的信息，Serde 序列化器/反序列化器可能包含在MyStruct / AlsoMyStruct 的表示中，这可能导致两种表示不兼容？

Answer 1

一般来说，不，你不能指望这会起作用。原因是 serde 和任何反序列化器都不能保证您可以往返数据 (source)。这意味着如果您在两个地方使用相同的结构，您甚至不能期望它在所有情况下都有效。

例如 JSON 不能往返 Option<()> 和像 bincode 这样不能自我描述的格式不支持未标记的枚举。 类型签名中的任何内容都不会强制执行往返。
以下是反序列化可能失败的一些原因：

• 使用 skip_serializing_none 和非自描述格式 (serde #1732)。
• 任何调用 deserialize_any 的内容，例如未标记、相邻标记或内部标记的枚举 (serde #1762)。
• 在反序列化期间借用，例如，用于&'de str 或&'de [u8]。 serde_json 仅在没有转义序列的情况下支持 &'de str，并且从不支持 &'de [u8]。
• 某些格式无法序列化某些类型，例如，JSON 不支持将结构体作为映射键，而 bincode 仅支持已知长度的序列 (bincode #167)。
• 一个类型只实现了其中一个特征 (Serializer/Deserializer) 或实现不匹配，例如，序列化为数字但反序列化为字符串。

话虽如此，这可以在某些情况下工作。结构应具有相同的名称和相同的顺序的字段。类型或者更确切地说是Serialize/Deserialize 实现也需要支持往返。使用上面的Option<()>，它还取决于Serializer/Deserializer 实现是否可以往返它们，即使Serialize/Deserialize 实现确实支持它。

许多类型确实尝试支持往返，因为这是最常见的预期。