Go crypto/subtle.ConstantTimeByteEq 怎样比较两个字节结果

如果你手里只有一个字节，却希望把“相等判断”写成明确的常量时间原语，可以使用 crypto/subtle.ConstantTimeByteEq。它接收两个 uint8，相等时返回整数 1，不等时返回整数 0。需要特别注意：它返回的不是 bool，而且“使用了这个函数”不等于整个业务流程自动变成常量时间。

本文按最小 API、返回值处理和比较场景来拆开说明，适合处理单字节标记、摘要字节或协议字段的代码。

结论先说：单个 uint8 用 ConstantTimeByteEq，int32 用 ConstantTimeEq，两个字节切片用 ConstantTimeCompare；三者都需要把返回的 1/0 当作结果码理解。

先确认 ConstantTimeByteEq 的输入输出

官方签名是 func ConstantTimeByteEq(x, y uint8) int。参数类型已经限定了它的职责：它比较的是两个单字节值，而不是字符串、任意整数或整段切片。返回值只有两个有意义的结果：x == y 返回 1，否则返回 0。

这张图只表达静态关系：两个 uint8 进入函数边界，函数语义对应相等和不等两种结果，最后统一落到 int 结果码。它不表示某次真实运行的界面或输出。

用最小封装保留 1/0 语义

业务代码通常需要布尔条件，但底层原语返回的是整数。可以在自己的边界函数里完成一次显式转换，让调用方不用到处记住“1 表示相等”。

package main

import "crypto/subtle"

// sameByte 把 subtle 的 1/0 结果转换成业务更容易阅读的 bool。
// 参数固定为 uint8，避免调用方误把整型或字符串直接传进来。
func sameByte(left, right uint8) bool {
	return subtle.ConstantTimeByteEq(left, right) == 1
}

func main() {
	// 这里可以放协议标记、摘要中的单个字节或其他明确的 uint8 字段。
	_ = sameByte(0x2a, 0x2a)
}

比较表达式写成 == 1 是有意的：文档约定的成功结果就是 1。不要把它改成“非零都算成功”的宽松判断，也不要把返回值直接当成 bool 使用。

区分 ByteEq、Eq 与 Compare

选择函数时先看数据形状，而不是先看函数名。单字节使用 ConstantTimeByteEq；两个 int32 使用 ConstantTimeEq；两个字节切片使用 ConstantTimeCompare。切片比较的耗时与切片长度有关，而不是与内容有关；长度不同时，官方文档说明它会直接返回 0。

返回值与安全边界

ConstantTimeByteEq 只解决“两个字节如何比较”这一层。外层仍可能包含长度检查、解析、错误处理、日志、分支和网络行为；这些部分是否泄露信息，要结合完整流程分析。对于整段密钥材料，不要手动循环调用 ByteEq 来替代切片比较；直接使用与数据结构匹配的 ConstantTimeCompare 更清楚。

还要避免两个常见误区：第一，把普通 left == right 一律说成不安全；普通比较是否合适取决于数据是否敏感以及上下文。第二，把 ConstantTimeByteEq 当作认证方案；它只是一个比较原语，不能替代完整的消息认证、密钥管理或协议设计。

常见问题

ConstantTimeByteEq 为什么返回 int？

这是 crypto/subtle 比较原语的一致结果形式，调用方按文档把 1 解释为相等、0 解释为不等即可，必要时在业务边界转换成 bool。

两个字符串可以直接传给 ConstantTimeByteEq 吗？

不可以。它只接收两个 uint8。字符串或字节切片应先明确比较目标，再选择切片比较或其他合适的解析逻辑。

总结一下：先看输入是单字节、int32 还是字节切片，再选择对应 API；保留 1/0 结果语义；最后把常量时间比较放回完整业务流程中评估。