MessagePack-CSharp 序列化无Setter属性的技术解析

背景介绍

MessagePack-CSharp 是一个高效的二进制序列化库，广泛应用于.NET生态系统中。在最新版本中，开发者发现了一个关于属性序列化的行为变化：当类包含构造函数时，无Setter属性的序列化会抛出"No set accessor"异常。

问题本质

在MessagePack-CSharp 2.3.x版本后，动态对象解析器(DynamicObjectResolver)对序列化/反序列化双向支持的要求变得更加严格。当类同时满足以下两个条件时会出现问题：

1. 类包含显式定义的构造函数
2. 类包含标记为可序列化([Key]属性)但没有Setter的属性

技术细节分析

旧版本行为

在2.2.x及更早版本中，MessagePack-CSharp能够序列化仅包含getter的属性。这是因为旧版本对序列化方向的检查不够严格，允许单向序列化场景。

新版本行为变化

2.3.x版本引入了更严格的检查机制，动态对象解析器现在会强制要求：

• 所有标记为可序列化的属性必须同时支持序列化和反序列化
• 这意味着属性必须同时具备getter和setter

这种变化源于动态对象解析器的设计理念：它一次性生成同时处理序列化和反序列化的格式化程序，而不是分别为两个方向生成独立的格式化程序。

解决方案与最佳实践

推荐解决方案

1. 添加无操作Setter：

[Key("totalScore")]
public int TotalScore {
    get => Scores.Sum();
    set { /* 空实现或抛出异常 */ }
}

2. 使用init-only属性：

[Key("name")]
public required string Name { get; init; }

3. 自定义格式化程序： 对于复杂场景，可以实现IMessagePackFormatter接口提供完全控制。

技术原理

当类不包含显式构造函数时，MessagePack-CSharp能够使用更宽松的规则，因为它可以依赖默认构造函数和属性初始化器。这就是为什么移除构造函数后问题会消失。

未来展望

虽然当前版本不计划支持单向序列化，但理论上可以通过以下方式改进：

• 动态对象解析器识别单向序列化需求
• 生成特定方向的格式化程序
• 在非支持方向抛出有意义的异常

结论

MessagePack-CSharp的这一行为变化反映了其对数据完整性的重视。开发者在设计DTO时应确保属性完全支持双向操作，或明确选择其他序列化策略。理解这一机制有助于构建更健壮的序列化模型。