Fastjson2序列化Double.NaN导致数组越界异常分析与修复

在Fastjson2 2.0.56版本中，开发者发现了一个关于Double.NaN序列化的严重问题。当尝试序列化包含Double.NaN值的对象时，系统会抛出数组越界异常，而这个问题在2.0.36版本中并不存在。

问题背景

Double.NaN是Java中表示"非数字"(Not a Number)的特殊浮点数值。在JSON序列化过程中，通常需要将这种特殊值转换为合法的JSON表示形式。Fastjson2之前的版本(如2.0.36)能够正确处理这种情况，将Double.NaN序列化为null值。

问题表现

在2.0.56版本中，当使用JSONObject.toJSONString()方法序列化包含Double.NaN的对象时，系统会在NumberUtils.doubleToScientific方法中抛出数组越界异常。具体表现为：

1. 直接序列化Double.NaN时，能够正常处理并返回null
2. 但当序列化包含Double.NaN的复杂对象时，会触发数组越界异常

技术分析

问题的根源在于2.0.56版本中引入的科学计数法转换逻辑。在处理Double.NaN时，代码没有正确识别这种特殊情况，而是尝试将其作为普通浮点数处理，导致在访问数组时越界。

在2.0.36版本中，Fastjson2使用DoubleToDecimal.toString方法处理浮点数，该方法能够正确识别NaN并返回null。但在2.0.56版本中，这一逻辑被修改为使用NumberUtils.doubleToScientific方法，而新方法没有充分考虑NaN等特殊值的情况。

解决方案

Fastjson2开发团队在2.0.57-SNAPSHOT版本中修复了这个问题。修复方案主要包括：

1. 在科学计数法转换前增加对特殊浮点值的检查
2. 确保Double.NaN、Double.POSITIVE_INFINITY等特殊值能够被正确识别并处理
3. 保持与之前版本一致的序列化结果，将这些特殊值序列化为null

验证结果

经过验证，2.0.57版本已经能够正确处理包含Double.NaN的对象的序列化，不再出现数组越界异常，并且保持了与之前版本一致的序列化结果。

总结

这个问题的出现提醒我们，在处理浮点数特别是特殊浮点值时需要格外小心。在进行数值转换和序列化时，必须考虑所有可能的边界情况，包括NaN、无穷大等特殊值。Fastjson2团队快速响应并修复了这个问题的做法值得肯定，也展示了开源项目对用户反馈的重视。