Go constant.Bytes 为什么丢失负号并采用小端序

constant.Bytes 返回整数常量绝对值的小端二进制字节，不携带负号。这就是负数转换后看起来“丢失符号”的原因。它不是固定宽度补码编码，也不是十进制文本编码。需要还原有符号整数时，应把符号作为单独字段保存，并在 MakeFromBytes 恢复幅值后应用负号。

官方文档：https://pkg.go.dev/go/constant#Bytes

把符号和幅值明确分开

调用方最容易犯的错误，是只存 Bytes 的结果，然后期待解码器自动识别正负。这个信息已经不在字节里：绝对值相同的正数和负数会得到相同的幅值。下面定义一个简单的内存数据结构，明确保存两部分。这是本文的编码约定，不是标准库提供的通用文件格式。

package integerwire

import (
    "fmt"
    "go/constant"
    "go/token"
)

type SignedMagnitude struct {
    Negative bool
    Magnitude []byte // 小端绝对值；这是本文自定义的数据结构。
}

func Encode(x constant.Value) (SignedMagnitude, error) {
    if x == nil || x.Kind() != constant.Int {
        return SignedMagnitude{}, fmt.Errorf("需要整数常量")
    }
    return SignedMagnitude{
        Negative: constant.Sign(x) 

Encode 在进入 Bytes 前判断 Kind，拒绝 Unknown、浮点和字符串等值。Decode 使用标准库对应的小端幅值接口，再根据 Negative 恢复符号；数值为零时统一返回零。示例未执行，代码中的约定也没有包含序列化、输入大小限制或传输协议。

小端序描述的是字节权重

小端的意思是切片前面的字节承担较低位权。例如绝对值 0x1234 的幅值字节按低位在前表示为 0x34、0x12。数值 4660 与 -4660 在这里具有相同的两字节幅值；二者的差别只能由外层符号信息表达。

这些十六进制写法用于解释位权，不是运行日志。把切片中的 0x34 误当作最高位字节，会把同一段数据解释成另一个数。还原时使用 MakeFromBytes 可以直接匹配小端约定，不需要先手工倒序。

“为什么采用小端”首先是接口契约问题：标准库明确规定了这种表示。调用方应围绕契约适配，不应根据本机 CPU 的字节序猜测结果，也不需要为某种机器切换配置。没有官方依据时，不必把这个选择解释成某种硬件性能优势。

它与补码、文本分别解决什么问题

不能给幅值随便补几个 0xff，就宣称得到了负数的补码；补码转换需要先确定目标宽度和数值范围。也不能把 Bytes 的内容直接转成字符串，期待得到带负号的十进制数字。若目标是文字展示，应使用常量的文本表示接口，而不是二进制幅值。

输入类型和数据规模需要调用方处理

Bytes 要求输入是 Int。即便某个 Float 常量在数学上刚好是整数，也不应直接把它当成 Int 传入。需要允许精确整数转换时，可以先用 ToInt，再检查返回 Kind 是否确实为 Int；无法表示为整数的情况应保留为错误分支。

整数常量不局限于 int64 的范围。若接口接收任意长度的幅值，应按业务允许的规模限制输入长度，再进行还原；本文 Decode 假定输入已经由调用方控制，故没有把边界检查伪装成完整协议处理。限制数值大小与选择字节序是两件不同的事。

互操作时要固定零和长度约定

MakeFromBytes 将空切片解释为零，但这不能替代应用自己的格式规范。若同一数值允许多个带冗余高位零的表示，使用原始字节作缓存键或进行格式比较时可能产生不一致。需要规范表示时，可以将还原后的值重新取 Bytes，并在业务层统一零值、符号和长度字段的写法。

小端幅值中的冗余高位零位于切片末端，不是前端。去除零字节之前应先确认它们属于高位冗余；删错位置会改变数值。若外部系统使用大端幅值，应在明确的适配边界转换字节顺序，并始终单独处理符号；若外部系统使用补码，则需要另一个完整的有符号转换约定。

常见问题

MakeFromBytes 会自动把最高位为 1 的数据解释成负数吗？不会按固定宽度补码替你恢复负号。它配合的是小端整数幅值，符号应由外层约定处理。

为什么正负两个数的字节相同？因为接口输出绝对值。只比较幅值不足以比较完整的有符号数，还应比较符号或还原后的常量值。

需要 int64 时，可以直接取返回值吗？使用 Int64Val 时必须检查其精确性返回值。超过范围的常量不能假定可以安全放入 int64；字节表示本身也没有替你执行目标类型范围约束。

参考：Bytes 与 MakeFromBytes 文档、常量值与字节转换实现。