Go FieldList.List 长度为什么不等于参数个数

在 Go AST 中，FieldList.List 的长度统计的是 *ast.Field 节点数，不是源码里每一个参数名的数量。比如 func merge(a, b int, c string) 通常被分成两个 Field：第一个 Field 的 Names 是 [a,b]，第二个是 [c]，所以 len(List) 为 2，而逻辑参数个数是 3。

官方地址：https://pkg.go.dev/go/ast#FieldList

需要统计参数或结构体字段的逻辑数量时直接调用 FieldList.NumFields()；需要知道每个参数名、类型或标签时，再遍历 List 并展开每个 Field 的 Names。

FieldList.List 统计的是哪一层

FieldList 是括号、花括号或方括号中的字段集合，List 保存的是字段声明分组。Go 语法允许把多个同类型名字合并写在一个声明里，因此 AST 保留了“这一组名字共享一个类型”的信息，而不是强行复制成多个 Field。

解析工具可以先观察每个 Field 的名字数量，再决定使用哪一种计数：

package main

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

func main() {
	// 让参数分组保持原样，便于观察 List 与 Names 的差异。
	source := `package demo
func merge(a, b int, c string) {}`
	fset := token.NewFileSet()
	file, err := parser.ParseFile(fset, "demo.go", source, parser.SkipObjectResolution)
	if err != nil {
		// 解析失败时不要继续读取不完整的 AST。
		panic(err)
	}
	for _, decl := range file.Decls {
		fn, ok := decl.(*ast.FuncDecl)
		if !ok || fn.Type.Params == nil {
			continue
		}
		fmt.Println("List:", len(fn.Type.Params.List))
		fmt.Println("NumFields:", fn.Type.Params.NumFields())
		for i, field := range fn.Type.Params.List {
			// 一个 Field 可能承载多个同类型名字。
			fmt.Printf("Field %d names=%d\\n", i, len(field.Names))
		}
	}
}

这个例子里 len(fn.Type.Params.List) 只能回答“有几组参数声明”，不能回答“函数签名有几个参数”。如果代码要做参数统计、文档生成或签名索引，应优先使用语义更明确的 NumFields。

NumFields 为什么能得到参数个数

官方实现的规则很直接：遍历 List，令 m = len(field.Names)；当 Names 为空时按 1 计数，最后把每个 Field 的贡献相加。于是合并声明 a, b int 贡献 2，未命名的 int 贡献 1。

如果工具需要保留名字，可以在同一轮遍历中展开；如果只要参数或字段总数，不要重新猜测匿名项的含义：

func listParameterNames(params *ast.FieldList) []string {
	// nil 参数列表表示没有参数，返回空切片更适合调用方继续处理。
	if params == nil {
		return []string{}
	}
	names := make([]string, 0, params.NumFields())
	for _, field := range params.List {
		if len(field.Names) == 0 {
			// 未命名参数没有可展开的标识符，只记录计数，不伪造名字。
			continue
		}
		for _, name := range field.Names {
			names = append(names, name.Name)
		}
	}
	return names
}

注意这里的切片长度是“有名字的参数数”，不一定等于 NumFields()。例如 func f(int, string) 的名字切片长度为 0，但 NumFields() 仍然是 2。

四种声明写法的计数结果

在 AST 工具中怎样选计数方式

可以按目标做一个简单决策：要统计签名或字段的逻辑数量，使用 NumFields()；要生成参数名列表，遍历 field.Names；要保留源码分组、共享类型和标签关系，使用 len(List) 并继续读取每个 Field。三者回答的是不同问题，不能互换。

另外要处理 FieldList 为 nil 的情况。官方 NumFields 对 nil receiver 返回 0，但自定义遍历前仍应先判断指针；解析器遇到语法错误时也不要把残缺 AST 当成完整签名。对函数声明、函数类型、方法和结构体字段分别取到对应的 FieldList 后，统一按上述规则处理即可。

常见疑问

len(List) 什么时候才是正确答案？

当问题是“源码被分成了几组字段声明”，例如需要保留共享类型、标签或格式化分组时，len(List) 就是正确答案。

只想知道参数总数，是否应该自己遍历？

不需要。直接使用 NumFields() 能覆盖命名、未命名和 nil 列表；只有在需要参数名、类型或标签的同时才遍历 List。

记住这一层差异，AST 工具就不会把“声明分组数”误报成“参数个数”：List 看节点组织，Names 看显式名字，NumFields 看逻辑字段。