Go types.Scope 怎样递归列出函数内的块级作用域

用 go/types 做源码分析时，types.Scope 不是只能查一个变量名的字典，它还保存着嵌套作用域之间的父子关系。要递归列出函数内的块级作用域，关键是先从 *types.Func.Scope() 取得函数体作用域，再对每个节点调用 Children()。

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

最稳妥的遍历顺序是“先处理当前作用域，再递归处理 Children()”。Names() 负责列出当前作用域的声明名，Pos() 和 End() 负责描述源码范围；如果还要快速查看完整树，可以直接调用 WriteTo(w, 0, true)。

先拿到函数体对应的 Scope

types.Package.Scope() 返回的是包级作用域，里面能找到顶层声明；它不能直接代表某个函数内部的 if、for 或复合语句块。类型检查完成后，应先在包作用域里找到目标函数，再调用函数对象的 Scope()：

package main

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

const source = `package demo

func process(input int) int {
	// 用嵌套块制造可观察的函数体作用域树。
	total := input
	if total > 0 {
		step := total + 1
		for i := 0; i 

这里的 Scope() 可能返回 nil，例如导入函数没有当前源码中的函数体；因此生产代码不要省略空值处理。示例从本地 AST 做类型检查，得到的作用域才与这段源代码的块结构对应。

用 Children 递归列出每一层作用域

从 Go 1.24 起，Scope.Children() 提供了 iter.Seq[*types.Scope]，可以用 range 直接读取子作用域。递归函数只需要承担三件事：输出当前节点、计算缩进、继续遍历子节点。

func printScopeTree(fset *token.FileSet, scope *types.Scope, depth int) {
	if scope == nil {
		return
	}

	pos := fset.Position(scope.Pos())
	end := fset.Position(scope.End())
	indent := ""
	for i := 0; i 

输出中的具体层数取决于源码结构，但遍历关系是固定的：函数体是根，if、for 和更深的复合语句是它的后代。Children() 只遍历直接子节点，递归调用才会把更深层的 Scope 一并列出。

Pos、End 和 Names 分别解决什么问题

作用域树通常需要同时回答“它覆盖哪一段源码”和“这一层声明了什么”。Pos() 与 End() 描述范围 [pos, end)，右端是开区间；拿到 token.Pos 后交给 FileSet.Position，才能得到文件名、行号和列号。

如果分析器要做变量可见性判断，通常会结合 LookupParent(name, pos)；如果要画作用域树，则应沿 Children() 向下走。一个是“名字沿父链查找”，一个是“结构沿子树展开”，不要混成同一个递归方向。

没有 Children 时怎样兼容旧 API

如果项目的最低 Go 版本还不能使用 Children()，可以用已有的 NumChildren() 和 Child(i) 实现同样的深度优先遍历。这样不会改变作用域树本身，只是把迭代器写成了下标循环：

func printScopeTreeCompat(fset *token.FileSet, scope *types.Scope, depth int) {
	if scope == nil {
		return
	}

	// 兼容写法仍然先处理当前节点，避免遗漏函数体自己的声明。
	indent := ""
	for i := 0; i 

新代码优先使用 Children() 可读性更好；需要兼容旧工具链时再选择下标版本。不要为了兼容而手动解析大括号：语法块、隐式作用域和类型检查产生的声明关系不是简单的文本缩进。

快速调试可以直接用 WriteTo

如果目标只是快速查看当前作用域及其所有嵌套声明，不需要自己定义输出格式，可以使用 WriteTo：

func dumpScope(scope *types.Scope) {
	if scope == nil {
		return
	}
	// recurse=true 会把嵌套的子 Scope 一起写出，适合排查类型检查结果。
	scope.WriteTo(os.Stdout, 0, true)
}

这个片段需要额外导入 os。WriteTo 的输出主要用于调试，声明名按名称排序，未必适合直接作为用户界面展示或稳定的序列化格式；要绑定行列、节点层级或自定义 JSON，仍应使用递归函数逐节点采集。

几个容易踩到的边界

• 不要把包 Scope 当函数体 Scope。包 Scope 里能找到 process，但函数内部的局部变量和块级声明要从 fn.Scope() 开始。
• 不要用 Names 推断外层可见性。Names() 只返回当前 Scope 的元素名；需要沿父链解析时使用 LookupParent，并传入合适的源码位置。
• 位置必须来自完整 AST。Contains、Innermost、Pos 和 End 的可靠性依赖类型检查时保留完整位置信息。
• 不要并发消费同一个递归状态。如果分析器把作用域节点写入共享结果集，要自行设计同步或让每次遍历使用独立的收集器。

常见问题

为什么 pkg.Scope().Children() 看不到函数内部的作用域？

包级 Scope 的孩子关系不等于函数体内部的块级关系。先通过包 Scope 找到 *types.Func，再从 fn.Scope() 开始递归。

Children() 会不会直接返回所有后代？

不会，它只返回当前 Scope 的直接子作用域。要列出孙节点和更深层级，必须在每个 child 上再次调用递归函数。

能不能只用 Lookup 列出作用域中的变量？

不能。Lookup 需要已知名称；如果要列出当前作用域的名字，使用 Names()，如果要沿父链解析可见对象，使用 LookupParent。

为什么位置输出是空的或不准确？

检查解析和类型检查过程是否保留了完整位置信息，并确认传入的是当前源码对应的 token.FileSet。Universe 和 package Scope 的范围本来就没有普通块级语义。