Go 点导入和空白导入在 AST 中有什么区别

做 Go 导入声明重写时，我遇到过一个很容易误判的现象：import . "fmt" 和 import _ "fmt" 在 AST 里都不是普通的字符串差异，它们会改变包名绑定和后续使用方式。先给结论：读取 *ast.ImportSpec 时，Name == nil 表示默认导入名，Name.Name == "." 表示点导入，Name.Name == "_" 表示空白导入；三种写法的 Path 都是导入路径字面量。

官方资料：https://pkg.go.dev/go/ast#ImportSpec

• 默认导入：源代码没有显式名字，通常用包声明名加点号访问。
• 点导入：把被导入包的导出标识符放进当前文件作用域，使用时不写包名前缀。
• 空白导入：不提供可用的包名，只保留包初始化带来的副作用。

先观察 ImportSpec 的字段

Go 官方 AST 文档把一次导入表示为 ImportSpec。它的关键字段是 Name 和 Path：Name 是本地包名，可以是空、点号或下划线；Path 是字符串字面量。不要直接用 Path.Value 判断导入种类，因为三类写法可能使用完全相同的路径。

下面的最小程序把同一个包用三种方式写入一段源代码，再遍历 File.Imports。解析阶段只关心语法树字段，因此不需要先做类型检查。

package main

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

func main() {
	const src = `package demo
import "fmt"
import . "strings"
import _ "net/http/pprof"
`

	// ParseFile 只构建语法树；把 Imports 作为每个 ImportSpec 的入口。
	file, err := parser.ParseFile(token.NewFileSet(), "demo.go", src, 0)
	if err != nil {
		// 解析失败时不要继续读取不完整的导入节点。
		panic(err)
	}
	for _, spec := range file.Imports {
		// Path.Value 保留带引号的源码字面量，Name 决定导入别名类别。
		name := ""
		if spec.Name != nil {
			name = spec.Name.Name
		}
		fmt.Printf("name=%s path=%s\\n", name, spec.Path.Value)
	}
}

这个例子中，三条记录的路径分别是 "fmt"、"strings" 和 "net/http/pprof"。分类的稳定入口是 Name 是否为空，以及非空时的名字内容。

按 Name 值定位三种导入

可以把判断写成一个小函数，避免在多个重写分支里重复比较字符串。这里返回的只是语法类别，不代表包是否存在、是否能编译或是否真的发生了初始化；这些问题要交给后续工具链处理。

type ImportKind string

const (
	// Default 表示源码省略本地包名，AST 中 Name 为 nil。
	Default ImportKind = "default"
	// Dot 表示导出标识符进入当前文件的无前缀访问空间。
	Dot ImportKind = "dot"
	// Blank 表示只依赖初始化副作用，不建立普通包名访问。
	Blank ImportKind = "blank"
)

func classifyImport(spec *ast.ImportSpec) ImportKind {
	// Name 为空才是默认导入；不能把 nil 当成解析失败。
	if spec.Name == nil {
		return Default
	}
	// 点号和下划线是 ImportSpec.Name.Name 的普通字符串值。
	switch spec.Name.Name {
	case ".":
		return Dot
	case "_":
		return Blank
	default:
		// 其他显式标识符属于命名导入，例如 import json "encoding/json"。
		return ImportKind("named")
	}
}

这里额外保留了 named 分支，因为真实工具不能只处理标题中的两类特殊导入。显式别名同样会让 Name 非空，但它的语义是用自定义名字访问包，而不是点导入或副作用导入。

定位三种导入的语义边界

Go 语言规范规定，导入声明可以省略包名，也可以显式写点号、包名或下划线。省略时，访问通常是 fmt.Println 这样的限定名；点导入允许直接写 Println；空白导入则专门用于初始化，代码不能借此得到一个可调用的包名。

因此，格式化工具若把所有 ImportSpec 都重建成“路径字符串”，就可能把 _ 丢掉，造成编译错误或更隐蔽的初始化行为变化。导入排序可以改变声明顺序，但不应擅自改变显式名字。

导入重写时怎样保留原始名字

需要修改路径时，推荐在原节点上只替换 Path，并保留 Name。如果必须新建节点，也要显式复制 Name、文档注释和行尾注释；否则点导入或空白导入会退化成默认导入。

func replaceImportPath(spec *ast.ImportSpec, newPath string) {
	// 只替换导入路径，Name 保留 nil、点号、下划线或自定义别名。
	spec.Path = &ast.BasicLit{
		Kind:  token.STRING,
		Value: strconv.Quote(newPath),
	}
	// 不在这里重写 spec.Name；调用方仍需按原语义打印 AST。
}

上面的函数需要补充 go/token 和 strconv 导入；示例重点是字段边界。Path.Value 应保持合法的 Go 字符串字面量，而不是把裸路径直接塞进 AST。若重写工具还要保留注释，应同时处理 Doc 与 Comment，因为它们属于节点的不同注释位置。

常见问题

点导入和空白导入的 Path 会不同吗？

不一定。它们可以指向同一个路径，真正的区别在 Name：点号代表无前缀访问，空白标识符代表只保留初始化用途。

Name 为 nil 是不是 AST 没解析出导入名？

不是。它通常表示源代码使用了默认导入名，应该按照被导入包的包名规则解释，而不是当成异常节点。

可以把点导入自动改成普通导入吗？

不能只改 AST。点导入会影响源码中所有未限定标识符的解析，自动改写必须同步重写引用并重新进行编译或类型检查；仅保留路径是不安全的。

回到最初的问题，识别 Go 点导入和空白导入的关键只有一句：先看 ImportSpec.Name，再看它的字符串值；不要从 Path 猜语义。对格式化、索引和代码重写工具来说，保留这个字段边界，才能让 AST 变化和源码行为保持一致。