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 字段。