Go subtle.ConstantTimeCompare 为什么要求长度相同

很多 Go 代码把 subtle.ConstantTimeCompare 当成“更安全的 bytes.Equal”，然后在输入长度不同时困惑：既然要避免时间侧信道，为什么函数不把两段数据都比较完？答案是，ConstantTimeCompare 只承诺内容比较不随内容变化；它仍然先看长度，长度不同会立即返回 0。这个设计让调用者必须先确认比较对象的长度模型。

ConstantTimeCompare 先保证什么

官方契约很具体：函数接收两个 []byte，内容相同返回 1，不同返回 0；相同长度下，耗时取决于切片长度，而不是某一个字节在第几个位置不同。长度不匹配时则立即返回 0。这里的“constant time”不是无论输入多长都耗时一样，而是对同一长度的不同内容尽量不提前退出。

因此不要写成布尔表达式并假设它天然等价于普通相等判断：

// 只把返回值 1 解释为相等，避免把 int 当成任意真值使用。
equal := subtle.ConstantTimeCompare(left, right) == 1

为什么长度不同只能立即返回 0

如果两段切片长度不同，内容不可能完全相等，返回 0 不需要继续读取剩余字节。更重要的是，函数的内容比较通常建立在“两个输入已经同长”的前提上：循环可以遍历固定数量的字节并累积差异，而不是遇到第一个不同字节就退出。

把两种边界混在一起就会误判。长度是输入的结构信息，内容是同长度数据的秘密信息。该函数保护的是后者的提前退出差异，并没有承诺隐藏前者。对长度本来就公开的摘要或 MAC，先返回 0 是合理的；对长度本身敏感的数据，则要在更上层设计统一长度或其他协议。

固定长度摘要是更稳妥的比较对象

实际工程里，一个清晰的做法是先把同一份输入分别计算成固定长度摘要，再比较摘要。下面的示例使用 SHA-256 的 [32]byte 结果；两次摘要的长度天然一致，比较函数只需要处理固定长度字节。

package main

import (
    "crypto/sha256"
    "crypto/subtle"
)

// tokenMatches 比较两个令牌的固定长度摘要，不直接比较任意长度原文。
func tokenMatches(expected, actual []byte) bool {
    expectedSum := sha256.Sum256(expected)
    actualSum := sha256.Sum256(actual)

    // [32]byte 切片长度相同，返回 1 才表示摘要内容完全一致。
    return subtle.ConstantTimeCompare(expectedSum[:], actualSum[:]) == 1
}

这段代码解决的是“比较对象长度不稳定”的问题，不等于密码存储方案。密码应使用专门的慢哈希、盐和参数校验；令牌若已经是固定格式，也可以在协议层拒绝异常长度，再进入比较。不要为了调用这个 API 而把可变长秘密机械补零，因为补齐规则本身可能改变协议语义。

四个容易踩到的使用边界

另一个常见错误是把 ConstantTimeCompare 的返回值与非 0 判断混用。当前返回只有 0 或 1，但显式写成 == 1 更能表达接口契约，也方便以后审查调用点。若调用前做了长度检查，要确认这个长度检查比较的是协议允许的固定长度，而不是把可变输入信息泄露到响应时间或错误路径中。

落地前按这张清单复核

• 比较对象是否是摘要、MAC 或固定格式字节，而不是未经处理的任意长字符串？
• 两侧长度不同时，业务是否明确知道这是公开结构差异，还是需要在上层统一长度？
• 是否用 == 1 判断成功，并把 0 当成“不匹配”处理？
• 测试是否覆盖同长相同、同长不同、空切片和长度不同四种输入？

把这四项写进代码审查清单，通常比单独记住“要用 constant time”更有价值。核心不是强行让所有比较都走同一个函数，而是先定义输入长度，再让比较 API 的保证与协议边界对齐。

相关问题

长度不同的 ConstantTimeCompare 会 panic 吗？

不会。按官方契约，它会返回 0；真正需要检查的是调用方是否错误地把“长度不同”当成了可忽略的业务状态。

ConstantTimeCompare 能保护任意字符串吗？

不能。它只处理同长度内容比较的提前退出问题，不能隐藏输入长度，也不能替代密码哈希或协议级长度设计。

为什么不直接用 bytes.Equal？

公开数据或不涉及秘密的普通字符串用 bytes.Equal 更直观；涉及摘要、MAC 等秘密材料时，再根据长度契约选择 ConstantTimeCompare。