條件表達式由關鍵字 if 開始，然后條件表達式放在一個 () 內，如果條件符合，表達式將會執行： > Conditional expressions come in the form of a leading if keyword, a condition expression enclosed in parentheses () and a expression to be evaluated in case the condition holds: ~~~ if (condition) expression; ~~~ 條件表達式必須為Bool類型。 > The condition expression has to be of type Bool. 可選的，表達式可以后跟 else 關鍵字作為另一個表達式，如果條件不滿足，可以執行else后的表達式： > Optionally, expression may be followed by the else keyword as well as another expression to be evaluated if the condition does not hold: ~~~ if (condition) expression1 else expression2; ~~~ 這里 ，expression2 可以認為是另一個 if 表達式： > Here, expression2 may consist of another if expression: ~~~ if (condition1) expression1 else if(condition2) expression2 else expression3 ~~~ 是否一個 if 表達式的值是必須的，例如，對于 var x = if(condition) expression1 else expression2 ，類型工具確保expression1的類型和 expression2 統一（第3.5節）。如果沒有 else 表達式被給定，類型被推斷為 Void 。 > If the value of an if expression is required,e.g. forvar x = if(condition) expression1 else expression2, the typer ensures that the types of expression1 and expression2 unify (3.5). If no else expression is given, the type is inferred to be Void.