Fastjson2中JSONB序列化不可变集合的Bug分析与修复

问题背景

在Fastjson2项目中，当使用JSONB格式进行序列化和反序列化操作时，如果对象中存在默认值为不可变集合（如Collections.emptyList()）的字段，并且开启了FieldBased和NotWriteHashMapArrayListClassName特性时，会出现反序列化失败的问题。

问题现象

具体表现为：当反序列化一个包含不可变集合默认值的对象时，Fastjson2会尝试向这个不可变集合中添加元素，导致抛出UnsupportedOperationException异常。这种情况常见于MyBatis-Plus的分页结果对象Page中，其records字段默认值为Collections.emptyList()。

技术分析

问题的根源在于Fastjson2的反序列化机制。在反序列化过程中，Fastjson2会先获取字段的默认值（即不可变集合），然后尝试向这个集合中添加反序列化得到的元素。然而，不可变集合（如Collections.emptyList()返回的集合）是不支持修改操作的，因此会抛出异常。

在Fastjson2的源码中，这个问题出现在ObjectReaderCreatorASM类的genReadFieldValueList方法中。该方法生成的字节码会直接使用字段的默认值，而没有考虑这个默认值是否可修改。

解决方案

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

1. 在反序列化集合类型字段时，首先检查默认值是否是可修改的集合
2. 如果默认值是不可修改的集合，则创建一个新的可修改集合实例
3. 将反序列化得到的元素添加到新创建的集合中
4. 最后将新集合设置回对象字段

这种处理方式既保证了反序列化的正确性，又不会影响原有不可变集合的语义。

影响范围

该问题主要影响以下场景：

• 使用JSONB格式进行序列化和反序列化
• 开启了FieldBased和NotWriteHashMapArrayListClassName特性
• 对象中包含默认值为不可变集合的字段
• 包括但不限于Collections.emptyList()、Collections.emptySet()和Collections.emptyMap()

最佳实践

为了避免类似问题，开发者在使用Fastjson2时应注意：

1. 对于可能被序列化的对象，谨慎使用不可变集合作为字段默认值
2. 如果确实需要使用不可变集合，可以考虑在反序列化后手动处理
3. 及时升级到Fastjson2的最新版本以获取bug修复

总结

Fastjson2作为高性能的JSON处理库，在处理复杂对象序列化时需要考虑各种边界情况。这个bug的修复体现了开发团队对细节的关注和对稳定性的追求。开发者在使用过程中遇到类似问题时，应及时检查版本并考虑升级到修复版本。