Go slice alias full slice expression 如何限制 append 覆盖

当两个 Go 切片共享同一个底层数组时，直接对其中一个别名执行 append，可能把数据写进另一个切片“看得见”的位置。要限制这种覆盖，关键不是复制整段数据，而是在交接别名时使用 full slice expression：s[:len(s):len(s)]，把新切片的 cap 收紧到 len。容量没有可增长空间后，后续 append 会转到新的底层数组。

官方规范：https://go.dev/ref/spec

三下标切片 a[low:high:max] 会把结果容量设为 max-low。最常见的防护写法是 bounded := s[:len(s):len(s)]，但它只限制 bounded 自己的 append，不能阻止其他别名直接修改共享元素。

为什么普通切片别名会被 append 影响

切片值可以理解为指向底层数组的描述信息，至少包含指针、长度和容量。假设有一段容量为 6 的切片，只把它缩短到长度 2，并不会消除后面 4 个元素的存储空间：

items := make([]int, 2, 6)
items[0], items[1] = 10, 20

alias := items[:2]
// alias 仍然拥有底层数组尾部的可用容量，append 可能复用这段空间。
alias = append(alias, 30)
fmt.Println(items, alias) // [10 20] [10 20 30]

这里的关键不是 items 的长度变了，而是 alias 的容量允许它继续写入底层数组。若另一个切片后来把同一数组的第三个元素纳入自己的长度范围，就能观察到这个追加值。换句话说，是否覆盖要看“共享存储 + 可用容量 + 追加位置”三个条件，不能只看变量名。

用 full slice expression 把容量收紧

完整切片表达式的形式是 a[low:high:max]。结果的长度仍为 high-low，但容量变成 max-low。如果从下标 0 开始，并让 max 等于当前长度，就能让结果满足 cap == len：

func boundedView(s []int) []int {
    // 第三个下标把容量封在当前长度，避免调用方的 append 写入共享尾部。
    return s[:len(s):len(s)]
}

source := make([]int, 2, 6)
source[0], source[1] = 10, 20
view := boundedView(source)

// view 没有多余容量，追加值会进入新的底层数组。
grown := append(view, 30)
fmt.Println(source, view, grown) // [10 20] [10 20] [10 20 30]

这里需要注意赋值关系：append 可能返回一个新的切片值，所以要接住返回结果。封口保护的是 view 这条增长路径；grown 的新数组与 source 的原数组分开后，修改 grown[0] 不会再回写 source[0]。

在函数交接处建立切片边界

这类写法适合把内部缓冲区的一段视图交给不应继续占用尾部容量的函数。可以把“只读范围”和“可扩展范围”明确区分：

如果接收方只是需要读取一段数据，封口可以降低误用风险；如果接收方需要修改元素，封口并不能让修改变成安全副本。需要完全隔离时，应该显式复制，例如 clone := append([]int(nil), s...)，并在代码注释中说明复制成本和所有权。

哪些问题不能靠第三个下标解决

full slice expression 只改变结果切片的容量，不改变它当前指向的元素。因此下面三类情况仍要单独处理：

• 直接下标写入：bounded[0] = 99 仍会修改共享底层数组中的对应元素。
• 其他别名扩容：另一个仍保留原容量的切片可以继续 append，并可能写入同一数组的尾部。
• 并发访问：封口不是锁，也不会消除多个 goroutine 同时读写切片的竞态；并发场景需要重新设计所有权或使用同步机制。

排查覆盖问题时，优先把切片交接处的 len、cap 和是否存在其他别名记录下来。如果业务边界要求“接收方只能增长自己的副本”，使用复制；如果只是要求它不能借用发送方的尾部容量，使用 s[:len(s):len(s)] 更直接。

常见问题

为什么 s[:len(s)] 不能达到同样效果？

它是二下标切片，长度被限制了，但容量仍从原切片的起点延伸到原来的 cap；只有第三个下标才能设置新的容量上限。

full slice expression 会复制数据吗？

不会。它仍然引用原底层数组，只是改变返回切片能够通过 append 使用的容量范围。

什么时候应该直接 copy 而不是封口？

当接收方可能修改元素、需要跨 goroutine 传递，或数据所有权必须完全独立时，应复制；封口只解决 append 借用尾部容量的问题。

第三个下标可以大于原切片长度吗？

可以，只要满足 high ；但这会继续暴露一部分增长空间，若目标是防止 append 覆盖，通常让 max 等于 high。