Go slices.Chunk 返回的切片为什么共享底层数组

先说结论：slices.Chunk 返回的是源切片的连续子切片视图，不会为每个分块复制元素。因此，直接给某个 chunk[i] 赋值，源切片对应位置也会变化；但 Go 标准库同时把每个分块的容量限制为它的长度，所以对分块执行 append 时不会沿着原切片的备用容量继续写。

这个 API 从 Go 1.23 开始提供。它的返回值是 iter.Seq[Slice]，适合直接用 for range 逐块处理。理解“元素共享”和“追加隔离”这两个结论，就不会把 Chunk 误认为深拷贝工具。

先确认 Chunk 的输入和边界

slices.Chunk(s, n) 按连续位置切出最多 n 个元素的子切片，最后一块可以更短。空源切片不会产生一个空分块，n 小于 1 会触发 panic。最小用法如下：

package main

import (
    "fmt"
    "slices"
)

func main() {
    source := []int{10, 20, 30, 40, 50}

    // 每块最多放两个元素，最后一块可以不足两个。
    for chunk := range slices.Chunk(source, 2) {
        fmt.Println(chunk)
    }
}

这段代码得到的分块逻辑上是 [10 20]、[30 40]、[50]。它们是同一份源数据的不同切片视图，遍历本身不会复制元素。

为什么直接改 chunk 会影响原切片

Go 切片本身只是描述数组区间的视图。Chunk 产出的每个分块仍然覆盖源切片的一段元素，所以通过分块下标写入，修改的是同一个底层数组：

source := []int{10, 20, 30, 40, 50}

for chunk := range slices.Chunk(source, 2) {
    // 这里只修改当前分块的第一个元素，也会改变 source 对应位置。
    chunk[0] += 1
}

fmt.Println(source) // [11 20 31 40 51]

因此，适合把 Chunk 当作只读分区来传给处理函数；如果处理函数会就地改元素，就要把这种共享关系写进接口约定。slices.Chunk 本身没有承诺返回独立副本。

为什么 append 不会反写原切片

这里有一个容易忽略的保护：标准库实现使用三下标切片表达式，把每个分块构造成 s[i:i+end:i+end]。这会让分块的 cap 等于 len。所以分块仍共享已有元素，但没有可供 append 复用的额外容量：

source := []int{1, 2, 3, 4}

for chunk := range slices.Chunk(source, 2) {
    // 追加会因 cap == len 而分配新的数组，不会改写 source 的尾部。
    chunk = append(chunk, 99)
    fmt.Println(chunk)
}

fmt.Println(source) // [1 2 3 4]

这不是“完全不共享”的意思：chunk[0] = 9 仍会影响 source。准确的说法是：已有元素共享，追加容量被隔离。第二张图把这两个边界放在一起：

需要独立分块时使用 Clone

如果分块要交给会修改数据的逻辑，或者要在源切片后续变化时保持分块快照，可以对每块做浅拷贝：

source := []int{1, 2, 3, 4}
independent := make([][]int, 0, 2)

for chunk := range slices.Chunk(source, 2) {
    // Clone 复制当前块的元素，让顶层 []int 不再共享底层数组。
    independent = append(independent, slices.Clone(chunk))
}

independent[0][0] = 99
fmt.Println(independent) // [[99 2] [3 4]]
fmt.Println(source)      // [1 2 3 4]

slices.Clone 是浅拷贝。如果元素本身是指针、切片、map 或包含引用字段的结构体，复制的只是外层元素值；这些元素指向的对象仍可能共享。要不要深拷贝，应由元素类型和业务所有权决定。

并发处理时怎样选

多个 goroutine 只读不同分块时，共享底层数组通常没有问题；只要有一个 goroutine 写入元素，就需要同步，或者先为每个分块 slices.Clone。不要因为 append 通常会分配新数组，就误以为对共享元素的赋值也安全。

常见问题

Chunk 返回的是二维切片吗？

不是。它返回一个迭代器，迭代器的每个元素才是一个切片。需要保存时，可以把每个分块追加到外层切片；保存的是切片视图，想保存快照则同时调用 slices.Clone。

把 chunk 传给函数后还能修改 source 吗？

可以，但函数看到的是同一底层数组上的对应区间。只读处理应保持只读约定；若两边存在并发写入，必须同步或复制，不能依赖 Chunk 的 cap 限制来解决数据竞争。

总结：slices.Chunk 的设计是“共享已有元素、限制追加容量”。读懂这个组合后，就能在低开销分块、原地处理、并发只读和独立快照之间做出明确选择。