如何在Golang中将ast.TypeSpec断言为int类型

Question

我有以下代码用于Golang文档解析。"ts"是ast.TypeSpec。我可以检查StructType等等。但是，ts.Type是"int"。如何断言int和其他基本类型?

ts, ok := d.Decl.(*ast.TypeSpec)
switch ts.Type.(type) {
case *ast.StructType:
    fmt.Println("StructType")
case *ast.ArrayType:
    fmt.Println("ArrayType")
case *ast.InterfaceType:
    fmt.Println("InterfaceType")
case *ast.MapType:
    fmt.Println("MapType")
}

Answer 1

AST中的类型表示用于声明类型的语法，而不是实际类型。例如:

type t struct { }
var a int          // TypeSpec.Type is *ast.Ident
var b struct { }   // TypeSpec.Type is *ast.StructType
var c t            // TypeSpec.Type is *ast.Ident, but c variable is a struct type

我发现在试图理解不同语法的表示方式时，打印示例ast很有帮助。运行此程序查看示例。

这段代码在大多数情况下会检查int型，但并不可靠:

if id, ok := ts.Type.(*ast.Ident); ok {
    if id.Name == "int" {
        // it might be an int
    }
}

以下情况的代码是不正确的:

type myint int
var a myint          // the underlying type of a is int, but it's not declared as int
type int anotherType 
var b int            // b is anotherType, not the predeclared int type

要在源代码中可靠地找到实际类型，请使用go/types包。