PlantUML JSON键值处理中的类型转换问题及修复方案

问题背景

在PlantUML的最新版本(1.2024.5)中，发现了一个关于JSON键值处理的异常行为。当JSON对象的键为纯数字字符串时(如"050")，通过%get_json_keys()获取键列表后，使用%json_key_exists()检查键是否存在会返回错误结果(false)，而实际上该键确实存在且可以通过直接访问获取值。

问题复现

考虑以下PlantUML代码示例：

!$json = {"050": "aaa"}
!foreach $key in %get_json_keys($json)
    !log %json_key_exists($json, $key)  // 错误地返回false
    !log $json[$key]                   // 却能正确返回"aaa"
!endfor

这个例子清晰地展示了矛盾的行为：同一个键，在直接访问时有效，但在存在性检查时却失败。

问题根源分析

经过深入分析，发现问题出在类型处理上：

1. 当从%get_json_keys()获取键时，数字字符串键被保留为原始字符串类型
2. 但在%json_key_exists()内部实现中，对键的类型处理不够严谨，导致字符串形式的数字键("050")与数值形式的键(50)不匹配
3. 有趣的是，直接通过$json[$key]访问时，类型转换处理更为宽松，因此能够正常工作

解决方案

开发团队已经修复了这个问题，修复方案主要包括：

1. 统一了JSON键的类型处理逻辑，确保%json_key_exists()与直接访问的行为一致
2. 增强了类型转换的健壮性，特别是对数字字符串键的处理
3. 确保所有JSON相关函数在处理键时采用相同的类型转换规则

影响版本与修复版本

• 受影响版本：PlantUML 1.2024.5及更早版本
• 修复版本：1.2024.6beta12及之后版本

开发者建议

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

!$json = {"050": "aaa"}
!foreach $key in %get_json_keys($json)
    // 显式将键转换为字符串
    !$keyStr = $key + ""
    !log %json_key_exists($json, $keyStr)  // 现在会正确返回true
!endfor

总结

这个问题的修复体现了PlantUML团队对细节的关注和对一致性的追求。JSON处理是现代图表定义中越来越重要的部分，确保其行为的一致性和可预测性对用户至关重要。建议所有用户尽快升级到包含此修复的版本，以获得更稳定可靠的JSON处理能力。