Fastjson2中14位字符串键的Map反序列化问题解析

问题背景

在Fastjson2 2.0.48版本中，发现了一个关于Map反序列化的特殊边界条件问题。当Map的键(key)为14位长度的字符串时，如果存在两个键仅在第八位字符不同而其他位相同的情况，反序列化过程会出现异常，导致其中一个键值对被错误覆盖。

问题现象

考虑以下JSON字符串示例：

{
  "CABCB9281415LR": {"key":"CABCB9281415LR","type":"分类1"},
  "CABCB9261415LR": {"key":"CABCB9261415LR","type":"分类2"}
}

在反序列化后，预期应该得到包含两个键值对的Map对象。然而实际结果却只保留了其中一个键值对，且值被错误覆盖。

技术分析

这个问题源于Fastjson2在UTF-8编码处理时的优化逻辑。为了提高性能，Fastjson2在处理固定长度字符串键时会使用特殊的优化路径。对于14位长度的字符串键，它会将字符串分成两部分进行快速比较：

1. 前6个字节被编码为一个long值(nameValue0)
2. 后8个字节被编码为另一个long值(nameValue1)

问题出在计算nameValue1时，代码错误地将第8位字节重复使用了两次：

(((long) bytes[nameBegin + 8]) << 8)  // 错误：重复使用了第8位

而实际上应该是：

(((long) bytes[nameBegin + 7]) << 8)  // 正确：应该使用第7位

这个错误导致当两个14位字符串仅在第八位不同时，它们计算出的nameValue1会相同，从而被误认为是相同的键，最终导致键值对覆盖。

影响范围

该问题影响以下条件同时满足的情况：

1. 使用UTF-8编码的JSON数据
2. Map中的键为14位长度的字符串
3. 存在两个键仅在第八位字符不同
4. 使用Fastjson2 2.0.48及之前版本

解决方案

Fastjson2开发团队已在2.0.49版本中修复了这个问题。修复方式是正确计算第7位字节的值，而不是错误地重复使用第8位字节。

对于无法立即升级的用户，可以采取以下临时解决方案：

1. 避免使用14位长度的字符串作为Map键
2. 在键中添加前缀或后缀改变其长度
3. 使用其他序列化方式处理这类特殊数据

最佳实践

1. 及时升级到Fastjson2最新稳定版本
2. 对于关键业务数据，建议在升级前进行充分的测试
3. 考虑实现自定义的反序列化验证逻辑，确保数据完整性
4. 在系统设计中，避免依赖特定长度的字符串作为唯一标识

总结

这个案例展示了即使是成熟的JSON处理库，在极端边界条件下也可能出现意想不到的问题。它提醒我们：

1. 性能优化可能引入新的边界条件问题
2. 字符串处理需要特别注意编码和长度相关的问题
3. 全面的测试用例对于发现特殊场景的问题至关重要

Fastjson2团队快速响应并修复了这个问题的态度值得肯定，也体现了开源社区协作的价值。