Go slices.Collect 为什么会改变内存预期：迭代器消费与结果切片边界

把 iter.Seq 接到业务切片时，最容易出现的误判不是“收集失败”，而是把空值、容量和元素引用当成同一种内存问题。slices.Collect 的结论很明确：它把序列收集到一个新切片，序列为空时返回 nil；至于扩容后的 cap，不要当成可移植契约。

slices.Collect 的返回值为什么有时是 nil

Go 1.23 的 slices 包把 iter.Seq 和切片操作接了起来。官方实现里的 Collect 等价于从 []E(nil) 开始调用 AppendSeq，因此序列一次也没有产出时，结果保留为 nil：

empty := func(yield func(string) bool) {}
items := slices.Collect(empty)

fmt.Println(items == nil) // true
fmt.Println(len(items))   // 0

这两个判断都成立，但在 JSON、缓存协议或数据库参数中可能代表不同含义：nil 常被编码成 null，非 nil 的空切片才更接近 []。这里说的 nil slice 是 API 的空结果语义。如果调用方只关心“有没有元素”，检查 len 就够了；如果协议要求数组形状，应在边界处显式把 nil 转成空切片。

容量增长和元素别名要分开判断

Collect 返回的新切片会通过 append 增长。它没有承诺“收集 5 个元素就得到 cap 为 5”或某个固定增长倍数；不同 Go 版本、元素大小和运行时策略都可能改变容量。因此测试应关注元素内容、长度和 nilness，不要把 cap(items) 写进稳定快照。

“新切片”也不等于“深拷贝所有对象”。例如 iter.Seq[*Record] 产生的是指针，Collect 只复制指针值，结果与生成器仍能指向同一个 Record。如果业务要求完全隔离，要复制 Record 本身；如果只需要一份指针列表，保留这种别名反而更直接。

迭代器被消费后，真正需要复查哪些边界

iter.Seq[E] 本质上是接收 yield 函数的函数。Collect 用 for range 消费它，再把每个值追加到结果中；它没有额外的回放缓存。生成器如果读取文件、随机源或一次性句柄，第二次调用可能得到不同结果，甚至无法再次调用。

type Record struct{ ID int }

var source = []*Record{{ID: 7}}
seq := func(yield func(*Record) bool) {
    for _, r := range source {
        if !yield(r) { return }
    }
}
got := slices.Collect(seq)
got[0].ID = 8
// source[0].ID 也会变成 8：切片新了，Record 没有深拷贝。

所以“能不能再收集一次”与“结果是否独立”是两道题。可重放的纯内存生成器通常每次重新产出；一次性资源则应在外层缓存结果。需要把已有切片和新序列合并时，slices.AppendSeq(dst, seq) 更能表达“追加到现有容器”的意图。判断引用时要回到 源数据：结果切片换了，不代表它指向的业务对象也换了。

用语义断言替代容量快照

回归测试可以拆成四组：空序列验证 result == nil；单值和多值验证顺序与内容；指针序列单独验证是否需要深拷贝；重复调用则验证生成器是否可重放。示例断言应表达业务承诺：

if got := slices.Collect(empty); got != nil {
    t.Fatalf("empty Collect = %#v, want nil", got)
}
got := slices.Collect(values)
if !slices.Equal(got, want) {
    t.Fatalf("Collect = %v, want %v", got, want)
}

若接口必须输出空数组，使用 if got == nil { got = []T{} } 这样的边界转换，别去改变 Collect 的基础语义。若需要控制目标切片的已有容量，使用 AppendSeq 并由调用方管理 dst；这比依赖运行时的扩容数字可靠。

常见问题

slices.Collect 会修改原来的切片吗？

对值元素，结果切片的元素存储与源切片分开；但如果元素是指针、切片或包含引用字段的结构体，内部对象仍可能共享。

为什么 len 为 0 还要区分 nil？

因为协议编码和业务约定可能把 nil 表示成 null，把非 nil 空切片表示成空数组。是否转换应由接口边界决定。

可以用 cap 判断 Collect 是否预分配了吗？

不建议。容量增长不是该 API 的稳定承诺，测试应检查结果内容、长度、nilness 和明确的别名要求。

需要核对版本差异时，可直接查看 Go 官方的 Go 1.23 发布说明、slices.Collect 文档以及对应的 标准库实现。