Jackson-core 浮点数无限值解析异常问题分析与修复

问题背景

在Jackson-core 2.18.0及以上版本中，当JSON数据结构包含特殊类型继承关系且存在浮点数的无限大值时，会出现意外的数值解析错误。具体表现为：当某个字段被设置为Double类型的最大值（1.7976931348623157e+308）时，解析过程中会错误地将其他无关字段的值也修改为同样的无限大值。

技术细节分析

这个问题主要涉及以下几个技术点：

1. JSON类型继承处理：示例代码中使用了@JsonTypeInfo和@JsonSubTypes注解来实现多态类型处理，其中include = JsonTypeInfo.As.EXISTING_PROPERTY表示类型信息来自现有属性。

2. 大数解析机制：Jackson在解析极大数值时（如示例中的17976931348623157...000），会将其识别为Double类型的最大值（Double.MAX_VALUE）。

3. 解析状态管理：问题的根本原因在于解析器在处理完一个大数后，未能正确清理内部状态，导致该数值"泄漏"到后续的解析过程中。

问题复现

通过以下JSON结构可以稳定复现该问题：

{
  "results": [
    {
      "radius": 17976931348623157...000, // 极大数值
      "type": "center",
      "center": {
        "x": -11.0,  // 会被错误修改
        "y": -2.0
      }
    }
  ]
}

解析后，原本应为-11.0的x值会被错误地设置为1.7976931348623157e+308。

影响范围

• 受影响版本：Jackson-core 2.18.0及以上
• 最后正常版本：2.17.3
• 修复版本：2.19.0、2.18.3及可能的2.17.4.x

解决方案

开发团队通过以下方式解决了该问题：

1. 完全清理解析状态：在2.19.0版本中，解析器现在会在reset()调用时完全清除内部_numberString状态。

2. 针对性修复：对于2.18.x版本，团队最初尝试最小化修改以避免引入回归问题，但最终决定将完整的2.19.0修复方案反向移植到2.18.3版本。

技术建议

对于使用Jackson-core进行JSON处理的开发者，建议：

1. 如果应用中需要处理极大数值或科学计数法表示的浮点数，应尽快升级到修复版本。

2. 在类型继承结构中，特别注意数值字段的处理，考虑添加额外的验证逻辑。

3. 对于关键业务数据，建议在反序列化后添加合理性检查，特别是当数据结构中包含可能的大数值时。

总结

这个问题展示了JSON解析器中状态管理的重要性，特别是在处理特殊数值和复杂类型结构时。Jackson-core团队通过完善解析器的状态清理机制，从根本上解决了数值"泄漏"的问题，为开发者提供了更可靠的JSON处理能力。