Go types.SelectionString 怎样给字段选择签名添加包限定名

在 Go 的静态分析工具里，types.Selection 保存的是选择表达式的语义信息，而不是已经排版好的文字。需要把字段选择或方法选择展示给用户时，直接调用 types.SelectionString(selection, qualifier) 即可；如果希望接收者类型带上包名，就把第二个参数换成自己的 types.Qualifier。

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

最小做法是先从 types.Info.Selections 取出目标选择，再传入一个返回包名的函数。例如返回 demo 后，接收者类型会以 demo.T 的形式参与格式化；选择的种类、对象和嵌入索引并不会因此改变。

先区分 Selection 与输出字符串

SelectionString 不会重新解析源码，也不会替你寻找字段。它接收已经由类型检查器创建的 *types.Selection，输出类似 field (T) f int、method (T) f(X) Y 或 method expr (T) f(X) Y 的人类可读字符串。

第二个参数的类型是 types.Qualifier，本质上是一个接受 *types.Package 并返回字符串的函数。返回非空值时，包级对象会用“返回值.对象名”表示；返回空字符串时只保留对象名；传入 nil 则使用包导入路径作为限定信息。

从 types.Info.Selections 取出字段选择

类型检查时要显式初始化 Info.Selections，否则检查器不会收集选择表达式对应的 *types.Selection。下面的示例使用一个嵌入字段，让选择路径同时体现字段选择和索引信息。

package main

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

func main() {
    const source = `package demo

type E struct {
    F int
}

type T struct {
    E
}

func Use(p *T) {
    _ = p.F
}`

    // 使用独立 FileSet 保存语法位置，后续定位 SelectorExpr 仍依赖它。
    fset := token.NewFileSet()
    file, err := parser.ParseFile(fset, "demo.go", source, 0)
    if err != nil {
        panic(err)
    }

    // 只有提供 Selections 映射，类型检查器才会记录 p.F 对应的选择。
    info := &types.Info{
        Selections: make(map[*ast.SelectorExpr]*types.Selection),
    }
    conf := types.Config{}
    pkg, err := conf.Check("example.com/demo", fset, []*ast.File{file}, info)
    if err != nil {
        panic(err)
    }

    ast.Inspect(file, func(node ast.Node) bool {
        selector, ok := node.(*ast.SelectorExpr)
        if !ok || selector.Sel.Name != "F" {
            return true
        }

        selection := info.Selections[selector]
        if selection == nil {
            fmt.Println("没有找到字段选择")
            return true
        }

        // nil 使用导入路径；自定义限定函数稍后把它缩短为 demo。
        fmt.Println("默认:", types.SelectionString(selection, nil))
        fmt.Println("包名:", types.SelectionString(selection, packageName))
        fmt.Println("对象:", selection.Obj().Name(), "包:", pkg.Name())
        return true
    })
}

func packageName(pkg *types.Package) string {
    // 包对象可能为空，空字符串表示不打印限定名。
    if pkg == nil {
        return ""
    }
    return pkg.Name()
}

这里的关键不是遍历语法树本身，而是 info.Selections[selector]。对字段选择而言，selection.Obj() 可以拿到字段对象，selection.Kind() 会标记为 types.FieldVal，而嵌入字段产生的提升路径则可通过 selection.Index() 观察。

用自定义 Qualifier 添加包限定名

如果工具需要在结果里显示短包名，可以让限定函数返回 pkg.Name()。这只影响字符串化阶段，不会修改 *types.Selection，也不会改变 selection.Obj() 的所属包。

// packageName 把导入路径转换为适合界面展示的短包名。
func packageName(pkg *types.Package) string {
    if pkg == nil {
        return ""
    }
    return pkg.Name()
}

// formatSelection 统一封装字段和方法选择的输出策略。
func formatSelection(selection *types.Selection) string {
    if selection == nil {
        return ""
    }
    // Qualifier 只控制包级对象如何显示，不改变选择种类和索引路径。
    return types.SelectionString(selection, packageName)
}

对于示例中的接收者类型，概念上可以得到 field (demo.T) F int。如果把 packageName 换成返回完整导入路径的函数，结果会变成长路径限定；如果返回空字符串，则对应位置只保留类型名。

比较 nil 与自定义限定函数

如果项目中存在同名短包，不能盲目使用 pkg.Name()。可以在限定函数中对包路径做映射，只有确认不冲突时才返回短名；否则返回 pkg.Path()，让输出保留足够的上下文。

字段、方法和嵌入字段的边界

Selection 描述的是选择表达式 x.f。常见的 Kind 有字段值选择 FieldVal、方法值选择 MethodVal 和方法表达式 MethodExpr。不要仅凭最终字符串判断选择类型，应该先读 Kind() 和 Obj()。

• 字段选择：用 Obj().Name() 获取字段名，用 Type() 获取选择表达式的类型。
• 嵌入字段：Index() 可能包含多级索引，例如 [1, 0]，表示先进入嵌入成员，再进入其中的字段。
• 指针接收者：Indirect() 可以帮助工具说明选择过程中是否经过隐式指针间接。
• 方法选择：需要区分方法值和方法表达式，不能把 SelectionString 的前缀当成唯一业务判断依据。

另外，types.Info.Selections 只记录选择表达式，不记录限定标识符形式的 pkg.Type。如果分析的是包级限定名，应结合 Info.Uses 和语法节点处理，而不是期待它出现在 Selections 中。

常见问题

为什么 SelectionString 的结果没有包名？

先检查是否传入了返回空字符串的限定函数。返回空字符串就是要求只打印对象名；如果传入 nil，则会使用导入路径作为限定信息。

Qualifier 会改变 Selection 的 Index 吗？

不会。Qualifier 只参与字符串格式化，Kind、Obj、Type、Index 和 Indirect 都来自原来的选择记录。

可以直接对 nil 的 Selection 调用吗？

不建议。先判断映射是否存在，再调用 SelectionString；没有类型错误或选择记录时，应让工具输出可理解的缺失状态。

怎样显示完整导入路径？

使用 nil，或者在限定函数中返回 pkg.Path()。前者更直接，后者适合在同一套格式化策略中加入其它包名规则。

总结一下：types.Info.Selections 负责提供语义对象，types.SelectionString 负责把对象排版成可读文字，types.Qualifier 负责决定包级类型怎样带限定名。把这三层分开后，字段选择既能保留准确的 Index 和 Kind，又能按日志、编辑器或报告的场景生成合适的字符串。