8.3.3 If表达式

本小节详细的描述了if表达式。图8.4展示了if表达式的机构。

图8.4 Abstract syntax metamodel for if expression

IfExp

IfExp根据所执行的条件值会产生两条分支表达式中的一个。注意，thenExpression和elseExpression都是必须的。背后的原因是if表达式总要产生一个值，而这在else部分缺失的情况下是无法保证的。