Zero While 循环：智能体优先语言中的迭代

基础用法

只要 bool 条件保持为 true，while 就会一直执行循环体：

while condition {
    // body
}

编译器在每次迭代前计算条件：

• true：执行循环体，然后再次检查。
• false：退出循环。

下面是 Zero 示例中的一个简单演示，它的条件一开始就是 false：

pub fun main(world: World) -> Void raises {
    while false {
        check world.out.write("unreachable\n")
    }
    check world.out.write("countdown done\n")
}

运行它，只有第二个 write 会执行。while 的循环体一次也不会运行，因为第一次检查时条件就是 false。

条件必须是 bool

和 if/else 一样，循环条件必须是 bool。Zero 不会把整数、字符串或其他值隐式转换为布尔值。

while count {              // compile error
    // ...
}

while count > 0 {          // OK
    // ...
}

条件可以是任何结果为 bool 的东西：一个绑定、一个比较、一个 &&/|| 组合，或者一个函数调用。if 的规则在这里同样适用。

计数循环

经典的“把某件事做 N 次”的写法，用的是一个计数器加一个 while：

let mut i = 0
while i < 10 {
    // do work
    i = i + 1
}

三个部分：初始值、与上限比较的条件，以及循环体中的更新。每一门命令式语言都有这种写法，Zero 只是没有用 for 关键字把它包装起来。

关于上面 mut 的写法：在 1.0 之前的版本中，你的工具链里可变绑定的写法可能有所不同。对一个小测试运行 zero check --json，确认你的编译器接受的确切语法。概念上的模式（计数器 + 条件 + 更新）才是稳定的部分。

无限循环

条件始终为 true 的 while 会永远运行下去：

while true {
    // wait for work, handle it, loop again
}

这正适合事件循环、REPL 或长时间运行的服务器。要退出，你可以终止进程、从循环体中抛出错误，或者调整结构让条件不再成立。

什么时候该用循环

循环是一种应该少用的工具。在其他语言里看起来像循环的东西，在 Zero 中往往有更简洁的写法：

• 遍历固定的集合： 优先使用标准库或你的 shape 提供的函数，比如 forEach 式的辅助函数、折叠函数或递归遍历。
• 一直读取到输入结束： 对可能失败的读取操作做循环，但用 check 和 raises 干净地处理边界，而不是嵌套一堆状态标志。
• 轮询某个条件： 想一想设计上是否应该直接给你一个信号。在任何系统语言中，轮询循环都是一种坏味道。

对智能体来说也是同样的道理：无论是对人类还是对代码生成器，紧凑的声明式写法都比手写的计数循环更容易推理。

循环与副作用

和其他代码块一样，while 循环体也可以做 I/O，但前提是它能访问 World 能力对象（或其中一部分）。签名中没有提到 World 的函数可以随意循环，但无法向外部写入任何东西。这个性质在循环体内同样成立：循环不会授予任何新的能力。

这听起来理所当然，但正因为如此，你可以在“纯”计算函数中放一个 while，并且仅凭签名就能确定它不会打印任何内容，也不会写入磁盘。

风格建议

几个小习惯，回报很高：

• 让条件一目了然。如果条件本身在做实质性的工作，就把它提取成一个有名字的函数或绑定，让循环读起来更清楚。
• 在循环体的末尾更新计数器，不要分散在各处。这样更容易发现差一错误。
• 优先把提前退出的条件写成循环本身的条件，而不是在迭代中途翻转标志。需要关注的变化越少越好。

下一步：Shape

你现在已经见过 Zero 的核心控制流了。下一章讲的是数据建模，从 shape 开始，也就是 Zero 中类似结构体的积类型。