Go asn1.RawValue 修改 Bytes 后 Marshal 为什么仍输出旧内容

asn1.RawValue 修改 Bytes 后 Marshal 仍输出旧内容，通常是因为 FullBytes 还保存着原来的整段编码。当前 Go 实现会优先使用非空 FullBytes；它不会检测 Bytes 已修改，再替你使旧编码失效。需要重新编码时，清除 FullBytes 并保持 Class、Tag、IsCompound 与内容一致，或构造新的 RawValue。

官方地址：https://pkg.go.dev/encoding/asn1。本文用自己构造的 OCTET STRING 说明问题，不操作证书或签名数据。先对照编码字节，再给性能测量方法；示例与表格均为代码推导，没有本机执行或压测结果。

先比较编码字节，不先追耗时

排查时先记录三件事：FullBytes 是否非空、Bytes 是替换切片还是原地修改、Marshal 实际接收的对象是哪一份。若旧内容还被完整编码保留，先比较 CPU 时间并不能解释错误。

这里的 04 是本例 OCTET STRING 的标签，01 或 02 为短长度，41 与 4243 是本例内容字节。表中有意只讨论这几个固定值，不把它们泛化为所有 ASN.1 类型的编码模板。

定位 FullBytes 与字段编码的关系

RawValue 同时包含 Class、Tag、IsCompound、Bytes、FullBytes。Bytes 表示内容字节，FullBytes 则包括标签和长度。两种表示并存时，调用者必须决定自己要保留原始编码，还是根据字段重建。

当前官方 marshal 实现的处理条件是 FullBytes 长度非零；满足条件便采用整段编码，否则根据字段构造标签、长度与内容。它不是普通的自动失效缓存，因此同时维护两份不一致数据并不能期待库替你合并。

这也解释了为什么只修改 Tag 或 Class 有时同样看不到预期效果：只要旧 FullBytes 被采用，字段修改并没有参与那次重建。

用最小程序复现旧内容并修复

package main

import (
    "encoding/asn1"
    "fmt"
    "log"
)

// encode 输出受控示例的编码；任何编码错误都明确返回。
func encode(label string, value asn1.RawValue) error {
    der, err := asn1.Marshal(value)
    if err != nil {
        return err
    }
    fmt.Printf("%s: %x\n", label, der)
    return nil
}

func main() {
    // 这是本例自建的 OCTET STRING，内容只有字母 A。
    original := []byte{0x04, 0x01, 0x41}
    var parsed asn1.RawValue
    rest, err := asn1.Unmarshal(original, &parsed)
    if err != nil {
        log.Fatal(err)
    }
    if len(rest) != 0 {
        log.Fatal("存在额外的 ASN.1 数据")
    }

    // 替换切片而非原地改底层数组，以隔离 FullBytes 的优先级。
    stale := parsed
    stale.Bytes = []byte("BC")
    if err := encode("保留旧 FullBytes", stale); err != nil {
        log.Fatal(err)
    }

    // 清除整段编码，要求 Marshal 从字段重新组装。
    rebuilt := stale
    rebuilt.FullBytes = nil
    if err := encode("清除 FullBytes", rebuilt); err != nil {
        log.Fatal(err)
    }

    // 本例已知类型，也可以构造一份不携带旧编码的新值。
    fresh := asn1.RawValue{
        Class: asn1.ClassUniversal,
        Tag: asn1.TagOctetString,
        IsCompound: false,
        Bytes: []byte("BC"),
    }
    if err := encode("构造新值", fresh); err != nil {
        log.Fatal(err)
    }
}

保存为 main.go，可由读者运行：

# 仅在内存中编码本例自建数据，不读取证书或访问网络
go run main.go

代码刻意把 Bytes 替换为新切片。结构体复制是浅复制，切片可能共享底层存储；解码得到的 Bytes 和 FullBytes 也可能关联原始输入。若原地写 Bytes[0]，可能同时改变 FullBytes 中某个字节，从而掩盖本例要展示的优先级问题。不要通过原地修改共享字节来维持两份表示的一致性。

清除 FullBytes 后，Marshal 根据内容长度生成外层长度，不需要手动修改原 DER 的长度字节。新构造方式更适合这里这种已知是 OCTET STRING 的数据；对未知标签不要盲目套用同一个 Tag。

性能对照应保持数据语义一致

如果这个对象处在高频编码路径，可以比较完整编码重放与字段重新编码的成本，但必须让两者表达同一内容。不能拿错误的旧 A 和正确的新 BC 做基准，然后把“输出没更新”包装成更快的优化。

将下面代码保存为 rawvalue_test.go，与 main.go 放在同一个 Go 模块目录。它仅给出基准方法，不给出未经执行的 ns/op、B/op 或 allocs/op 数字。

package main

import (
    "encoding/asn1"
    "testing"
)

var encodedSink []byte

func BenchmarkRawValue(b *testing.B) {
    payload := []byte("same payload")
    fields := asn1.RawValue{
        Class: asn1.ClassUniversal, Tag: asn1.TagOctetString,
        Bytes: payload,
    }
    full, err := asn1.Marshal(fields)
    if err != nil {
        b.Fatal(err)
    }
    replay := fields
    replay.FullBytes = full
    for _, tc := range []struct {
        name string
        value asn1.RawValue
    }{
        {"完整编码重放", replay},
        {"字段重新编码", fields},
    } {
        b.Run(tc.name, func(b *testing.B) {
            // 两条分支输入语义相同，准备阶段不放入计时循环。
            b.ReportAllocs()
            b.ResetTimer()
            for i := 0; i 

# 在准备好 go.mod 的模块目录运行，重复采样并记录 Go 版本和硬件
go test -run '^$' -bench BenchmarkRawValue -benchmem -count=5

基准把准备工作移到计时之外，并通过输出变量保存编码结果。完整编码重放与字段重建服务于不同生命周期：前者适合保留不变数据，后者适合字段已修改。结果只能帮助评估正确实现的代价，不能替代编码内容是否符合业务预期的判断。

空内容与嵌套数据的边界

空 Bytes 可以是合法的空 OCTET STRING。只要保留非空旧 FullBytes，把 Bytes 设为 nil 仍不会表示“删除元素”。零长度 FullBytes 与没有整段编码这一分支一致；真正删除外层结构的字段则属于外层结构的编码规则，不能靠这里的清空操作代替。

如果原始对象是复合值，Bytes 保存的是内部编码内容。清除外层 FullBytes 只让外层重新组装，不会自动解析和修改每个内部元素，更不会根据某个 Go 字段名推测 ASN.1 schema。复杂结构应先明确模型，再使用相应字段类型编码。

示例在 Unmarshal 之后检查 rest，是因为本文只接受一个完整元素。忽略余下字节可能让调用者误以为整段输入已经被处理。Marshal 成功也不能单独证明一个任意 RawValue 完全满足业务 schema 或所有 DER 规范要求。

只是想原样转存，应清掉 FullBytes 吗？

不必为了形式统一而清掉。若数据没有修改，原样编码与按字段重建是不同需求，应明确选择并保证所有权。

清空 FullBytes 后还输出旧值怎么办？

先确认传给 Marshal 的确实是修改后的那份值，再看 Bytes 是否更新，以及是否正在编码另一个外层对象中的旧副本。

怎样避免调用者之后修改 Bytes？

按业务所有权决定是否复制内容切片，并避免无同步的并发修改。结构体复制不等于复制所有底层字节。

参考：RawValue 字段定义、Go 官方 Marshal 实现、Unmarshal 返回约定。