Boa引擎中JsValue的to_json方法对整数键的处理问题分析

Boa是一个用Rust编写的JavaScript引擎，近期在0.17至0.19版本中出现了一个关于JSON序列化的行为变更问题。本文将深入分析这个问题的技术背景、原因及解决方案。

问题现象

在Boa引擎0.16版本中，当使用to_json()方法序列化包含整数键（如"0"）的对象时，能够正确保留所有键值对。但在0.17至0.19版本中，整数键会被自动过滤掉，只保留字符串键。

技术背景

在JavaScript中，对象的键实际上都是字符串类型。即使用户使用数字作为键，引擎内部也会自动将其转换为字符串。Boa引擎内部使用两种方式存储对象属性：

1. 形状(Shape)系统：用于优化属性访问性能，存储字符串键的属性
2. 索引属性存储：专门处理类似数组索引的数字键属性

问题根源

问题的根本原因在于0.17版本的一个PR修改了to_json()方法的实现方式：

• 旧版本使用properties().iter()遍历所有属性
• 新版本改为使用shape().keys()只遍历形状系统中的键

由于Boa引擎出于性能考虑，不会将索引属性（如"0"）添加到形状系统中，这就导致了这些属性在序列化时被忽略。

解决方案分析

要解决这个问题，有两条可能的路径：

1. 修改形状系统：让形状系统也包含索引属性，但这会影响性能，特别是对于包含大量数字键的对象
2. 修改序列化逻辑：在to_json()方法中使用own_property_keys()而不是shape().keys()，这样可以获取所有类型的键

从技术角度看，第二种方案更为合理，因为它：

• 保持了形状系统的优化特性
• 符合JavaScript规范要求
• 不会引入额外的性能开销

技术影响

这个修复将确保Boa引擎的JSON序列化行为与ECMAScript规范保持一致，特别是在处理以下情况时：

• 数组类对象的序列化
• 混合使用数字键和字符串键的对象
• 需要精确保留所有属性的场景

结论

Boa引擎团队最终选择了第二种方案，通过修改to_json()方法的实现来正确序列化所有类型的键。这个修复体现了在JavaScript引擎开发中性能优化与规范符合性之间的平衡考量，也展示了Boa引擎持续改进的承诺。