解读

面试官真正想考察的是：

1. 你对 切片三要素（data、len、cap） 的内存布局是否熟记；
2. 能否用 unsafe.Pointer 与 uintptr 精确偏移 拿到 array 字段地址，而不是反射；
3. 是否清楚 append 触发“扩容”与“不扩容” 的精确条件，以及扩容后 底层数组地址变化 这一“拷贝”本质；
4. 在 国内高并发服务 中，如果误把旧切片当引用传递，会导致 脏数据或并发读写 panic，因此必须能用代码自证“何时共享、何时分离”。

知识点

• 切片头 24 B（64 位）：[3]uintptr{data, len, cap}，可直接用 unsafe 取；
• append 不扩容：cap 足够，data 指针不变，新旧切片共享底层数组；
• append 扩容：cap 不足，runtime 新分配一块 2×（旧 cap<1024）或 1.25×（旧 cap≥1024） 的内存，data 指针变化，即发生“拷贝”；
• unsafe 验证套路：先取 &slice 拿到 SliceHeader，再取 Data 字段，uintptr 强转后打印，对比 append 前后地址即可；
• 国内面试加分项：强调 go1.20+ 仍可用 unsafe.Slice、unsafe.SliceData，但为兼容旧代码，优先用 reflect.SliceHeader 的 unsafe 版本。

答案

package main

import (
	"fmt"
	"unsafe"
)

// 获取切片底层数组指针
func arrayPtr(s []int) uintptr {
	// 注意：reflect.SliceHeader 在 go1.20 被标记弃用，但面试写 unsafe 版本最直观
	hdr := (*struct {
		Data uintptr
		Len  int
		Cap  int
	})(unsafe.Pointer(&s))
	return hdr.Data
}

func main() {
	a := make([]int, 3, 4) // len=3 cap=4
	oldPtr := arrayPtr(a)

	// 场景1：不扩容
	b := append(a, 1)
	newPtr := arrayPtr(b)
	fmt.Printf("不扩容: old=%x new=%x same=%v\n", oldPtr, newPtr, oldPtr == newPtr)

	// 场景2：扩容
	c := append(b, 2, 3, 4) // 需要 cap>=7，当前 cap=4，必然扩容
	newPtr2 := arrayPtr(c)
	fmt.Printf("扩容后: old=%x new=%x same=%v\n", oldPtr, newPtr2, oldPtr == newPtr2)

	// 验证共享性
	a[0] = 999
	fmt.Println("修改 a[0] 后 b[0]=", b[0], "c[0]=", c[0])
}

运行输出（64 位 Linux 示例）：

不扩容: old=c00001c0c8 new=c00001c0c8 same=true
扩容后: old=c00001c0c8 new=c000056000 same=false
修改 a[0] 后 b[0]= 999 c[0]= 0

结论：

• 地址相同则未拷贝，地址不同则已拷贝；
• 不扩容时 a、b 共享数组，修改 a 会影 b；
• 扩容后 c 已脱离原数组，修改 a 不影响 c。

拓展思考

1. 国内微服务场景：如果把一个全局配置切片直接 append 后返回给各 goroutine，未扩容时所有实例共享底层数组，并发写会触发 data race；正确做法是先 copy 一份 再返回。
2. 性能调优：在 热路径 上若已知最终长度，预分配 cap（make([]T, 0,预估)）可完全避免扩容拷贝，减少 GC 压力；
3. unsafe 的边界：go1.21 开始 SliceHeader 被隐藏，官方推荐用 unsafe.SliceData 取指针，但面试时只要你能讲清 “data 字段偏移+uintptr 转换” 即可；
4. 更深验证：可用 go test -gcflags="-m" 查看编译器对逃逸和扩容的决策，与 unsafe 结果交叉验证，展示你对 编译器+运行时 的双重理解，国内一线大厂面评会直接提档。