分枝

所有分支表达式都可以返回已计算的表达式。这意味着可以将分支结果分配给变量。在这种情况下，可以通过成功条件测试评估的所有表达式都必须传递类型统一。如果没有给出 else 表达式，则推断类型为 Void。