Go hash.Hash Sum 如何追加摘要而不改变状态

在 Go 里，hash.Hash.Sum 的关键不是“取出一个摘要”，而是“把当前摘要追加到传入的切片”。因此，h.Sum(nil) 得到纯摘要，h.Sum(prefix) 得到带前缀的新切片；两次调用都不会把哈希对象重置，也不会阻止后面继续 Write。

先把 Sum 的输入和输出看清楚

hash.Hash 的接口约定是：当前哈希值追加到 b 后返回结果。下面的代码中，prefix 不会消失，最终切片长度等于前缀长度加摘要长度。

package main

import (
    "crypto/sha256"
    "fmt"
)

func main() {
    h := sha256.New()
    // Write 只负责推进哈希状态，错误值按接口约定恒为 nil。
    _, _ = h.Write([]byte("golang"))

    raw := h.Sum(nil) // nil 表示从空切片开始，只保留摘要。
    prefix := []byte("sha256:")
    tagged := h.Sum(prefix) // 摘要追加在 prefix 后面。

    fmt.Println(len(raw), string(tagged[:len(prefix)]))
}

这里的 raw 是 32 字节的 SHA-256 摘要，tagged 不是另一种哈希结果，而是一个更长的字节切片。把 Sum 当成“返回内部数组”或“自动清空对象”都会导致后续代码判断错误。

用 nil、前缀和预分配缓冲区写出稳定结果

最常见的三种场景可以直接对应三种写法：只要摘要就用 Sum(nil)；协议字段需要前缀就传入已有切片；批量计算时可以先准备足够容量，减少扩容。

func digestWithPrefix(data []byte) []byte {
    h := sha256.New()
    // 统一在函数内完成输入，避免把上一次调用的状态带进来。
    _, _ = h.Write(data)

    prefix := []byte("v1:")
    // len 表示已有内容，cap 额外预留摘要空间；Sum 会从 len 位置追加。
    out := make([]byte, len(prefix), len(prefix)+h.Size())
    copy(out, prefix)
    return h.Sum(out)
}

预分配只优化切片存储，不改变摘要语义。若把一个仍在使用的业务缓冲区直接传给 Sum，调用方要意识到返回值可能复用其底层数组；更稳妥的做法是给摘要专门创建输出切片，或明确交接该缓冲区的所有权。

调用 Sum 后继续 Write，状态仍然连续

判断“Sum 是否改变状态”的最好方式，是在中间取一次摘要，然后继续写入，再与一次性写入全部数据的结果比较。两者相同，说明中间的 Sum 只是读取当前状态并生成追加结果。

func sameAsSingleWrite() bool {
    h1 := sha256.New()
    // 先写入第一段数据，再读取一次中间摘要。
    _, _ = h1.Write([]byte("part-a"))
    _ = h1.Sum(nil)
    // Sum 不会 Reset，第二段仍接在第一段之后。
    _, _ = h1.Write([]byte("part-b"))

    h2 := sha256.New()
    _, _ = h2.Write([]byte("part-apart-b"))
    return bytes.Equal(h1.Sum(nil), h2.Sum(nil))
}

示例需要额外导入 bytes。如果业务真正需要从某个时间点分叉计算，不要把“调用 Sum”误当成复制状态；应使用具体哈希实现提供的克隆或状态序列化能力，并阅读对应包的安全说明。

复用摘要结果时的四个边界

• 切片长度：不要只看容量，读取摘要必须使用返回切片的长度范围。
• 编码转换：需要日志或 JSON 文本时，再用 hex.EncodeToString 等方式编码；摘要本身仍是字节。
• 并发访问：同一个 hash.Hash 通常不应被多个 goroutine 同时读写，调用方需要加锁或按请求创建实例。
• 生命周期：完成一份独立数据后可调用 Reset 复用对象，但不要在仍需比较的结果生成前重置。

最后可以记住一条判断：想拿纯摘要就传 nil，想把摘要拼到已有数据后就传目标切片；Sum 本身不会代替 Write、Reset 或状态克隆。

相关问题

为什么 Sum([]byte("x")) 的结果比摘要更长？

因为接口定义是追加，返回值包含原来的 x 和当前摘要；传入 nil 才是只返回摘要。

调用 Sum 后还需要重新创建哈希对象吗？

不需要。若要继续计算同一数据流，直接 Write；若要开始全新数据，才调用 Reset 或创建新对象。

如何避免追加结果覆盖业务缓冲区？

为摘要准备独立切片，或者先复制前缀并明确容量；不要把仍由其他逻辑持有的可复用缓冲区直接交给 Sum。