MessagePack-CSharp 对 .NET 8 冻结集合的支持解析

在 .NET 8 中引入了一个新的 System.Collections.Frozen 命名空间，其中包含 FrozenSet 和 FrozenDictionary 等不可变集合类型。这些集合类型在创建后内容不可更改，提供了更高的读取性能和更低的内存开销。然而，MessagePack-CSharp 这个流行的二进制序列化库在最新版本中尚未原生支持这些新集合类型。

当开发者尝试序列化 FrozenSet 或 FrozenDictionary 时，会遇到 TypeInitializationException 异常。这是因为 MessagePack-CSharp 目前基于 .NET 7 构建，而 Frozen 集合是 .NET 8 的新特性。

从技术实现角度看，Frozen 集合的序列化处理方式与 Immutable 集合非常相似。解决方案的核心思路是：

1. 创建一个专门的 FrozenCollectionResolver 解析器
2. 为 FrozenSet 和 FrozenDictionary 分别实现对应的格式化器
3. 在序列化过程中将 Frozen 集合转换为中间可变集合
4. 在反序列化时重新构建 Frozen 集合

这种处理方式的优势在于：

• 保持了 MessagePack 的高效序列化特性
• 完全兼容现有的序列化协议
• 不需要修改 Frozen 集合的内部结构
• 保持了 Frozen 集合的不可变性保证

对于需要立即使用此功能的开发者，可以自行实现一个自定义解析器。这个解析器需要继承 IFormatterResolver 接口，并为每种 Frozen 集合类型提供相应的格式化器实现。

从项目发展来看，随着 .NET 8 的普及，MessagePack-CSharp 很可能会在未来的版本中直接内置对 Frozen 集合的支持。届时，开发者将无需额外配置就能直接序列化和反序列化这些高性能集合类型。

对于性能敏感的应用场景，使用 Frozen 集合配合 MessagePack 序列化可以带来显著的优势。特别是在配置数据、静态查询表等场景中，这种组合既能保证运行时的高效访问，又能实现紧凑的存储和快速的反序列化。