Rhino引擎中空值合并运算符的执行机制解析

问题背景

在JavaScript的ECMAScript规范中，空值合并运算符（??）是一个常用的逻辑运算符，用于在左侧表达式结果为null或undefined时返回右侧表达式结果。根据ECMAScript规范要求，该运算符应当仅对左侧表达式进行一次求值。然而，在Mozilla的Rhino JavaScript引擎实现中，发现了一个不符合规范的行为。

技术细节分析

规范要求

根据ECMAScript 262规范第13.12节明确规定：

1. 首先对左侧表达式(CoalesceExpressionHead)进行一次求值(Evaluation)
2. 获取该值(GetValue)
3. 只有当该值为null或undefined时，才会对右侧表达式(BitwiseORExpression)进行求值
4. 整个运算过程保证左侧表达式仅被求值一次

Rhino的实现问题

在Rhino引擎的当前实现中，生成的抽象语法树(AST)结构会导致左侧表达式被多次求值。具体表现为：

• 生成了一个包含三元条件运算符(HOOK)的结构
• 在判断条件中重复调用了函数表达式
• 这种实现方式违反了规范中"单次求值"的核心要求

问题示例

对于表达式f() ?? 42，Rhino生成的AST结构类似于：

VAR
    NAME eval1
        HOOK
            OR
                SHEQ
                    NULL
                    CALL(f)
                SHEQ
                    undefined
                    CALL(f)
            NUMBER 42
            CALL(f)

这种结构会导致函数f()被调用三次，明显不符合规范。

技术影响

1. 性能问题：重复的函数调用会导致不必要的性能开销
2. 副作用问题：如果函数包含副作用，多次调用会产生意外行为
3. 规范合规性：与ECMAScript标准不一致，可能导致跨引擎行为差异

解决方案方向

修复此问题需要重构AST生成逻辑，确保：

1. 左侧表达式仅被求值一次
2. 结果值被临时存储
3. 后续判断基于存储的值进行
4. 保持原有短路求值特性

总结

Rhino引擎在处理空值合并运算符时出现的多次求值问题，是一个典型的规范实现偏差案例。这类问题的修复不仅关乎性能优化，更是确保JavaScript代码在不同引擎中行为一致性的重要工作。理解这类底层实现细节，对于深入掌握JavaScript引擎工作原理具有重要意义。