Glaze项目中的JSON递归深度计算问题解析

在JSON解析库Glaze的开发过程中，开发者发现了一个关于递归深度计算的潜在缺陷。这个问题在解析包含大量嵌套元素的JSON文档时会触发错误，导致解析失败。

问题背景

JSON解析过程中，递归深度是一个关键的安全指标。它用于防止恶意构造的深度嵌套JSON文档导致栈溢出攻击。Glaze库通过维护一个indentation_level变量来跟踪当前解析的嵌套深度，当超过预设阈值时会主动终止解析以避免安全问题。

问题现象

当解析一个包含大量数组元素的JSON文档时，即使实际嵌套深度并不深，解析器也会错误地认为达到了递归深度限制而抛出异常。具体表现为：一个包含200多个相同结构元素的数组会被误判为深度嵌套结构。

技术分析

问题的根源在于递归深度计数器的管理逻辑存在缺陷。在数组元素的解析过程中，每当处理一个新元素时，深度计数器会递增，但在元素处理完成后没有相应地递减计数器。这种单向递增导致计数器快速累积，最终触发深度限制保护机制。

正确的实现应该遵循"进入时递增，退出时递减"的原则，确保计数器准确反映当前的调用栈深度。Glaze库在对象和数组的开始/结束处正确维护了计数器，但在处理数组元素时遗漏了递减操作。

解决方案

修复方案是在数组元素解析完成后显式地递减递归深度计数器。这一修改虽然简单，但对于保证解析器的正确性至关重要。同时，为了验证修复效果，测试用例中加入了大量重复元素的JSON文档，确保类似场景下解析器能够正常工作。

经验总结

这个案例提醒我们：

1. 递归深度管理是解析器实现中最容易出错的环节之一
2. 计数器维护必须严格对称，任何遗漏都可能导致严重问题
3. 边界测试（如大量重复元素）对于验证解析器鲁棒性非常重要
4. 安全机制本身也可能成为故障源，需要同等重视其正确性

Glaze项目通过这次修复进一步提升了JSON解析的可靠性，为开发者处理复杂JSON文档提供了更稳定的基础。