Go slices.Collect 空迭代器返回 nil 的接口处理方案

使用 Go 1.23 及以上的 slices.Collect 收集一个不产生元素的 iter.Seq 时，返回值是 nil 切片。它的 len 是 0，但和 []E{} 的语义并不完全相同：前者适合表达“没有结果”，后者更适合要求稳定返回数组的 JSON 或公共接口。真正要修正的不是 Collect，而是先确定调用方的返回契约。

官方文档：https://pkg.go.dev/slices#Collect

Go slices.Collect 空迭代器为什么得到 nil 切片

Collect 的职责是把 iter.Seq[E] 的元素收集到一个新切片。如果序列一次也没有调用 yield，它没有元素可追加，文档规定结果为 nil 切片。nil 切片仍然可以安全地调用 len、range 和 append，所以很多代码只看长度时不会发现差异。

差异通常在边界层暴露出来：result == nil 可以区分两种状态；JSON 编码时 nil 切片通常表现为 null，非 nil 空切片表现为 []。因此，“长度为空”和“协议要求数组”是两个问题。

用三种判断确认结果状态

下面的最小示例故意让序列不产生任何元素，同时打印长度、nil 判断和 JSON 结果。代码中的注释说明了每个观察点，不把输出误认为运行截图。

package main

import (
    "encoding/json"
    "fmt"
    "slices"
)

func main() {
    empty := func(yield func(int) bool) {
        // 空序列不调用 yield，因此 Collect 得到 nil 切片。
    }
    values := slices.Collect(empty)
    body, _ := json.Marshal(values)

    // len 只能说明元素数量，不能区分 nil 与非 nil 空切片。
    fmt.Println(len(values), values == nil, string(body))

    // 公共 JSON 接口要求数组时，显式转换成非 nil 空切片。
    if values == nil {
        values = make([]int, 0)
    }
    body, _ = json.Marshal(values)
    fmt.Println(len(values), values == nil, string(body))
}

这里的关键判断顺序是：先用 == nil 识别语义，再决定是否转换。不要仅凭 len(values) == 0 就把“无数据”和“空数组”混为一谈。

接口返回和 JSON 契约怎么选

切片装入接口后，接口值由动态类型和动态值共同组成。即使动态值是 nil 切片，动态类型仍是 []int，所以接口本身不等于 nil。这是公共函数返回 any、日志字段或统一响应包装器里最容易误判的地方。

func collectForJSON(seq iter.Seq[int]) []int {
    values := slices.Collect(seq)
    if values == nil {
        // 把“没有元素”归一化为协议要求的空数组。
        return make([]int, 0)
    }
    return values
}

func collectAsAny(seq iter.Seq[int]) any {
    values := slices.Collect(seq)
    // typed nil slice 放入 any 后，any 的动态类型仍然存在。
    return values
}

如果接口约定允许 null，保留 Collect 的原值更简单；如果前端、SDK 或文档明确要求数组，就在边界处统一处理，不要让每个调用方各自猜测。

需要非 nil 空切片时的两种处理方式

第一种是收集后归一化，适合只在少数出口返回 JSON 或公共 API。第二种是从非 nil 目标开始追加，让“空结果”从一开始就拥有数组语义：

func collectNonNil(seq iter.Seq[int]) []int {
    result := make([]int, 0)
    // 目标切片先创建，所以即使 seq 为空，返回值也不是 nil。
    return slices.AppendSeq(result, seq)
}

两种方式都不会凭空产生元素。选择时看边界：内部计算通常保留 nil 更省事，序列化和跨服务返回通常归一化为非 nil 空切片。还要确认 go.mod 的工具链至少支持 Go 1.23，否则 slices.Collect 和函数迭代器写法都不能直接使用。

相关问题

slices.Collect 返回 nil 会导致 range panic 吗？

不会。nil 切片可以安全 range，循环次数为 0；只有业务协议把它误当成非 nil 数组时，才会在 JSON 或接口层出现差异。

为什么不直接用 len 判断空结果？

因为 nil 切片与非 nil 空切片的长度都为 0。需要区分两者时使用 values == nil，再按接口契约选择是否归一化。

空迭代器能不能直接返回 []int{}？

可以，但要显式创建非 nil 空切片，例如 make([]int, 0)；不要依赖 Collect 自动把空序列变成 []。