Go slices.AppendSeq 怎样把迭代器追加到已有切片

把 Go 迭代器追加到已有切片，使用 dst = slices.AppendSeq(dst, seq)。它保留原有前缀，按序列实际产出的顺序追加，并返回扩展后的切片。关键是接回返回值，同时确认序列有限、元素类型匹配；它不会自动去重、排序或隔离底层数组。

官方文档地址：https://pkg.go.dev/slices

已有前缀时，我不再先收集一份中间切片

假设一个配置装配函数已经放入系统项，后续名称来自按条件筛选的迭代器。需求不是“得到一份全新列表”，而是“把产出继续放进已有结果”。对这种场景，我更愿意让 AppendSeq 表达追加意图，不先 Collect 到另一个切片再合并。

这不是一份线上性能复盘。直接追加可以避免代码显式维护那份中间集合，但不能据此宣称固定减少几次分配、内存下降多少或一定更快。生产者闭包、元素类型、目标容量和最终数据量都会影响代价，实际收益需要在具体项目里测量。

AppendSeq 自 Go 1.23 加入标准库。下面代码使用 iter.Seq 和相应切片辅助函数，要求 Go 1.23 或更新版本；旧工具链不能仅靠增加 import 就获得它。

用一个有限序列追加，始终接回返回值

示例把已有前缀和名称序列交给追加函数；序列中的产出回调负责提供值，函数返回结果切片，结果由调用方变量接回。这几个对象区分开以后，“为什么调用了却没有变长”就容易解释。

package main

import (
    "fmt"
    "iter"
    "slices"
)

// enabledNames 提供可重复遍历的有限序列，顺序来自输入切片。
func enabledNames(names []string) iter.Seq[string] {
    return func(yield func(string) bool) {
        for _, name := range names {
            if name == "" {
                continue // 空名称不进入结果。
            }
            if !yield(name) {
                return // 消费者停止时必须结束产出。
            }
        }
    }
}

func main() {
    // 先保留系统项，再追加有效名称；容量只是本例的预留值。
    names := make([]string, 1, 4)
    names[0] = "system"
    seq := enabledNames([]string{"alpha", "", "beta"})
    names = slices.AppendSeq(names, seq) // 必须接回更新后的切片。
    fmt.Println(names)
}

按代码语义推演，结果元素应为 system、alpha、beta；本文没有运行程序，不把这一推演冒充实测输出。空名称由生产者排除，AppendSeq 本身不负责筛选。输入改为 beta、alpha，追加部分也随之改变，不会替你排序。

最容易漏掉的是赋值。切片参数不是调用方变量的引用：即使复用了同一数组，调用方原变量的长度也不会因为一个未接回的返回值自动增长。若容量不足导致换数组，忽略返回值还会让新增数据所在的切片丢失。把接回返回值当成调用约定，不要依赖当前 cap 恰好够用。

另一个类型差异是 slices.Values 产出单个元素，而 slices.All 产出索引和值的双值序列。AppendSeq 接收单值 iter.Seq，不是任意双值序列；如果已有索引和值，需要明确选择哪一个进入结果。

nil 切片、空序列和 nil 函数不是一回事

nil 切片是正常的追加起点。空序列则是调用后没有产出任何元素的迭代器；文档明确约定，空序列追加时保留输入切片的 nil 状态。

// 放在已导入 slices 的函数内；空序列仍是可调用函数。
empty := func(yield func(int) bool) {}
var a []int
a = slices.AppendSeq(a, empty) // a 仍为 nil。
b := make([]int, 0)
b = slices.AppendSeq(b, empty) // b 仍是非 nil 空切片。

相反，var seq iter.Seq[int] 得到的是 nil 函数值，不是“合法但零元素”的序列。AppendSeq 会遍历它，不能把它当作可用的空输入。若业务允许缺省序列，调用边界先判断 nil，或显式构造一个立即返回的函数；不要让缺省语义靠 panic 来表达。

还应区别可重复遍历与单次使用。上面的 enabledNames 每次遍历都从切片开头开始，但来自不可回退数据流的序列可能只能使用一次。为了估算长度先完整遍历再 AppendSeq，可能在真正追加时已经没有值可取。是否可重复调用，应以生产者的契约为准。

容量可以复用，所有权却不会自动隔离

我会把切片描述、底层数组和剩余容量分别考虑。追加可能写入原数组的剩余空间，因此共享别名仍可能观察到变化。若需要独立副本，克隆涉及元素引用的复制深度也必须讲清楚。

// 放在已导入 slices 的函数内；两个切片共享同一底层数组。
backing := []int{7, 99, 99, 99}
dst := backing[:1]
tail := slices.Values([]int{8, 9})
dst = slices.AppendSeq(dst, tail)
// 按语义推演：backing 的前3项成为 7、8、9；其长度仍为4。
_ = dst

// 如需保护原前缀的顶层数组，先克隆，再追加新的可遍历序列。
prefix := []int{7}
isolated := slices.Clone(prefix)
isolated = slices.AppendSeq(isolated, slices.Values([]int{8, 9}))
_ = isolated

第一段特意让容量足够，说明复用会写到哪里；它不是建议保留一份带哨兵值的业务数组。第二段克隆保护的是顶层元素存储。若元素是指针、map 或包含切片的结构，复制元素仍可能保留对内部对象的引用，不等于深拷贝。

我不会把 cap 的增长比例写进业务协议。容量不足时需要容纳原元素与新增元素，至于新容量具体是多少，不应作为跨版本稳定结果。可以在可靠掌握新增数量时预留空间，但未知长度序列不值得为了预分配而无条件遍历两遍。

生产者如果读取的正是目标切片的共享数组，还要检查是否会读到追加修改过的元素。不要把普通 append 对重叠切片的讨论，直接扩大成任意带副作用迭代器的正确性保证。并发访问同一切片或共享元素也需要额外同步，AppendSeq 没有提供锁。

结果规模变大以后，先决定是否真的要收集

AppendSeq 会消费序列并把值存入内存，它不是后台任务或按需返回的视图。序列无限、阻塞或每次产出都等待远端响应时，追加就可能不返回。结果最终规模过大时，去掉中间切片也没有消除最终集合本身的内存成本。

iter.Seq 本身只描述值的产出，不自带 error 返回通道。生产者可能通过其他方式报告失败，而 AppendSeq 不会替你统一这些方式。若要求失败时完全不改变原集合，需要先设计暂存和提交策略，不能把追加当作事务；发生 panic 前已复用数组写入的部分，也不会自动回滚。

后续接入项目时，我会观察结果长度、容量、总分配和生产者耗时，并分别考虑空序列、nil 起点、容量充足与不足、单次生产者等情况。这些是读者可做的测量与测试建议，不是本文已经完成的上线数据。

相关问题

AppendSeq 会去重吗？不会；序列产出重复值就追加重复值。去重规则属于生产者或额外处理。

nil 切片追加非空序列后仍是 nil 吗？不是。保留 nil 状态的约定针对空序列，不针对所有序列。

结果总是新切片数组吗？不是。不要把返回一个切片值误认为保证了全新的底层存储。

名称顺序能保证固定吗？本例顺序来自输入切片；对任意序列，只能依赖该生产者定义的顺序，不能由 AppendSeq 推导更强保证。

对我来说，采用它的理由是让“已有结果继续收集”的职责更直接，而不是把一行函数当作性能捷径。接回返回值、尊重生产者寿命、明确数组和元素的所有权，这三点比少写一个循环更重要。

参考：slices.AppendSeq 文档；iter 的序列约定；Go 官方切片迭代器实现；Go 切片追加规范。