F#中yield关键字的作用是什么？为何列表推导可省略它？

你观察到在F#的列表/数组推导里，带yield和不带yield的写法都能正常运行，这是因为在单表达式的简单推导场景下，F#允许省略yield关键字，但yield本身有着更关键、更灵活的用途：

1. 明确标记多分支/多输出的返回项 #

当推导逻辑包含条件判断、循环嵌套，或者需要多次输出元素时，yield是必须的——它用来明确告诉编译器：这个表达式的结果要加入到最终的集合里。比如：

[ for x in 1..10 do
    if x % 2 = 0 then
        yield x          // 加入偶数本身
        yield x * 2 ]    // 加入偶数的两倍

这段代码会生成包含2,4,4,8,6,12...的列表，要是去掉yield，语法直接报错，因为F#无法判断你要把哪些值加入集合。

2. 配合do绑定实现带副作用的逻辑 #

在推导过程中，你可能需要先执行一些非返回的逻辑（比如打印日志、中间计算），再返回结果。这时候yield能帮你区分“执行逻辑”和“返回元素”：

[ for x in 1..5 do
    let squared = x * x
    printfn "正在处理%d，平方值为%d" x squared  // 执行副作用逻辑
    yield squared ]  // 明确返回平方值到列表

如果省略yield，F#会把printfn的返回值（unit类型）加入列表，这显然不是你想要的结果。

3. 实现序列的惰性求值 #

当你用seq { ... }创建序列时，yield是实现惰性求值的核心——序列里的元素不会一次性全部生成，而是在被访问时才逐个计算。比如：

let infiniteSeq = seq {
    let mutable i = 0
    while true do
        yield i  // 每次访问时生成下一个元素
        i <- i + 1
}

这个无限序列只有在你遍历它的时候才会动态生成元素，没有yield的话根本无法实现这种惰性生成的逻辑。

4. 让代码风格更清晰一致 #

即使在简单场景下可以省略yield，显式写出它也能让代码的意图更明确，尤其是团队协作时，阅读者能一眼看出哪些是要加入集合的元素，避免歧义。

内容的提问来源于stack exchange，提问作者Brian