Go AST 怎样把同一 Field 上的多个参数名展开

遍历 FieldList.List 后，还要逐个遍历每个 Field.Names。例如 a, b int 是一个 Field，却代表两个参数；展开时为 a、b 分别生成条目，并沿用这个 Field 的 Type。若 Names 为空，无名参数仍应保留一个位置。

官方文档：https://pkg.go.dev/go/ast#Field；参数计数：https://pkg.go.dev/go/ast#FieldList.NumFields。

先选择计数还是生成参数明细

生成接口文档时，按 Field 输出一行会把 a、b 合在一起，按参数输出又需要两行。选方案之前先明确目标：保留声明分组就读取 List；只求参数总数可用 NumFields；需要参数名与类型的逐项明细才进行展开。

这里比较的是三种数据视图，不需要为了参数明细先引入完整类型检查。AST 能保存写法；如果要知道类型别名解析后的含义、泛型实例或跨包类型关系，再考虑 go/types。选择工具的依据是需要语法还是语义，而不是 API 数量多少。

逐个展开 Names 并保留共同类型

下面的完整原创示例生成独立的参数记录，不修改原 AST。它先将共享类型格式化一次，再为每个名称复制文本。示例没有执行，文中不把推导出的计数描述为本机日志。

package main

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

type Param struct {
 Name string
 TypeText string
}

func expand(fset *token.FileSet, list *ast.FieldList) ([]Param, error) {
 if list == nil { return nil, nil }
 var out []Param
 for _, field := range list.List {
  var text bytes.Buffer
  // 一组名称共用一个类型表达式，格式化一次即可。
  if err := format.Node(&text, fset, field.Type); err != nil {
   return nil, err
  }
  if len(field.Names) == 0 {
   // 无名参数依然占一个参数位置，空名称不冒充源码标识符。
   out = append(out, Param{TypeText: text.String()})
   continue
  }
  for _, name := range field.Names {
   out = append(out, Param{Name: name.Name, TypeText: text.String()})
  }
 }
 return out, nil
}

func main() {
 // a、b 共享 int；rest 是一个可变参数位置。
 const source = "package sample\nfunc Send(a, b int, rest ...string) {}\n"
 fset := token.NewFileSet()
 file, err := parser.ParseFile(fset, "sample.go", source, parser.SkipObjectResolution)
 if err != nil {
  fmt.Println("解析失败：", err)
  return
 }
 for _, decl := range file.Decls {
  fn, ok := decl.(*ast.FuncDecl)
  if !ok { continue }
  params, err := expand(fset, fn.Type.Params)
  if err != nil {
   fmt.Println("展开失败：", err)
   return
  }
  fmt.Printf("%s: 分组=%d 参数=%d\n",
   fn.Name.Name, len(fn.Type.Params.List), fn.Type.Params.NumFields())
  for index, param := range params {
   fmt.Printf("%d: %s %s\n", index+1, param.Name, param.TypeText)
  }
 }
}

Send 的参数列表中，a、b 共用一个 Field，rest 单独占一个 Field。因此分组数与实际参数位置数不同。遍历顺序应保持 List 的顺序和 Names 的顺序，不按名称排序；调用时的参数位置依赖这个顺序。

处理无名参数与可变参数

无名参数列表中的 int, string 各有一个没有名称的 Field。若只循环 Names，就会遗漏它们。示例用空字符串保留“源码没有名称”的事实；界面如果想展示 arg1 之类标签，应放在独立展示字段中，不能声称它是源码参数名。

空白标识符也不同于无名参数。Names 中的 _ 是一个实际书写的名称位置，应保留为一项，不因它不能被普通引用而跳过。无名返回值列表可以使用相同的展开思路，但输入应明确选择 Results，而不是误拿 Params。

可变参数的 Type 是 *ast.Ellipsis，格式化后保留省略号。它在函数签名里占一个参数位置，不应按某次调用传入几个实参展开。若构建语义签名，go/types 对可变参数有自己的表示，不能把那套表示直接当成源代码字面写法。

保留语法分组避免误改源码

上面的函数输出独立记录，适合文档或报表。若把原来的一个 Field 改成多个 Field，还要决定注释关联、位置、类型节点共享和格式化策略。直接浅拷贝后修改共享 Type 节点，可能影响多个条目；生成展示明细与重写源码应分别设计。

解析失败时可能返回部分 AST，本文示例直接报告错误，不继续给出完整参数结论。若只读已经成功解析的函数签名，通常不需要为展开动作执行函数体或启动目标程序。

常见问题：同一个 Field 的名字是否能使用不同类型？它们共享同一个 Type 表达式。Names 为空是否说明没有参数？不说明，无名参数仍占位置。NumFields 能替代展开吗？只能提供数量，不能给出每个参数的名称与类型明细。