Go slices.Values 如何暴露切片迭代序列：修改可见性与遍历终止

给一段切片做只读遍历时，Go 1.23 的 slices.Values 可以把它变成 iter.Seq，直接交给 range 消费。它省掉了手写索引循环，但返回的不是快照：遍历开始后，底层的“谁在改、什么时候停”仍然决定你看到的结果。

slices.Values(s) 只负责按顺序产出当前切片元素；yield 返回 false 时，序列停止继续产出，切片本身也不会因此被复制。

最小写法：slices.Values 接住一段切片

slices.Values 的签名是 func Values[Slice ~[]E, E any](s Slice) iter.Seq[E]。调用时不需要手写类型参数，返回的 iter.Seq 可以直接放在 range 后面。

package main

import (
    "fmt"
    "slices"
)

func main() {
    names := []string{"Ada", "Lin", "Ming"}
    for name := range slices.Values(names) {
        fmt.Println(name)
    }
}

运行结果仍是 Ada、Lin、Ming 的顺序。这里的关键不是“把切片转换成另一个容器”，而是把切片包装成一个能持续调用 yield 的序列函数。

版本边界：它依赖 range-over-function 语法

iter.Seq 是一个接收 yield 函数的序列约定，调用方可以用 for v := range seq 消费它。这个 range 形式来自 Go 1.23 的 range-over-function 支持，所以项目的 go.mod 和构建环境要与代码目标保持一致。

如果项目仍要兼容更早的 Go 版本，不要只把 slices.Values 换成别的函数名；应保留普通的 for i := range names 循环，或者在升级后再统一改写。迁移检查至少包括编译器版本、go.mod 的 go 行和 CI 镜像。

它不是快照：修改可见性取决于遍历时机

下面的例子先创建序列，再修改切片，然后才开始消费。输出会看到修改后的 Lin-2，因为 slices.Values 没有把元素复制到新切片。

names := []string{"Ada", "Lin", "Ming"}
seq := slices.Values(names)
names[1] = "Lin-2"

for name := range seq {
    fmt.Println(name)
}

因此，多个 goroutine 同时修改 names 并交给另一个 goroutine 遍历并不会自动变安全；这仍然是共享切片的并发访问问题。若业务要求遍历内容固定，先执行 snapshot := slices.Clone(names)，再对 snapshot 建立序列。

提前停止：yield 返回 false 会让 range 结束

序列的生产方每次把一个元素交给 yield。消费方停止接收后，yield 返回 false，生产方应立即停止继续产出。使用标准库提供的序列时，这个停止协议由 range 与序列实现共同完成。

names := []string{"Ada", "Lin", "Ming", "Nora"}
for name := range slices.Values(names) {
    fmt.Println(name)
    if name == "Lin" {
        break
    }
}

这个例子只打印前两个名字。实际工程里，提前停止尤其适合“找到第一个命中项就结束”的读取路径；如果序列来自文件、游标或自定义生成器，则还要确认它在停止后释放自己的资源。

Values、All、Clone 怎么选

一个实用判断是：只在当前切片上顺序读，用 Values；需要索引或要记录原位置，用 All；调用链跨 goroutine、缓存边界或事务边界时，优先先复制再传递。

常见问题

slices.Values 会创建新的切片吗？

不会。它返回的是 iter.Seq，元素仍来自传入切片；需要隔离修改时使用 slices.Clone。

为什么 range 可以遍历 iter.Seq？

因为 Go 1.23 支持 range-over-function，iter.Seq 约定了由序列调用 yield 产出元素的方式。

break 之后还会继续读取切片吗？

对 slices.Values 的普通消费，break 会结束 range；后续元素不会被继续产出。自定义序列若持有资源，还应实现停止后的清理逻辑。

并发修改切片时能用 slices.Values 吗？

不能把它当作同步机制。切片仍需通过锁、消息传递或不可变快照解决并发读写问题。

迁移检查清单

• 确认构建环境支持 Go 1.23 的 range-over-function。
• 确认调用方只需要值，还是还需要索引。
• 确认序列创建后切片是否会被修改；跨边界传递时评估 slices.Clone。
• 对自定义序列检查 yield 返回 false 后的资源清理。

把 slices.Values 看成“延迟产出切片元素的序列适配器”，就不会误以为它完成了复制、并发保护或资源托管。真正需要迁移的地方，通常就在这三个边界上。