分支结构

本章导读

前面七章写的程序都是"一条道走到黑"：从第一行执行到最后一行。真实程序处处是岔路——成绩够不够及格？用户输入合不合法？var 里装的到底是数字还是文本？本章学习 xlang 的分支结构：if / then / elseif / else / end。

xlang 的分支语法讲究"显式收尾"：每个 if 块必须以 end 结束，多路分支用 elseif 一个词（不是两个词），条件表达式必须严格是 bool——没有 C 家族"非零即真"的潜规则。这些纪律初学时略显啰嗦，换来的好处是：分支边界永远肉眼可见，条件永远不存在歧义。

8.1 if 基本形态

最简单的分支：条件成立就执行一段代码。

int temperature = 38

if temperature >= 37 then
    println("发热，请休息")
end

三个要点：if 后面是条件表达式；then 标志条件部分结束、分支体开始；end 关闭整个 if 语句。分支体必须另起一行——then 后面同一行直接写语句是语法错误（见坑 4）。

两路分支加 else：

int age = 17

if age >= 18 then
    println("成年人")
else
    println("未成年人")
end

结构上：else 没有自己的条件，它收编"前面所有条件都不成立"的剩余情况。一个 if 语句里 else 最多出现一次，且必须在 end 之前。

8.2 elseif 多路分支

三路及以上用 elseif——注意是一个词，写成 else if 是语法错误（见坑 1）：

int score = 86

if score >= 90 then
    println("优秀")
elseif score >= 75 then
    println("良好")
elseif score >= 60 then
    println("及格")
else
    println("不及格")
end

求值规则：从上往下逐个检查，命中第一个真条件就执行对应分支，然后整条语句结束——后面的条件不再求值。上例 86 分命中第二个条件（>= 75），"及格"分支的条件根本没被检查。

这条"短路"规则带来一个实用推论：条件顺序就是优先级。把最严格、最特殊的条件放前面，把兜底的放后面。上例若把 score >= 60 排到最前，86 分会被误判为"及格"——条件本身没错，顺序错了。

8.3 条件必须是 bool

C 语言里 if (n) 合法，0 为假、非零为真。xlang 明确拒绝这套"真值（truthy）"潜规则：if/elseif 的条件表达式的类型必须是 bool，否则编译期 [sem] 报错：

数字、字符串、null 都不能直接当条件。想表达"非零""非空""有值"，就写出来：

int count = 3
if count != 0 then          // 显式比较，而不是 if count
    println("有库存")
end

var name = "xlang"
if name != null then        // 显式判空，而不是 if name
    println(name as string)
end

复杂条件用第 6 章的 and / or / not 组合，它们同样要求两边都是 bool，且短路求值：

int score = 86
if score >= 80 and score % 2 == 0 then
    println("80+ 且为偶数")
end

初看繁琐，实则受益：if count != 0 把意图写在明处，读者不用猜"这个 if 到底在判断什么"。这也是 xlang"显式优于隐式"设计哲学的又一体现（第 3、7 章的转换规则同源）。

8.4 嵌套与块级作用域

分支体里可以再写 if，层数不限：

int a = 3
int b = 7
if a > 0 then
    if b > 5 then
        println("both")
    else
        println("only a")
    end
end

每个分支体都是一个块，遵守第 4 章确立的块级作用域规则：块内声明的变量只属于这个块，出了 end 立即失效：

这条规则常常塑造代码结构：想在分支之后还用某个值，就要在 if 之前声明好，分支内只负责赋值：

string level          // 先声明（第 4 章：声明可不带初始化）
int score = 86
if score >= 60 then
    level = "通过"     // 块内只赋值
else
    level = "未通过"
end
println(level)         // 块外可用

8.5 is 条件模式

第 7 章的 is 放进 if 条件里，就是处理 var 值的标准姿势——先判断、后取出：

var v = 42
if v is int then
    int n = v as int          // is 确认过，as 才安全
    println("int: " + string(n))
end

var s = "hi"
if s is string then
    println("string: " + (s as string))
end

回忆第 7 章坑 3：as 失败是 fatal，进程直接终止且无法捕获。所以 is + as 必须成对出现——is 是安检门，as 是取货窗。注意 xlang 当前不做"控制流类型收窄"：进入 if v is int 的分支后，v 的类型仍是 var，不会自动变成 int，该写的 as 一次不能少。

8.6 三元 vs if 的选型

第 6 章学过三元表达式 cond ? a : b。它与 if 语句的分工很清晰：

int x = 7
string tag = x % 2 == 0 ? "even" : "odd"   // 取值：三元一步到位
println(tag)

if x > 100 then                          // 做事：用 if 语句
    println("big")
    println("really big")
end

一句话：值用三元，动作用 if；两个分支以内考虑三元，三个以上必须 if/elseif。

8.7 if 与 return 的配合

函数体内，if 常与 return 搭档写成"守卫子句（guard clause）"：异常情况先检查、先返回，主逻辑保持在最浅缩进：

func grade(int s) as string
    if s >= 90 then
        return "A"
    elseif s >= 60 then
        return "B"
    else
        return "C"
    end
end

println(grade(92))
println(grade(70))
println(grade(30))

函数将在第 11 章系统讲解，这里只需记住模式：func 名(参数) as 返回类型 ... end，分支内 return 立即结束函数。当每个分支都 return 时，整条 if 语句就是函数的"分拣器"。

深入细节

⚠️ 常见错误

以下报错全部来自真实编译器输出（文件路径已缩短）。

本章小结

复习题

编程练习