Go 同名未导出字段为什么不能只按字段名比较

Go 的未导出字段身份包含声明包的区别：不同包里的两个 state，即使字段名拼写、字段类型和标签都一样，也不能只按名称认作同一个字段。用 go/types 写分析工具时，Name() 适合展示，Id() 可表达带包限定的名称身份；判断完整类型是否相同，应使用 types.Identical。

官方文档：https://pkg.go.dev/go/types

我会先把字段显示名与语义标识分开

假设要为两个包生成结构体差异报告，我会把字段显示名留给读者，把字段语义标识留给比较逻辑。这是工具设计上的取舍，下面用手工构造的对象说明原因，并非一次真实项目事故复盘，也不是某个新版本刚加入的规则。

最容易写出的实现是以 field.Name() 建立映射，看到同名就对齐。对于同一结构体里的普通列表展示，这样很方便；一旦比较跨包未导出字段，它会把不同声明来源压缩成同一个字符串。报告随后再比较类型，也无法补回被忽略的包身份。

我更倾向于先问“需要对齐的是显示列，还是语言意义上的字段名称”。文档可以把两边都显示成 state，同时在附加列写包路径；语义比较则必须保留包信息，不能让易读的展示规则代替判断规则。

用两个同名包构造一个对照例子

package main

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

func main() {
    // 包名都叫 model，但逻辑包路径不同
    leftPkg := types.NewPackage("example.com/left/model", "model")
    rightPkg := types.NewPackage("example.com/right/model", "model")
    left := types.NewField(token.NoPos, leftPkg, "state", types.Typ[types.Int], false)
    right := types.NewField(token.NoPos, rightPkg, "state", types.Typ[types.Int], false)

    // Name 只比较拼写；Id 对未导出名字保留包限定
    fmt.Println(left.Name() == right.Name())
    fmt.Println(left.Id() == right.Id())

    // 无名结构体避免把命名类型自身的差异混入此例
    a := types.NewStruct([]*types.Var{left}, nil)
    b := types.NewStruct([]*types.Var{right}, nil)
    fmt.Println(types.Identical(a, b))
}

图中包A 路径和包B 路径分别属于 left/model 与 right/model。字段A state和字段B state的 Name 相同，而 Id 引入了各自的包路径。

按接口规则推导，三次打印依次应为 true、false、false。这里没有执行代码，布尔值是示例预期。两个包都使用 model 作为包名，是为了提醒：Pkg().Name() 仍然可能重复，不能用简短包名替代路径。

本例使用无名 Struct，是为了单独观察未导出字段。若先在两个包里各定义一个命名类型，再比较命名类型本身，结果还会受到命名类型身份的影响，反而不利于解释这个字段问题。

字段 Id 相同也不代表结构体相同

完整 Struct 的同一性涉及字段顺序、字段身份、字段类型、字段标签和嵌入标记。因此，Id 可以帮助比较名称，却不能单独用来证明两个结构体的完整类型相同。

同一包里不同结构体都可以有 state 字段，它们的 Id 可能相同，字段对象却并不是同一个。需要索引某条具体字段声明时，我会再保留所属结构体以及字段位置，而不是把 Id 当成跨整个工程的唯一主键。

字段标签也是另一个维度。若工具的任务明确要求忽略标签，可考虑 IdenticalIgnoreTags；它不会顺带忽略不同包的未导出字段身份。不要把“忽略标签”扩大成“只看字段名和基本类型”。

把这条规则放进分析工具时的取舍

如果只展示一个结构体的字段清单，我会继续使用简短 Name；如果要比较跨包声明，我会让内部记录带 Id，并在输出时适度展示包路径。这会让中间数据稍多，但能避免显示名相同造成的误对齐。

真正加载工程时，还要维持符号集合一致。同一逻辑包不应被工具反复独立构造成多套互不相关的符号；使用统一的导入器或包加载流程，比仅靠字符串拼接补救更稳妥。手工 NewPackage 的示例只适合解释这里的对象关系。

导出字段是否也要加包路径？官方 Id 接口对导出名称直接返回名字。因此不能无条件把所有字段都按“路径加名称”处理，再声称完全等价于 Go 的字段身份规则。

比较的是类型还是可赋值性？这是两个任务。本文讨论名称与类型同一性，需要判断赋值是否合法时应另看 types.AssignableTo，不要把 Identical 的结果当成所有赋值场景的唯一答案。

规范依据：https://go.dev/ref/spec#Type_identity；接口说明：https://pkg.go.dev/go/types#Id。对分析器作者而言，我的选择是让展示尽量短，让内部比较保留语言规则要求的信息。