MessagePack-CSharp 中处理具体基类类型序列化的技术方案

背景介绍

在使用 MessagePack-CSharp 进行序列化时，开发者经常会遇到需要处理类型继承体系的情况。特别是当有一个具体基类 T 和多个派生类 T1、T2 时，希望能够通过 Serialize<T> 或 Deserialize<T> 方法来处理整个继承体系，同时正确识别和实例化具体的派生类。

问题分析

MessagePack-CSharp 的 Union 特性仅支持接口和抽象基类，当面对具体基类时，开发者需要创建自定义格式化器。由于解析器(Resolver)对每种类型 T 只能解析一个格式化器，这导致开发者必须编写完全自定义的格式化器，手动处理继承体系中所有类型的属性读写。

解决方案

虽然 MessagePack-CSharp 目前不支持从生成的解析器中排除源生成格式化器，但可以通过以下技术方案实现类似效果：

1. 创建自定义解析器：构建一个新的顶级解析器，包含其他解析器但针对基类类型返回特定的格式化器。

2. 使用 Nerdbank.MessagePack：该库原生支持具体基类类型的联合(Union)序列化，提供了更简洁的解决方案。

技术实现细节

对于需要自行实现的情况，可以采用以下模式：

[MessagePackObject(AllowPrivate = true, PrivateFormatterName = "MyPrivateGeneratedFormatter")]
internal record T(
    [property: Key(0)] string Name)
{
    public class Formatter : IMessagePackFormatter<T?>
    {
        private enum Discriminator : byte
        {
            T = 0,
            T1 = 1,
            T2 = 2
        }

        public static readonly IMessagePackFormatter<T> Instance = new Formatter();

        public void Serialize(ref MessagePackWriter writer, T? value, MessagePackSerializerOptions options)
        {
            // 实现序列化逻辑...
        }

        public T? Deserialize(ref MessagePackReader reader, MessagePackSerializerOptions options)
        {
            // 实现反序列化逻辑...
        }
    }
}

最佳实践建议

1. 优先考虑使用抽象基类或接口：这样可以直接利用 MessagePack 的 Union 特性，减少自定义代码量。

2. 评估 Nerdbank.MessagePack：如果项目允许使用第三方库，可以考虑使用它提供的原生支持。

3. 保持格式化器代码简洁：将公共序列化逻辑提取到辅助方法中，避免重复代码。

4. 充分测试：特别是边界情况，如空值、无效类型标识符等。

性能考量

自定义格式化器的实现方式会影响序列化性能：

1. 类型判别开销：运行时类型检查会增加少量开销。

2. 解析器查找：通过 Resolver 获取格式化器比直接调用会有额外成本。

3. 数组头写入：自定义格式需要额外写入类型标识符。

在性能敏感场景中，应进行基准测试比较不同方案的差异。

总结

处理具体基类类型的序列化在 MessagePack-CSharp 中需要额外的工作，但通过合理的架构设计和自定义格式化器实现，可以构建出既灵活又高效的解决方案。开发者应根据项目具体需求选择最适合的实现方式，平衡开发效率、代码可维护性和运行时性能。