Go types.Identical 为什么会把结构体标签算进类型比较

我第一次用 go/types 做结构体分析时，遇到过一个很容易误判的结果：两个结构体的字段、顺序和类型都一样，只把 json 标签从 id 换成 uid，types.Identical 仍然返回 false。这是预期行为。Identical 判断的是严格的类型身份，结构体标签就是身份的一部分；如果业务只想比较“忽略标签后的结构”，应显式使用 types.IdenticalIgnoreTags。

官方地址：https://pkg.go.dev/go/types#Identical

为什么标签会进入 Identical 的结果

Go 规范把结构体类型定义成有顺序的字段序列。对应字段要同时满足字段名相同、字段类型相同、嵌入状态相同，并且标签相同，两个结构体才是 identical。标签不是运行时的附属注释，而是结构体类型字面量的一部分。

下面这段程序直接构造两个 go/types.Struct。它们的字段完全相同，只有第一个字段的标签不同：

package main

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

func main() {
    // 用同一组字段构造两份结构体，只改变字段标签。
    fields := func() []*types.Var {
        return []*types.Var{
            types.NewField(token.NoPos, nil, "ID", types.Typ[types.String], false),
            types.NewField(token.NoPos, nil, "Name", types.Typ[types.String], false),
        }
    }

    left := types.NewStruct(fields(), []string{`json:"id"`, `json:"name"`})
    right := types.NewStruct(fields(), []string{`json:"uid"`, `json:"name"`})

    // 严格身份比较会把对应位置的标签一起比较。
    fmt.Println(types.Identical(left, right))
    // 只有在明确忽略标签时，结果才会变成 true。
    fmt.Println(types.IdenticalIgnoreTags(left, right))
}

输出的两个布尔值分别是 false 和 true。这里的关键不是标签值看起来像元数据，而是调用者选择了严格身份谓词。

go/types 实际比较了哪些字段

我排查这类问题时，会把比较拆成五个检查点，而不是只盯着 Tag(i)：

• 字段数量和顺序：同名字段调换位置，也不是同一个结构体类型。
• 字段名：导出名直接参与比较；不同包里的未导出同名字段也不等价。
• 字段类型：比较会递归进入数组、指针、嵌套结构体等类型。
• 嵌入状态：普通字段和嵌入字段不能混为一谈。
• 字段标签：对应位置的完整标签字符串不同，就会让严格比较失败。

所以把标签改回相同值只是修复其中一个条件。若两个结构体的字段名、嵌入状态或嵌套类型也有差异，Identical 仍会返回 false。

什么时候改用 IdenticalIgnoreTags

IdenticalIgnoreTags 不是“宽松版的所有比较”，它只把标签这一项关掉，其余身份条件照旧执行。适合它的场景通常是：代码生成器比较两个外部声明的结构，想判断它们是否具有相同的字段形状；或者工具分析序列化前后的结构，不希望 json、yaml、db 标签影响形状判断。

func sameShape(a, b types.Type) bool {
    // 形状分析明确不把 json、yaml 等标签当作结构差异。
    return types.IdenticalIgnoreTags(a, b)
}

func sameDeclaredType(a, b types.Type) bool {
    // 声明身份分析必须保留标签、字段顺序和字段名的区别。
    return types.Identical(a, b)
}

工程上最好把这两个意图封装成不同名字，避免后续调用者看到 same 就误以为两者语义完全相同。

别把转换规则误当成 Identical 规则

最容易混淆的一点是：Go 语言规范允许在某些类型转换场景中忽略结构体标签。例如两个未命名结构体的字段形状一致、只有标签不同，指针之间可能满足转换条件。这并不意味着它们通过 types.Identical 的严格身份检查。

可以把结论记成一句话：转换规则里的“忽略标签”，是为了判断能不能转换；Identical 里的“标签相同”，是为了判断是不是同一个类型结构。 两个 API 服务的目标不同，不应该用一个结果替代另一个结果。

类型分析器的选择清单

如果你的工具要给出“为什么不相同”的诊断，不要只打印最终布尔值。遍历 Struct.NumFields、Field(i) 和 Tag(i)，把第一个发生差异的字段位置记录下来，用户就能分清是标签问题，还是字段名、类型或顺序问题。

常见追问

只改 json 标签会改变 Go 变量的内存布局吗？

标签本身不改变字段的存储布局，但会改变严格结构体类型身份，并影响依赖标签的编码、映射或生成工具。

IdenticalIgnoreTags 会忽略字段名吗？

不会。它只忽略结构体标签，字段名、字段类型、字段顺序和嵌入状态仍然参与比较。

应该直接比较 Struct.String() 吗？

不建议把字符串展示结果当作类型等价判断。需要严格身份时调用 Identical，需要忽略标签时调用 IdenticalIgnoreTags，语义更清楚也更稳定。