Go types.Initializer 怎样表示一次赋值产生多个变量

如果你在分析 Go 包级变量初始化，go/types.Initializer 的关键不是把一次声明当成一个变量，而是读取它的 Lhs 切片：var a, b = pair() 会得到同一个初始化节点，节点里有两个 *types.Var；对应的 Rhs 仍然只有一个产生多值的表达式。遍历 types.Info.InitOrder 时，先看 len(init.Lhs)，再逐个读取变量名，就不会把多返回值初始化误拆成多个节点。

结论先记住：Lhs 表示这次初始化接收哪些包级变量，Rhs 表示初始表达式；“多个变量”体现在一个 Initializer 的 Lhs 长度上，而不是凭声明文本重新解析。

先识别 Initializer 的数据模型

官方 API 将 Initializer 定义为包级变量或一组变量，以及对应的初始化表达式。结构体的两个字段很直接：

• Lhs []*types.Var：左侧被赋初值的变量列表。
• Rhs ast.Expr：右侧表达式，例如函数调用、转换或常量表达式。

因此，var total = load() 的 Lhs 长度是 1；如果 load 返回两个值，var code, text = load() 的 Lhs 长度就是 2。这里的“多个”来自一次多值初始化，而不是函数体里的局部赋值。

用 InitOrder 读取多个变量

types.Info.InitOrder 保存包级初始化列表。下面的示例用一段内存源码做类型检查，并把每个节点的变量名和右侧表达式打印出来：

package main

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

func main() {
	const src = `package demo

func pair() (int, string) { return 7, "ok" }

var code, text = pair()
var ready = code > 0`

	// 先把源码解析成 AST，再交给 go/types 计算包级初始化关系。
	fset := token.NewFileSet()
	file, err := parser.ParseFile(fset, "demo.go", src, 0)
	if err != nil {
		panic(err)
	}

	info := types.Info{}
	conf := types.Config{Importer: importer.Default()}
	// Check 会填充 InitOrder；错误返回时信息可能不完整，应先处理 err。
	_, err = conf.Check("demo", fset, []*ast.File{file}, &info)
	if err != nil {
		panic(err)
	}

	for index, init := range info.InitOrder {
		names := make([]string, 0, len(init.Lhs))
		for _, variable := range init.Lhs {
			// Lhs 中每一项都是本次初始化真正接收结果的包级变量。
			names = append(names, variable.Name())
		}
		fmt.Printf("%d: %v 

这段代码的重点是结果形状，而不是输出格式。code 和 text 会出现在同一个 Initializer 的变量列表中，右侧是 pair()；ready 则是另一个节点，因为它有自己的初始化表达式。

区分同一节点与独立初始化节点

分析器最容易犯的错，是只按变量名计数，或者把每个左值都当成一个初始化事件。可以用下面的关系判断：

这一区别对重建依赖图很重要：一个节点表示一次包级初始化表达式，多个 Lhs 表示该表达式同时为多个变量提供结果。若工具要展示每个变量，可以在节点内部展开；若工具要统计表达式执行次数，则应统计节点，而不是统计 Lhs。

排查为空、顺序和作用域边界

1. 列表为空：确认源码确实有包级初始化表达式。没有显式初始值的变量不会出现在 InitOrder 中；局部变量赋值也不属于这个列表。
2. 顺序看起来变化：有依赖关系的初始化会按依赖拓扑排列；彼此无关的初始化通常保留源文件顺序，不要只按文本行号推断执行关系。
3. 节点信息不完整：Config.Check 返回错误时，类型检查结果可能不完整。工具应先记录错误，再把当前结果标记为不完整，而不是把缺失当成“没有初始化”。
4. 需要源码位置：*types.Var 可以通过 Pos() 回到变量声明位置；Rhs 是 AST 表达式，结合 token.FileSet 可输出表达式范围。

常见问题

一个 Initializer 一定对应一个 var 声明吗？不一定。应以 Lhs 和 Rhs 的结构为准；多值初始化会让一个节点包含多个变量。

能用 Initializer 分析函数内的多返回值赋值吗？不能直接这样做。Initializer 面向包级变量初始化；函数内的赋值需要从 AST 的赋值语句、表达式类型和值信息中另行分析。

实际编写分析器时，推荐保留“节点层”和“变量层”两级数据：节点层记录 Rhs、依赖和执行顺序，变量层展开 Lhs、类型和源码位置。这样既能正确表示一次表达式产生多个变量，也能避免把初始化次数统计放大。