3B.5 Unit Test及AST可视化

在了解了语法树的数据结构与基本解析思路之后，就没有必要继续钻入各个代码角落去学习解析细节了。此时更好的方式是反向学习：通过 UT 来调用解析函数，查看各种代码块的解析结果。
 语法分析器很容易进行单元测试，因为其本质上只需要一段代码作为输入，对运行环境没有额外的要求，因此我们不需要做太多的初始化工作。测试文件 parsertest.go 中已经包含了很多测试用例可供参考，可以直接运行。但在运行 UT 或者构建自己的 UT 之前，我们先来看一下如何更好的查看语法树的内容，毕竟其内嵌结构可能很深。
 文件 dumper.go 中的函数 Fdump 可以将一个 Node 的结构 dump 出来，而包括 File 在内，所有前面介绍过得结构体都实现了 Node 接口，所以该函数是我们可视化语法树的好工具。
 下面我们通过一些 UT 来进一步学习一下语法解析的功能。
 在 parser_test.go 内创建如下 UT
func TestParser(t *testing.T) {
    code := `
package main
​
import (
"fmt"
"net/http"
)
​
const （a, b)                    
var names []string = make([]int, 10)
​
func iterate[T any](list []T, f func(T))  {
    for _, t  := range list {
        f(t)
    }
}
`
​
    ast, _ := Parse(NewFileBase("dump_source.go"), bytes.NewBuffer([]byte(code)), func(err error) {
        fmt.Printf("Parsing Error: %v\n", err)
    }, nil, CheckBranches|AllowGenerics) // 开启泛型支持，以便解析出类型参数
​
    if ast != nil {
        Fdump(os.Stdout, ast)
    }
}
 执行该 UT 得到输出结果：
*syntax.File {
.  Pragma: nil
.  PkgName: main @ dumpsource.go:2:9
.  DeclList: []syntax.Decl (5 entries) {
.  .  0: *syntax.ImportDecl {
.  .  .  Group: *syntax.Group {}
.  .  .  Pragma: nil
.  .  .  LocalPkgName: nil
.  .  .  Path: *syntax.BasicLit {
.  .  .  .  Value: “\”fmt\“”
.  .  .  .  Kind: 4
.  .  .  .  Bad: false
.  .  .  }
.  .  }
.  .  1: *syntax.ImportDecl {
.  .  .  Group: *syntax.Group {}
.  .  .  Pragma: nil
.  .  .  LocalPkgName: nil
.  .  .  Path: *syntax.BasicLit {
.  .  .  .  Value: “\”net/http\“”
.  .  .  .  Kind: 4
.  .  .  .  Bad: false
.  .  .  }
.  .  }
.  .  2: *syntax.ConstDecl {
.  .  .  Group: *syntax.Group {}
.  .  .  Pragma: nil
.  .  .  NameList: []*syntax.Name (2 entries) {
.  .  .  .  0: a @ dumpsource.go:9:8
.  .  .  .  1: b @ dumpsource.go:9:11
.  .  .  }
.  .  .  Type: nil
.  .  .  Values: nil
.  .  }
.  .  3: *syntax.VarDecl {
.  .  .  Group: nil
.  .  .  Pragma: nil
.  .  .  NameList: []*syntax.Name (1 entries) {
.  .  .  .  0: names @ dumpsource.go:10:5
.  .  .  }
.  .  .  Type: *syntax.SliceType {
.  .  .  .  Elem: string @ dumpsource.go:10:13
.  .  .  }
.  .  .  Values: *syntax.CallExpr {
.  .  .  .  Fun: make @ dumpsource.go:10:22
.  .  .  .  ArgList: []syntax.Expr (2 entries) {
.  .  .  .  .  0: *syntax.SliceType {
.  .  .  .  .  .  Elem: int @ dumpsource.go:10:29
.  .  .  .  .  }
.  .  .  .  .  1: *syntax.BasicLit {
.  .  .  .  .  .  Value: “10”
.  .  .  .  .  .  Kind: 0
.  .  .  .  .  .  Bad: false
.  .  .  .  .  }
.  .  .  .  }
.  .  .  .  HasDots: false
.  .  .  }
.  .  }
.  .  4: *syntax.FuncDecl {
.  .  .  Pragma: nil
.  .  .  Recv: nil
.  .  .  Name: iterate @ dumpsource.go:12:6
.  .  .  TParamList: []*syntax.Field (1 entries) {
.  .  .  .  0: *syntax.Field {
.  .  .  .  .  Name: T @ dumpsource.go:12:14
.  .  .  .  .  Type: any @ dumpsource.go:12:16
.  .  .  .  }
.  .  .  }
.  .  .  Type: *syntax.FuncType {
.  .  .  .  ParamList: []*syntax.Field (2 entries) {
.  .  .  .  .  0: *syntax.Field {
.  .  .  .  .  .  Name: list @ dumpsource.go:12:21
.  .  .  .  .  .  Type: *syntax.SliceType {
.  .  .  .  .  .  .  Elem: T @ dumpsource.go:12:28
.  .  .  .  .  .  }
.  .  .  .  .  }
.  .  .  .  .  1: *syntax.Field {
.  .  .  .  .  .  Name: f @ dumpsource.go:12:31
.  .  .  .  .  .  Type: *syntax.FuncType {
.  .  .  .  .  .  .  ParamList: []*syntax.Field (1 entries) {
.  .  .  .  .  .  .  .  0: *syntax.Field {
.  .  .  .  .  .  .  .  .  Name: nil
.  .  .  .  .  .  .  .  .  Type: T @ dumpsource.go:12:38
.  .  .  .  .  .  .  .  }
.  .  .  .  .  .  .  }
.  .  .  .  .  .  .  ResultList: nil
.  .  .  .  .  .  }
.  .  .  .  .  }
.  .  .  .  }
.  .  .  .  ResultList: nil
.  .  .  }
.  .  .  Body: *syntax.BlockStmt {
.  .  .  .  List: []syntax.Stmt (2 entries) {
.  .  .  .  .  0: *syntax.ForStmt {
.  .  .  .  .  .  Init: *syntax.RangeClause {
.  .  .  .  .  .  .  Lhs: *syntax.ListExpr {
.  .  .  .  .  .  .  .  ElemList: []syntax.Expr (2 entries) {
.  .  .  .  .  .  .  .  .  0: _ @ dumpsource.go:13:6
.  .  .  .  .  .  .  .  .  1: t @ dumpsource.go:13:9
.  .  .  .  .  .  .  .  }
.  .  .  .  .  .  .  }
.  .  .  .  .  .  .  Def: true
.  .  .  .  .  .  .  X: list @ dumpsource.go:13:21
.  .  .  .  .  .  }
.  .  .  .  .  .  Cond: nil
.  .  .  .  .  .  Post: nil
.  .  .  .  .  .  Body: *syntax.BlockStmt {
.  .  .  .  .  .  .  List: []syntax.Stmt (1 entries) {
.  .  .  .  .  .  .  .  0: *syntax.ExprStmt {
.  .  .  .  .  .  .  .  .  X: *syntax.CallExpr {
.  .  .  .  .  .  .  .  .  .  Fun: f @ dumpsource.go:14:3
.  .  .  .  .  .  .  .  .  .  ArgList: []syntax.Expr (1 entries) {
.  .  .  .  .  .  .  .  .  .  .  0: t @ dumpsource.go:14:5
.  .  .  .  .  .  .  .  .  .  }
.  .  .  .  .  .  .  .  .  .  HasDots: false
.  .  .  .  .  .  .  .  .  }
.  .  .  .  .  .  .  .  }
.  .  .  .  .  .  .  }
.  .  .  .  .  .  .  Rbrace: syntax.Pos {}
.  .  .  .  .  .  }
.  .  .  .  .  }
.  .  .  .  .  1: *syntax.ReturnStmt {
.  .  .  .  .  .  Results: *syntax.BasicLit {
.  .  .  .  .  .  .  Value: “\”unexpected\“”
.  .  .  .  .  .  .  Kind: 4
.  .  .  .  .  .  .  Bad: false
.  .  .  .  .  .  }
.  .  .  .  .  }
.  .  .  .  }
.  .  .  .  Rbrace: syntax.Pos {}
.  .  .  }
.  .  }
.  }
.  EOF: syntax.Pos {}
}
 但仔细查看我们所解析的代码，会发现其存在如下问题：
import 的库未使用
常量 a, b 没有初始化
变量 names 声明的类型与 make 中指定的类型不一致
iterate 声明中不需要返回值，但该函数却返回了一个字符串
 但解析器依然成功完成了解析，这是因为此时解析器只是负责做语法分析，只要程序符合语言的文法规范，解析器就能够顺利完成；而上述问题是语义问题，或者是代码规范问题（import 的库未使用），不属于语法解析器的管理范围。想要处理这些问题，编译器还需要将语法树继续往后传递并进行进一步处理。
最近更新 2yr ago