Go 只有 ImportSpec 为什么无法判断导入是否未使用

我第一次用 go/ast 做导入清理时，很自然地从 *ast.ImportSpec 开始：看 Name，再读 Path，最后在整棵语法树里搜同名标识符。这个办法对显式别名勉强可用，对普通导入却会漏掉关键事实：源码里根本没有一个名为 fmt 的声明节点。

结论是：ImportSpec 只回答“这里写了一条什么导入语句”，不能单独回答“它是否被语义上使用”。要判断未使用导入，应先让 go/types 检查完整包，再用 Defs、Uses 和 Implicits 把导入声明映射到 *types.PkgName。

ImportSpec 记录了什么，为什么信息还不够

官方 AST 定义里，ImportSpec 主要包含 Name、Path、注释和位置。Name 可以是显式别名、点或下划线，也可能是 nil；Path 是字符串字面量。它描述的是语法形状，不负责解析包、推断默认包名，更不记录后续表达式引用了哪个对象。

用 PkgName 对象把声明和引用连起来

类型检查时，普通导入没有显式名称，go/types.Info.Implicits 会为 *ast.ImportSpec 提供对应的 *types.PkgName。有别名时，别名标识符出现在 Defs 中。之后遍历 Uses，只要发现同一个对象，就说明该导入名在源码中被引用过。

package main

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

// importUsage 只判断普通导入和显式别名；点导入需要另行分析导出对象。
func importUsage(src string) (map[string]bool, error) {
	fset := token.NewFileSet()
	file, err := parser.ParseFile(fset, "sample.go", src, parser.SkipObjectResolution)
	if err != nil {
		return nil, err // 语法错误时不要把未完成 AST 当成有效结论
	}

	info := &types.Info{
		Defs:      make(map[*ast.Ident]types.Object),
		Uses:      make(map[*ast.Ident]types.Object),
		Implicits: make(map[ast.Node]types.Object),
	}
	conf := types.Config{Importer: importer.Default()}
	if _, err := conf.Check("sample", fset, []*ast.File{file}, info); err != nil {
		return nil, err // 类型检查失败时，引用集合可能不完整
	}

	used := make(map[string]bool)
	for _, decl := range file.Decls {
		gen, ok := decl.(*ast.GenDecl)
		if !ok || gen.Tok.String() != "import" {
			continue
		}
		for _, spec := range gen.Specs {
			imp := spec.(*ast.ImportSpec)
			if imp.Name != nil && (imp.Name.Name == "_" || imp.Name.Name == ".") {
				continue // 空白导入靠初始化，点导入没有包名前缀
			}

			var obj types.Object
			if imp.Name == nil {
				obj = info.Implicits[imp] // 普通导入的默认包名在这里
			} else {
				obj = info.Defs[imp.Name] // 显式别名在声明表中
			}
			if obj == nil {
				continue // 非法或不完整源码不产生可靠对象
			}
			path := imp.Path.Value
			used[path] = false
			for _, use := range info.Uses {
				if use == obj {
					used[path] = true // 只按对象身份计数，不按字符串猜测
					break
				}
			}
		}
	}
	return used, nil
}

func main() {
	used, err := importUsage("package sample\\nimport \\\"fmt\\\"\\nvar _ = fmt.Println\\n")
	if err != nil {
		panic(err) // 示例只展示分析失败边界
	}
	fmt.Println(used)
}

这里的关键不是比较 fmt 这几个字符，而是比较同一个对象指针。这样可以避开别名、包名与导出成员同名等误判。实际工具应把多个文件放入同一个 []*ast.File，并使用同一个 FileSet 做包级检查。

四种导入写法的判断边界

1. 普通导入：Name == nil，从 Info.Implicits[spec] 取得 *types.PkgName，再检查它是否出现在 Uses 的值中。
2. 显式别名：从 Info.Defs[spec.Name] 取得包对象，再检查别名引用。不能只搜索别名字符串，因为注释和其他作用域也可能出现同名文本。
3. 空白导入：语言规范明确允许它只为初始化副作用服务。分析器应标为“有意不产生普通引用”，不要报未使用。
4. 点导入：调用方直接使用被导入包的导出标识符，没有统一的包名前缀。要判断它是否有效，需要根据类型检查结果追踪这些导出对象，不能只看一个 PkgName。

分析器上线前的检查清单

• 是否对完整包而不是单个文件调用 Config.Check？
• 是否初始化了 Defs、Uses 和 Implicits？
• 是否保留了类型检查错误，并在错误时避免输出“确定未使用”？
• 是否把 _ 与 . 从普通导入规则中分开？
• 是否用对象身份关联引用，而不是用文本搜索？

相关问题

只用 ast.Inspect 能判断普通导入吗？

只能做启发式扫描。普通导入的默认包名不是 ImportSpec 中的 Ident，跨文件、别名和选择器语义也无法靠文本稳定还原。

为什么类型检查失败时不能继续报结果？

类型检查失败可能让 Defs、Uses 或 Implicits 不完整。此时可以展示诊断位置，但应把未使用结论降级为“不确定”。

空白导入是不是永远不用检查？

它不需要普通标识符引用，但仍应检查导入路径是否存在、初始化是否符合项目策略；“不报未使用”不等于“忽略所有错误”。

把 ImportSpec 当作入口节点，把 go/types 当作语义补全层，导入分析就从“猜名字”变成了“追踪对象”。这也是处理 Go 源码重构、导入清理和静态检查时更稳的分界线。