Go callgraph.DeleteSyntheticNodes 怎样移除合成调用节点

用 golang.org/x/tools/go/callgraph 分析 Go 程序时，调用图里可能混入 wrapper、thunk、bound function、泛型实例化等没有直接源语法的函数节点。想让报表只关注源代码层面的调用关系，可以在调用图构建完成后调用 g.DeleteSyntheticNodes()。它会删除不对应源语法的节点，并重建必要的边来保持剩余节点之间的可达关系。

官方地址：https://pkg.go.dev/golang.org/x/tools/go/callgraph#DeleteSyntheticNodes

但这个方法不是“清空所有特殊节点”：文档明确规定调用图根节点 g.Root 和包初始化函数始终保留，也不会顺便删除所有不可达的普通函数。

DeleteSyntheticNodes 到底会删除什么

先把“合成”理解成函数来源，而不是函数名字里是否出现某个后缀。ssa.Function 的 Synthetic 字段非空时，通常表示它不是直接从源代码语法生成的函数。常见类型包括方法包装器、thunk、bound function、从类型信息生成的空函数、迭代器 yield 函数、包初始化函数和泛型实例化。

DeleteSyntheticNodes 的目标是清理这类中间节点。不过包初始化函数虽然属于合成函数，仍然是该方法的保留边界；根节点也一样。下面的结构图只表达节点来源和保留范围，不是某次程序运行的截图。

在调用图整理阶段直接调用方法

它是 *callgraph.Graph 的无返回值方法，因此不需要自己收集节点、删除边或维护反向边。常见做法是把清理动作放在算法已经完成、报表遍历尚未开始的位置：

package main

import "golang.org/x/tools/go/callgraph"

// removeSyntheticNodes 只负责整理已构建好的调用图。
func removeSyntheticNodes(g *callgraph.Graph) {
	if g == nil {
		return // 调用图尚未生成时不要继续访问节点。
	}

	// 删除不对应源语法的合成函数节点，并由库维护剩余边关系。
	g.DeleteSyntheticNodes()
}

调用时不要把它放在调用图算法仍在写入节点的过程中。先完成 CHA、RTA、静态分析或 VTA 等算法的构图，再做一次统一清理，后续导出 DOT、统计节点或生成调用链时，读取到的就是整理后的图。

还要注意 Graph.Root 可能是一个没有对应 ssa.Function 的特殊根节点；遍历 Graph.Nodes 时先判断节点和 node.Func 是否为空，避免把“保留”误写成“必然有源函数”。

删除后为什么还能继续分析调用关系

如果简单地把一个合成节点从图中摘掉，调用方和被调用方之间原本经过它连接的关系就可能断开。这个方法的关键行为是：删除节点的同时，为剩余节点创建边，以保持它们之间的可达关系。因此它不是单纯减少 Graph.Nodes 的数量，而是把分析视角从合成实现细节收敛到仍然有意义的调用关系。

例如某个源语法函数 Caller 通过 Synthetic wrapper 到达 Callee，清理后后续遍历可以直接从 Caller 看到 Callee。图中的橙色连线表示这种保留关系，Node.In 和 Node.Out 则是节点的入边、出边集合。它仍然是结构说明，不代表某个具体程序已经产生了同样的节点数量。

所以，后续代码不应手动同时修改 Node.In、Node.Out 和 Graph.Nodes。那样很容易留下指向已删除节点的边，或者让正向遍历与反向遍历得到不同结果。

四个容易混淆的边界

第一，合成函数不等于不可达函数。这个方法按函数是否对应源语法处理，不是按从 Root 能否访问到处理。调用图本身可以包含不可达节点，若报表还需要消除死节点，应另外设计可达性遍历。

第二，包初始化函数不会因为属于合成函数而消失。官方 API 对它做了特殊保留。需要展示初始化路径时，应把 init 当成稳定边界，而不是把它当作普通 wrapper 过滤。

第三，泛型实例化可能改变节点数量。SSA 文档把泛型函数实例化列为合成函数；清理后不能再用“实例化节点数量”代表源代码函数数量。若报表需要保留类型参数信息，应在清理前保存自己的映射。

第四，调用图清理是一次性的图变更。调用 DeleteSyntheticNodes 后再读取 Node.In、Node.Out 或 Graph.Nodes，不要继续依赖清理前缓存的节点指针集合来推断图规模。

快速判断清单

相关问题

DeleteSyntheticNodes 会删除调用图根节点吗？

不会。官方说明把 g.Root 列为始终保留的节点；包初始化函数也始终保留。

删除合成节点后还需要自己补边吗？

通常不需要。该方法在删除过程中会创建边来保持剩余节点的可达关系。只有你要表达另一套业务关系时，才应在独立的数据结构中追加自定义标注。