Go types.Scope.Innermost 怎样按源码位置找到最内层作用域

在 Go 源码工具里，先把当前文件的字节偏移转换成同一份 token.FileSet 下的 token.Pos，再对文件作用域调用 Innermost(pos)，即可定位包含该位置的最内层作用域。应先完成类型分析并取得作用域树，同时处理返回 nil 的情况。

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

从手工扫描代码块迁移到作用域查询

假设一个源码分析工具原来遍历所有花括号，再挑出包住光标的最小区间。这能描述部分语法块，却容易把“代码块”当作全部作用域。函数参数、if初始化声明等有自己的作用域规则，单靠括号大小不够。

这里的迁移是工具内部写法调整，不意味着 Go 最近修改了 Innermost 的语义。保留 parser 提供的源码坐标，交给 go/types 构建作用域关系，再从对应文件开始查询，通常更贴近类型分析的上下文。

把字节偏移转换到同一FileSet

token.Pos 不是独立的行列坐标。它需要与解析、类型分析使用的 FileSet 对应。编辑器传来的行列位置，尤其是UTF-16列数，必须先依据同一份源码快照转换为字节偏移，不能直接强制转换。

下面例子用 strings.Index 在当前源码快照中定位语句。它返回字节偏移，因此可交给该文件的 Pos。显式检查范围也避免把越界输入交给映射函数后仍误以为坐标准确。

完整示例：定位内层同名变量所在作用域

示例源码不含导入包，类型分析不需要配置Importer。内层块声明了同名value；查询位置选在该声明之后的赋值语句。代码同时演示完整错误返回，避免在解析或类型分析失败后继续假定映射齐全。

package main

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

func inspect() error {
    // 示例源码和查询偏移来自同一份快照，中文注释也保留在字节计数中。
    const src = `package sample
func calculate() {
    value := 1
    {
        // 内层声明遮蔽外层同名变量。
        value := 4
        value += 2
        _ = value
    }
    _ = value
}
`
    fset := token.NewFileSet()
    file, err := parser.ParseFile(fset, "sample.go", src, 0)
    if err != nil {
        return fmt.Errorf("解析示例源码: %w", err)
    }
    info := &types.Info{Scopes: make(map[ast.Node]*types.Scope)}
    var conf types.Config
    if _, err := conf.Check("example/sample", fset, []*ast.File{file}, info); err != nil {
        return fmt.Errorf("分析示例类型: %w", err)
    }
    tf := fset.File(file.Pos())
    offset := strings.Index(src, "value += 2")
    if tf == nil || offset  tf.Size() {
        return fmt.Errorf("查询位置不属于当前文件快照")
    }
    // File.Pos接收字节偏移，不是行号、字符数或编辑器的UTF-16列数。
    pos := tf.Pos(offset)
    root := info.Scopes[file]
    if root == nil {
        return fmt.Errorf("没有取得文件作用域")
    }
    inner := root.Innermost(pos)
    if inner == nil {
        return fmt.Errorf("该位置没有匹配的作用域")
    }
    // Names仅枚举当前作用域；按位置向外寻找对象用LookupParent。
    fmt.Println("当前作用域名称:", inner.Names())
    _, obj := inner.LookupParent("value", pos)
    if obj == nil {
        return fmt.Errorf("当前位置未找到value")
    }
    fmt.Println("声明位置:", fset.Position(obj.Pos()))
    return nil
}

func main() {
    if err := inspect(); err != nil {
        fmt.Fprintln(os.Stderr, err)
        os.Exit(1)
    }
}

阅读示例时，预期应由内层块提供查询结果，value应对应内层声明。这里没有展示本地运行输出；重点在于 Info.Scopes、当前文件和查询位置共享同一次分析的对象。

定位作用域与查询可见对象是两件事

Innermost 解决“位置属于哪个最内层范围”。Names 解决“这个作用域自身登记了哪些名称”，不会自动合并所有父作用域，也不能独自代表该位置全部可见的声明。

如果要按名称向外查找，示例使用 LookupParent("value", pos)。传入有效位置后，它会考虑声明位置，而不是只问名称是否存在于映射里。做完整补全时还需处理父层、遮蔽和语言上下文，不能把一次 Names 调用包装成完整补全引擎。

nil结果和迁移中容易忽略的输入

位置不在查询范围内时，Innermost可能返回nil；对Universe调用也返回nil。官方要求类型检查后的AST拥有完整位置信息，才能保证位置查询结果可靠。缺少位置的手工AST或混用不同解析批次，会破坏这个前提。

文件被编辑之后，旧偏移、旧AST和旧作用域不能继续与新文本混搭。应把分析结果与源码快照绑定，更新后重新分析。对于有导入依赖的真实项目，还要配置包加载和类型导入；本例不承担跨模块加载能力。

另一个细节是函数作用域在Info.Scopes中关联 *ast.FuncType，并没有把函数体的BlockStmt单独作为函数作用域条目。若旧代码只读取函数体键，就可能得到nil；读取文件作用域后调用Innermost可减少这种手工猜测。

相关问题

找不到作用域就退回Universe可以吗？不能把它当作同等结果。应区分缺少分析信息、位置越界与上层业务允许的降级。

能直接传源码字符下标吗？不能。中文等字符可能占多个UTF-8字节，应统一转换到对应文件的字节偏移。

作用域为空是不是程序无效？不是。某个作用域没有自身声明是正常情况；是否存在可见对象还涉及父作用域和查询位置。

迁移时保留同一源码快照、同一FileSet和完整Scopes映射，再把范围定位与对象查找分别接入。这几个契约比依赖调试字符串或花括号启发式更明确。

参考：Innermost、Info.Scopes、File.Pos、Scope实现。