Go ast.IsExported 怎样判断标识符是否导出

处理 Go 源码 AST 时，经常要先筛出导出的类型、函数或字段。最直接的判断是 ast.IsExported(name)：它只看字符串的第一个 Unicode 字符是否为大写字母，返回 bool。因此它适合判断“这个名字是否采用导出命名”，并不负责检查字符串是不是合法 Go 标识符，也不代替 go/types 做包级可见性分析。

如果手里已经有 *ast.Ident，优先调用它的 IsExported()；如果只有名称字符串，调用 ast.IsExported。判断前先处理空名称和 nil 节点，判断结果只解释命名形式。

本文围绕 go/ast.IsExported 的名称判断展开，示例中的图片是静态结构说明图，不是运行截图或执行证据。

ast.IsExported 实际判断的是首个 Unicode 字符

Go 官方文档把它定义为“判断 name 是否以大写字母开头”。当前实现由 go/ast 转给 go/token.IsExported，后者解码字符串的第一个 Unicode 字符，再调用 unicode.IsUpper。所以判断对象不是 ASCII 字节，也不是完整语法树。

遍历 AST 时从 ast.Ident.Name 取出名称

解析源码后，标识符通常以 *ast.Ident 节点出现。遍历节点时不要把声明位置、引用位置和字段位置混成一个概念；ast.Inspect 只负责访问节点，导出判断仍然针对每个 Ident.Name 单独进行。

package main

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

func main() {
    src := `package demo

type PublicType struct{}
type privateType struct{}

func ExportedFunc() {}
func privateFunc() {}
`

    fset := token.NewFileSet()
    // 解析源码得到 AST；这里只关心语法节点，不做类型检查。
    file, err := parser.ParseFile(fset, "demo.go", src, parser.SkipObjectResolution)
    if err != nil {
        // 解析失败时不能继续把不完整的 AST 当成有效结果。
        panic(err)
    }

    ast.Inspect(file, func(n ast.Node) bool {
        id, ok := n.(*ast.Ident)
        if !ok {
            return true
        }
        // 用名称判断导出命名，位置和对象归属不在本例范围内。
        fmt.Printf("%s -> %t\n", id.Name, ast.IsExported(id.Name))
        return true
    })
}

这个例子能帮助代码生成器、文档工具或 AST 筛选器快速标出公开命名。但同一个名称可能在不同语法位置出现，ast.IsExported 不会告诉你它究竟声明了什么对象，也不会处理作用域、导入包和类型信息。

已经拿到 Ident 时直接调用方法

*ast.Ident 自带同名方法，语义与传入 id.Name 等价，底层仍沿用 token.IsExported 的首字符规则。只有名称字符串时才需要包级函数；在 AST 遍历中直接调用节点方法更贴近代码意图。

func exportedName(id *ast.Ident) bool {
    if id == nil {
        // nil 节点没有 Name，先返回 false，避免解引用 panic。
        return false
    }
    // 节点方法与 ast.IsExported(id.Name) 使用同一套命名规则。
    return id.IsExported()
}

ast.IsExported 与 token.IsExported 的结果规则一致，但代码层级不同：前者表达“我正在处理 AST 名称”，后者表达“我只处理一个词法名称”。如果工具的输入来自解析树，使用 AST 包的 API 更容易让后续维护者理解边界。

不要把导出命名当成完整可见性结论

最常见的误用是看到返回 true 就断言“这个对象一定能被外部包访问”。实际可见性还受到声明位置、包路径、字段或方法所属类型等因素影响。ast.IsExported 只适合做命名层面的快速筛选；需要对象归属、类型和包信息时，应进入 go/types 分析。

还要注意三类边界：

• 它不校验输入是否为合法标识符，若输入来自外部文本，先用合适的词法或语法检查。
• 它只看首个 Unicode 字符，不能用字符串切片的首字节替代，否则会破坏非 ASCII 名称判断。
• 调用 (*ast.Ident).IsExported() 前先判断指针是否为 nil；方法本身需要读取 Name。

相关问题

ast.IsExported 能判断包外是否可访问吗？

不能。它只判断名称是否以大写字母开头，包级可访问性和对象类型需要结合类型检查结果。

为什么不能用 name[0] 判断？

Go 名称可能包含非 ASCII Unicode 字符，按字节读取会把多字节字符拆开；官方实现按 Unicode 字符解码。

小结：只有字符串时使用 ast.IsExported，已有 AST 节点时使用 Ident.IsExported；两者都只回答“命名首字符是否为大写字母”，不要越界解释为完整的类型系统可见性。