Go math/big.Int 的字节追加与缓冲区复用

把大整数加入已有的 []byte 记录时，可以用 dst = x.Append(dst, base)。它在已有内容后追加数字文本，返回完整结果。缓冲区复用的关键是接收这个返回值，并在下一次覆写前处理好上一次结果的保存方式。

官方文档：https://pkg.go.dev/math/big#Int.Append

下面把它设计成一个记录构建接口：输入由调用方提供，格式由接口约定，临时空间也由调用方管理。示例是教学代码，没有附带实际运行或性能测量结论。

先确定输出是数字文本

Append 使用 Text(base) 的数字表达方式，进制范围为2到62；输出不是整数在内存中的原始表示，也不是固定宽度的网络字段。例如按接口语义，负整数的十进制文本带负号，十六进制数字文本不会自动增加 0x。

如果记录协议规定十进制，建议把10固定在内部。让调用方任意传进制，会让同一个字段出现不同表达；接收端还需要额外约定才能还原含义。本文的目标是组装可读记录，因此不把二进制序列化混入同一个接口。

把目标切片设计成显式参数

需要通用进制时，可以采用下面的接口。参数检查先于写入，使失败时返回的仍是原始记录；检查通过后，把扩展切片交还调用方。

package record

import (
    "errors"
    "math/big"
)

// AppendValue 将整数文本追加到调用方缓冲区；参数错误时保留原内容。
func AppendValue(dst []byte, x *big.Int, base int) ([]byte, error) {
    if x == nil {
        return dst, errors.New("整数不能为空")
    }
    if base  62 {
        return dst, errors.New("进制必须介于2和62之间")
    }
    return x.Append(dst, base), nil
}

调用形式应始终接收返回值。[]byte 参数按值传递，方法返回后，调用方的旧切片变量不会自行变长。剩余容量不足时，底层存储还可能改变；不要依赖原变量继续代表新结果。Go规范对内置 append 的容量规则有明确说明：切片追加与复制。

make([]byte, 0, 128) 表示预留空间而不预先写入128个字节；换成 make([]byte, 128) 则会把128个零字节当作已有内容。这里的128是示例初始容量，不能充当所有大整数的长度上限。

复用之前明确结果的所有权

接口需要先回答结果是“本轮临时可读”，还是“下一轮仍然有效”。临时结果可在当前调用范围内消费；要存入队列、集合或交给稍后执行的任务，就应复制内容，或者把整块缓冲区的所有权交给接收方，并停止复用它。

scratch[:0] 只重置长度，不创建独立存储。把每轮的 scratch 直接加入 [][]byte，可能让多条记录指向同一个底层数组。即便使用三索引切片限制容量，已有字节仍然可能共享；限制容量不能替代复制。

用一份完整示例组装多条记录

下面保留三条独立的十进制记录。每轮从同一临时缓冲区构建文本，再复制到记录集合。代码文件可命名为 main.go，仅依赖标准库。

package main

import (
    "errors"
    "fmt"
    "math/big"
)

// AppendRecord 只接受十进制文本记录，不在接口中暴露进制选项。
func AppendRecord(dst []byte, x *big.Int) ([]byte, error) {
    if x == nil {
        return dst, errors.New("记录缺少整数")
    }
    dst = append(dst, "value="...)
    dst = x.Append(dst, 10)
    dst = append(dst, '\n')
    return dst, nil
}

func main() {
    // 解析失败必须处理，避免把空指针交给业务接口。
    large, ok := new(big.Int).SetString("123456789012345678901234567890", 10)
    if !ok {
        panic("示例常量不是有效整数")
    }
    values := []*big.Int{large, big.NewInt(-37), new(big.Int)}
    scratch := make([]byte, 0, 128)
    records := make([][]byte, 0, len(values))

    for _, x := range values {
        // 前一条记录已复制，才允许清空临时切片的长度。
        scratch = scratch[:0]
        var err error
        scratch, err = AppendRecord(scratch, x)
        if err != nil {
            fmt.Println("构建记录失败：", err)
            return
        }

        // 为需要跨轮次保留的记录建立独立存储。
        owned := make([]byte, len(scratch))
        copy(owned, scratch)
        records = append(records, owned)
    }

    for _, record := range records {
        fmt.Print(string(record))
    }
}

按代码定义，三条记录分别包含长整数、负数和零，并带有 value= 前缀和换行。判断是否符合目标，应关注后续轮次构建完成后，先前记录的内容是否仍然保持原值。若最终只是立即写入文件，可以在写入完成后复用临时空间；这与保存所有记录是不同的调用需求。

为调用方保留清楚的错误约定

对外部传入的文本，还应在解析层按业务限制长度，再构造大整数。初始容量不是输入大小限制；单次异常大记录也可能让临时切片长期保留较大的数组。是否丢弃这种缓冲区，应由业务容量策略决定，本文不提供未经测量的通用阈值。

为什么用了 Append 仍不能声称零分配？

这个接口让调用方管理输出空间，但不承诺整段转换不分配内存。输入大小、转换过程和结果复制都会影响成本。是否值得调整，需要针对真实记录大小与保存方式另行测量。

能否把同一个 scratch 交给多个 goroutine？

本文示例按顺序构建。并行构建时，应让各任务拥有各自的可写空间；把一个切片变量传给多方，不会自动产生独立数组。只读结果也需要保证其底层存储不再被其他任务覆写。

能否省掉 records 中每条记录的复制？

如果调用方在下一轮之前已经消费完当前结果，就不必为跨轮次保存而复制。若接收方仍需使用该内容，则要保留独立副本或移交所有权；选择取决于结果生命周期。

相关API依据：Int.Append、Int.Text。接口设计和记录示例为本文原创。