从ast.FuncDecl提取参数和返回值类型需访问其Type字段（ast.FuncType），再分别遍历Params.List和Results.List中的*ast.Field；匿名参数/返回值表现为field.Names长度为0，而非nil；FuncType不会被ast.Inspect自动遍历，须手动处理；命名返回值必有类型，否则属语法错误。
怎么从 *ast.FuncDecl 提取参数和返回值类型
Go 的 AST 中，函数声明节点 *ast.FuncDecl 的 Type 字段才是关键——它指向一个 *ast.FuncType，而参数和返回值都藏在这个结构里。别直接翻 Body 或 Name，它们不存类型信息。
实操时先断言类型，再分别处理 Params 和 Results 字段（二者都是 *ast.FieldList）：
func visitFunc(f *ast.FuncDecl) {
if f.Type == nil {
return
}
typ := f.Type
// 参数：typ.Params.List
for _, field := range typ.Params.List {
for _, name := range field.Names {
fmt.Printf("param: %s -> %s\n", name.Name, formatType(field.Type))
}
}
// 返回值：typ.Results.List（可能为 nil）
if typ.Results != nil {
for _, field := range typ.Results.List {
for _, name := range field.Names {
fmt.Printf("return: %s -> %s\n", name.Name, formatType(field.Type))
}
}
}
}
field.Names 是标识符列表，匿名参数（如 func(int, string)）里 Names 为空切片，此时只看 field.Type 即可。
ast.Field 的 Names 为空时怎么判断是否是匿名参数
当 field.Names 长度为 0，就是匿名参数或匿名返回值，比如 func(string) error 中的 string 和 error 都没名字。
立即学习“go语言免费学习笔记（深入）”；
常见误判是把 field.Names == nil 当作条件，其实它是空切片（[]*ast.Ident{}），不是 nil。正确写法是：
if len(field.Names) == 0 {
// 匿名参数/返回值
typStr := formatType(field.Type)
fmt.Printf("anonymous: %s\n", typStr)
}
注意：field.Type 可能是基础类型（*ast.Ident）、指针（*ast.StarExpr）、切片（*ast.ArrayType）等，需递归解析；用 go/types 虽更准，但纯 AST 场景下靠 ast.Print 或自定义 formatType 就够用。
为什么 ast.Inspect 遍历时经常拿不到 FuncType
因为 ast.Inspect 默认只遍历语法树节点，而 *ast.FuncType 是嵌套在 *ast.FuncDecl.Type 里的，不会被自动“推入”回调栈——除非你显式访问它。
典型错误写法：
ast.Inspect(fset.File, func(n ast.Node) bool {
if fn, ok := n.(*ast.FuncDecl); ok {
// 这里 fn.Type 已存在，但 Inspect 不会再递归进去
// 所以别指望在回调里拿到 *ast.FuncType 节点
}
return true
})
正确做法是：在识别到 *ast.FuncDecl 后，手动检查并处理其 Type 字段，而不是依赖 Inspect 自动钻进 FuncType。如果真需要遍历 FuncType 内部（比如分析返回值中的 channel 类型），得自己调用 ast.Inspect(fn.Type) 单独处理。
返回值有命名但没类型（如 func() (err)）怎么处理
这种写法在 Go 中非法，编译不过，所以 AST 解析阶段根本不会生成合法的 *ast.FuncType。你遇到的其实是语法错误节点（*ast.BadStmt 或解析失败），go/parser 会跳过或填充占位符。
真实场景中，命名返回值一定带类型，例如 func() (err error)。此时 field.Names 有 err，field.Type 是 *ast.Ident{ Name: "error" }。如果看到 field.Names 非空但 field.Type == nil，基本说明源码有语法错误，或 parser 设置了 parser.ParseComments 但未启用 parser.AllErrors，导致部分节点不完整。
建议解析时加错误检查：
fset := token.NewFileSet()
astFile, err := parser.ParseFile(fset, filename, src, parser.AllErrors)
if err != nil {
// 打印所有错误，避免漏掉类型缺失类问题
fmt.Println(err)
}
纯 AST 层不校验语义，类型缺失、重名参数这些只能靠 go/types 配合做进一步检查。
