Go数组传参会完整复制底层数组，因数组是值类型；应优先用* [N]T或[]T替代[N]T以避免拷贝，但需注意指针解引用和slice共享风险。
Go 数组传参时会完整复制整个底层数组
Go 中数组是值类型，func f(a [1024]int) 这样的函数签名意味着每次调用都会把 1024 个 int（通常 8192 字节）拷贝进栈。不是指针，不是 slice，就是裸数组 —— 编译器不会优化掉这个复制，哪怕函数体内只读取 a[0]。
常见错误现象：go tool compile -S 可见大量 MOVQ 或 REP MOVSB 指令；压测时 CPU 火焰图在参数搬运上出现明显热点；函数内联失败（因为参数太大）。
- 数组长度 ≥ 128 字节时，多数 Go 版本（1.18+）会禁用内联
- 传参开销与数组长度呈线性关系，和元素类型大小也强相关（
[1000]struct{a,b,c int}比[1000]int更贵） - 如果函数定义在另一个包里，且未导出，编译器更难做逃逸分析优化
用 *[N]T 替代 [N]T 可避免复制但需手动解引用
显式传递数组指针 *[1024]int 能彻底消除复制成本，但代价是每次访问都要写 (*p)[i]，可读性差，且容易误写成 p[i]（这会把指针当 slice 用，触发 panic）。
使用场景：高性能循环体、底层序列化/协议打包、固定尺寸缓冲区处理（如 AES 块加密的 16 字节数组）。
-
func processBlock(p *[16]byte)是合理选择；func processBlock(a [16]byte)在 tight loop 中每调用一次就多 16 字节拷贝 - 注意：不能对
*[N]T做切片（p[1:5]非法），必须先转成[]T：buf := p[:] - 若函数需要修改原数组，
*[N]T是唯一安全方式；传值数组改了也没用
slice 作为替代方案时要注意底层数组共享风险
多数情况下，应直接用 []T 替代 [N]T。它只传 24 字节（ptr+len+cap），零复制。但 slice 是引用语义 —— 如果函数内部做了 append 或重新切片，可能意外修改调用方的底层数组。
示例：
func badAppend(s []int) {
s = append(s, 999) // 若底层数组有冗余空间，原 slice 可能被改写
}
func call() {
a := [3]int{1, 2, 3}
badAppend(a[:]) // a[0] 可能变成 999（取决于 runtime 分配）
}
- 只要没扩容，
append会复用原底层数组；a[:]的 cap 就是 len(a)，所以这里大概率不扩容 - 若函数只读或保证不扩容（如限定
len(s) == cap(s)），slice 是最简方案 - 想彻底隔离，可显式复制：
copy(buf[:], s)，但又引入了新拷贝 —— 权衡点在此
编译器不会自动把大数组参数转成指针传参
Go 编译器（gc）严格遵循语言规范：值类型按值传递。不存在“隐式指针转换”或“大对象逃逸优化”。即使你写 func f(a [1e6]int) { _ = a[0] }，编译器仍会生成完整复制逻辑。
验证方法：
go tool compile -S main.go | grep -A5 "f.SB"
你会看到类似：
MOVQ AX, 8(SP) MOVQ BX, 16(SP) ... MOVQ DX, 8192(SP)
—— 这就是 1024 个 int 的逐字节搬运。
容易被忽略的地方：结构体字段含大数组时同样危险。例如 type Packet struct { Header [128]byte; Data [2048]byte }，传 Packet 值就会拷贝 2176 字节。
这时候要么传 *Packet，要么拆成独立 slice 字段。
