Go types.Selection.Recv 怎样保留选择表达式的接收者类型

types.Selection.Recv() 返回选择表达式 x.f 中 x 的类型。分析提升方法时，这个信息尤其重要：方法虽然声明在嵌入类型上，选择的起点仍然可能是外层类型。不要用方法声明签名里的接收者替代它。

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

先区分选择起点、声明对象和结果类型

对于方法选择，可以把信息分成三个问题：谁在选择方法、被选中的方法声明在哪里、表达式本身具有怎样的类型。Recv、Obj 和 Type 分别提供相关入口，不能互相替代。

用嵌入方法观察 Recv 保留的信息

下面的完整程序在内存中解析一段 Go 源码，再收集方法选择信息。示例源码不用导入其他包，因此类型检查配置不需要设置导入器。

package main

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

func main() {
    // 用嵌入类型构造提升方法，分别观察值和指针选择。
    const src = `package demo
type Inner struct{}
func (Inner) M() {}
type Outer struct{ Inner }
func use(o Outer, p *Outer) {
    o.M()
    p.M()
}`
    fset := token.NewFileSet()
    file, err := parser.ParseFile(fset, "demo.go", src, 0)
    if err != nil {
        panic(err)
    }
    // Selections 必须预先初始化，检查器才会写入选择记录。
    info := &types.Info{
        Selections: make(map[*ast.SelectorExpr]*types.Selection),
    }
    conf := types.Config{}
    if _, err := conf.Check("demo", fset, []*ast.File{file}, info); err != nil {
        panic(err)
    }
    // 按语法树顺序读取，避免直接遍历 map 导致输出顺序不固定。
    ast.Inspect(file, func(n ast.Node) bool {
        expr, ok := n.(*ast.SelectorExpr)
        if !ok {
            return true
        }
        selection := info.Selections[expr]
        if selection == nil {
            return true
        }
        method, ok := selection.Obj().(*types.Func)
        if !ok {
            return true
        }
        sig := method.Type().(*types.Signature)
        fmt.Printf("%s recv=%s declared=%s\n",
            expr.Sel.Name, selection.Recv(), sig.Recv().Type())
        return true
    })
}

从这段源码的类型关系看，o.M 的选择接收者是 demo.Outer，p.M 的选择接收者是 *demo.Outer；两者最终关联的方法声明接收者都是 demo.Inner。这里描述的是示例的语义推导，并非性能测试结果。

沿 Index 解释方法如何被提升

Recv 保留选择起点，Index 则描述从该起点抵达对象的索引路径。出现嵌入字段时，路径中可以包含经过的嵌入字段索引，最后一项用于定位所选方法。编写诊断信息时，可以把接收者类型与路径一起保存，避免只展示方法声明所属类型而丢掉调用现场的信息。

不要把 Index 的所有元素都直接当作结构体字段下标使用：字段选择与方法选择的路径末端含义不同。如果分析器只需回答“这次选择从哪个类型开始”，直接使用 Recv 即可，无须手工走一遍嵌入字段。

按 Selection.Kind 处理方法值和方法表达式

o.M 是方法值选择；Outer.M 是方法表达式选择。前者在调用时不再显式传入接收者，后者把接收者作为函数调用的首个参数。Selection.Type 给出的结果类型因此不同。方法表达式的签名没有接收者字段，其首个普通参数承担接收者的位置。

在生成调用提示或重构建议时，先看 Kind，再选择 Type 或方法对象的声明签名。若直接把 Obj 的类型当作表达式类型，就可能把方法表达式需要的第一个参数漏掉。

在分析器里保存信息并处理缺失记录

不是每个 SelectorExpr 都有 Selection。包限定标识符，例如某个导入包的导出函数，不属于这里记录的字段或方法选择；类型检查存在错误时，也不能假设每个语法节点都具备完整信息。因此读取 map 时要保留空值分支。

若缓存分析结果，优先保存接收者的 types.Type 与对应语法节点，等输出诊断时再格式化。类型字符串适合展示，却不适合直接充当可靠的类型身份标识；比较类型关系应使用类型系统提供的操作。

常见问题：Recv 为指针是否就表示声明接收者为指针？不能这样推断，仍需查看 Obj 对应方法签名。Recv 能否代替 Indirect？不能，Indirect 描述选择路径涉及的间接性，回答的是另一个问题。是否需要为读取 Recv 再做一次类型检查？通常不需要，复用已有 Info.Selections 即可。

源码入口：https://go.dev/src/go/types/selection.go