控制流

条件

变量 年龄 = 15;
如果 (年龄 >= 18) {
    IO.打印行("成年");
} 否则 {
    如果 (年龄 >= 12) {      // else-if 用嵌套：否则 { 如果 ... }
        IO.打印行("少年");
    } 否则 {
        IO.打印行("儿童");
    }
}

没有 否则 如果 连写的 else-if 链——否则 后只能跟块，多级分支写嵌套 否则 { 如果 ... }。

当循环（while）

变量 计数 = 0;
当 (计数 < 5) {
    IO.打印(计数);
    计数 = 计数 + 1;
}

对于循环（for，数组遍历）

变量 数列 = [10, 20, 30];
对于 x 在 数列 {
    IO.打印(x);
}
对于 n 在 [1, 2, 3] { IO.打印(n); }   // 字面量也行

没有 0..10 区间语法（解析报错）；计数循环用 当。

跳出 / 继续

变量 i = 0;
当 (i < 10) {
    i = i + 1;
    如果 (i == 3) { 继续; }    // continue
    如果 (i > 6) { 跳出; }     // break
    IO.打印(i);
}

跳出/继续 自 2026.07.03 起完整可用：当 与 对于 循环体内均有效，嵌套循环只作用于最内层，循环体外使用是编译错误。循环 {} 无限循环关键字保留但未实现，用 当 (真)。

匹配（模式匹配）

自 2026.07.03 起可用。分支体是块，块尾分号可选；匹配只能作语句，不能放在 变量 x = 匹配 ... 表达式位置：

变量 n = 101;
匹配 n {
    1 => { IO.打印行("壹"); }
    k 如果 k > 100 => { IO.打印行("大数"); }   // 守卫 + 变量绑定
    _ => { IO.打印行("其他"); }
}

支持整数/浮点/布尔/字符/字符串字面量分支、守卫、_ 通配、变量绑定兜底。不支持结构体解构与或模式 2 | 3（会编译报错而非静默）。