Go adler32.Sum 为什么会保留传入切片的前缀

很多人把标题里的 adler32.Sum 理解成“返回一份新的校验值”。严格说，标准库包级函数叫 adler32.Checksum(data)；Sum 是 adler32.New() 返回的 hash.Hash32 方法。它的契约是把当前摘要追加到传入的 []byte，所以前缀被保留是设计行为，不是 Adler-32 算错。

官方地址：https://pkg.go.dev/hash/adler32

先纠正 adler32.Sum 的调用对象与返回语义

adler32.New() 返回实现了 hash.Hash32 的对象。包级 Checksum 适合一次性计算，Sum32 适合拿到当前的 uint32，而 Sum 适合把摘要编码成字节并接在已有缓冲区后面。官方文档明确规定 Sum(b) 会追加当前哈希，不改变底层哈希状态。

因此，下面的 prefix 不会消失：

h := adler32.New()
_, _ = h.Write([]byte("go")) // 写入待校验内容，错误值按 hash.Hash 合约恒为 nil。
prefix := []byte{0xaa, 0xbb} // 预留协议字段，故意放在摘要前面。
sum := h.Sum(prefix)         // Sum 追加 4 字节摘要，而不是覆盖 prefix。
fmt.Printf("len=%d prefix=%x digest=%x\n", len(sum), sum[:2], sum[2:])

这里的返回长度是 len(prefix)+h.Size()，Adler-32 的 Size 为 4。调用 h.Sum(nil) 才表示不需要自定义前缀。

用切片长度和容量解释前缀为什么保留

这个行为本质上是 Go 切片追加语义：实现会在 b 的末尾写入摘要，必要时扩容。前缀是否和摘要共享底层数组，只影响内存复用，不影响返回内容的顺序。排查时同时看 len、cap 和切片切分位置，别只打印完整十六进制字符串。

若传入的是 buf[:len(buf)]，摘要会接在已有数据后面；若想覆盖一个可复用缓冲区的开头，应传 buf[:0]，而不是传完整长度的 buf。这正是“前缀为什么还在”最常见的误解来源。

选择 nil、零长度容量或独立缓冲区的写法

如果业务要把摘要写入网络帧，可以明确预留协议前缀；如果只是比较校验值，优先用 Sum32 或 Sum(nil)，避免让调用者误读“多出来的字节”。循环中复用缓冲区时，先把长度归零，再调用 Sum：

scratch := make([]byte, 0, adler32.Size)
for _, payload := range payloads {
    h := adler32.New() // 每个 payload 独立建状态，避免前一次 Write 影响本次摘要。
    _, _ = h.Write(payload)
    scratch = scratch[:0] // 保留容量但清空逻辑长度，摘要从下标 0 写入。
    digest := h.Sum(scratch)
    useDigest(digest) // 调用方应在需要长期保存时自行复制 digest。
}

如果要保存结果而不是临时使用，复制一份更稳妥，因为返回切片可能复用传入缓冲区。反过来，传入带前缀的切片时也要确认下游协议确实需要这个前缀，不能把它当成 Adler-32 的一部分。

用 Sum32 与重复调用确认状态边界

Sum 只是读取当前状态的编码结果，不会自动 Reset，也不会把摘要再次写回哈希对象。可以把它和 Sum32 放在一起检查：两次读出的摘要应一致；只有再次 Write，当前哈希值才会变化。

h := adler32.New()
_, _ = h.Write([]byte("config")) // 当前状态只包含 config。
before := h.Sum32()               // 取数值，不创建结果切片。
_ = h.Sum(nil)                    // 读取字节摘要，不会重置 h。
after := h.Sum32()
if before != after {
    panic("hash state changed after Sum") // 仅用于示例，生产代码应返回错误。
}

最后记住一个边界：Adler-32 适合快速完整性检查，不是抗篡改签名。需要安全校验时，应使用带密钥的消息认证方案；不要因为 Sum 返回了 4 字节，就把它当作安全摘要。

相关问题

为什么 h.Sum(nil) 只有 4 个字节？

因为 hash/adler32 的摘要大小是 4 字节；它不是把输入内容原样返回，而是把当前 Adler-32 值按字节编码。

传入 prefix 会不会改变哈希状态？

不会。prefix 只是输出缓冲区，Sum 不会把它作为新输入写入哈希对象。

比较 Adler-32 时该用 Sum32 还是 Sum？

只做数值比较用 Sum32 更直接；需要协议字节或已有缓冲区拼接时再用 Sum，并明确切片前缀和摘要的分界。