这是ast解析的正确行为吗

Question

我正在努力学习如何使用 golang 的 ast 库以及它是如何工作的。我正在解析 https://github.com/modern-go/concurrent，避免测试文件和 go_below_19.go，因为它会导致错误。

我的问题是解析文件 unbounded_executor.go、

中的这些行

var HandlePanic = func(recovered interface{}, funcName string) {
    ErrorLogger.Println(fmt.Sprintf("%s panic: %v", funcName, recovered))
    ErrorLogger.Println(string(debug.Stack()))
}

ErrorLogger 的 ast.Ident 在两个实例中都没有对象。

但是，我认为它不应该为零，应该引用 log.go、

中的这些行

// ErrorLogger is used to print out error, can be set to writer other than stderr
var ErrorLogger = log.New(os.Stderr, "", 0)

是我错了，还是解析器有问题？我遵循了几个关于解析文件的参考资料，并在每个文件中重复使用 *token.FileSet 并使用 ParseComments 作为模式。

编辑：

围绕此有一个庞大的代码库，因此演示此内容的代码将包含片段。

这是在所有非测试 go 文件中使用相同的 fset 执行的，没有会阻止代码与 1.16 一起使用的构建限制

parsedFile, parseErr := parser.ParseFile(fset, filePath, nil, parser.ParseComments)

Answer 1

调用 ast.NewPackage 解析 AST 中的标识符：

fset := token.NewFileSet()
files := make(map[string]*ast.File)
for _, name := range []string{"unbounded_executor.go", "log.go"} {
    f, err := parser.ParseFile(fset, name, nil, parser.ParseComments)
    if err != nil {
        log.Fatal(err)
    }
    files[name] = f
}

ast.NewPackage(fset, files, nil, nil)

ast.Inspect(files["unbounded_executor.go"], func(n ast.Node) bool {
    if n, ok := n.(*ast.Ident); ok && n.Name == "ErrorLogger" {
        fmt.Println(n.Obj)
    }
    return true
})

因为没有提供合适的导入器并且文件列表不包括包中的所有文件，NewPackage returns 未解析的符号错误。

这是ast解析的正确行为吗

Is this the correct behavior of ast parsing

go

abstract-syntax-tree