MessagePack-CSharp 中 SourceGeneratedFormatterResolver 的正确使用方式

理解 MessagePack 的源代码生成机制

MessagePack-CSharp 是一个高效的二进制序列化库，它通过源代码生成技术为开发者提供了高性能的序列化方案。在最新版本中，源代码生成功能得到了显著增强，但同时也带来了一些使用上的注意事项。

问题现象分析

开发者在使用 MessagePack-CSharp 3.0.238-rc.1 版本时，可能会遇到一个常见问题：当尝试使用 SourceGeneratedFormatterResolver 直接序列化包含泛型集合（如 List<T>）的对象时，系统会抛出 FormatterNotRegisteredException 异常。这个问题的根源在于对源代码生成解析器的理解存在偏差。

技术原理深入

MessagePack-CSharp 的源代码生成机制实际上会为所有标记了 [MessagePackObject] 特性的类型生成相应的格式化器。在我们的案例中，系统确实为 List<Inner> 类型生成了格式化器。然而，SourceGeneratedFormatterResolver 的设计初衷并不是作为顶级解析器直接使用。

SourceGeneratedFormatterResolver 的工作机制是：它只会在声明待格式化类型的程序集中查找源代码生成的格式化器。对于像 List<T> 这样的泛型类型，它们定义在 System 程序集中，而不是包含生成解析器的程序集中，因此 SourceGeneratedFormatterResolver 无法找到这些类型的格式化器。

正确的使用模式

正确的做法是使用开发者自定义的解析器类（如示例中的 DemoResolver），或者使用默认生成的 MessagePack.GeneratedMessagePackResolver。这些解析器会正确加载所有生成的格式化器，包括泛型集合类型的格式化器。

性能考量

值得注意的是，StandardResolver 之所以能够工作，是因为它采用了回退机制：当找不到格式化器时，它会转而使用 DynamicGenericResolver。然而，这种动态解析方式会带来一定的性能开销。如果开发者追求完全静态的、无反射的序列化方案，就应该坚持使用源代码生成的解析器。

最佳实践建议

1. 始终使用自定义的生成解析器类（如 DemoResolver）作为顶级解析器
2. 避免直接使用 SourceGeneratedFormatterResolver
3. 对于需要完全静态序列化的场景，确保所有相关类型都标记了 [MessagePackObject] 特性
4. 理解不同解析器之间的性能差异，根据场景选择合适的解析策略

通过遵循这些实践原则，开发者可以充分利用 MessagePack-CSharp 源代码生成功能的优势，同时避免常见的配置错误。