Go ast.IndexListExpr 怎样读取多类型实参实例化表达式

对包含多个显式类型实参的实例化语法，读取 *ast.IndexListExpr 的 X 获取基表达式，按顺序遍历 Indices 获取类型实参表达式。例如 Pair[int, []string] 中，X 对应 Pair，Indices 包含 int 与 []string。

这个节点随 Go 1.18 的泛型语法进入标准 AST。对维护源码分析工具而言，实际变化是不能只处理 IndexExpr。这里围绕已有能力说明接入方式，不把它描述成刚发布的新消息。

官方文档：https://pkg.go.dev/go/ast#IndexListExpr；设计背景：https://go.googlesource.com/proposal/+/master/design/47781-parameterized-go-ast.md。

把多类型实参与调用实参分开

在 Make[int, []string](1, []string{"x"}) 中，方括号里的内容属于实例化语法，圆括号里的内容属于函数调用。外层是 CallExpr，其 Fun 可以是 IndexListExpr，Args 则保存普通实参。把 CallExpr.Args 当成类型实参列表，会混淆两个层次。

同一种 IndexListExpr 也能出现在类型位置，如变量声明的 Pair[int, []string]。因此不能只扫描调用表达式，也不能看到实例化语法就断定它马上执行了函数。

读取 X 和 Indices 的最小示例

下面的原创完整示例遍历所有多实参节点，并将基表达式与每个实参格式化为文字。它只解析语法，没有执行目标源码，也没有在本文运行。示例包括声明、复合字面量和调用位置，帮助理解节点不局限于一种父节点。

package main

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

func render(fset *token.FileSet, expr ast.Expr) (string, error) {
 var buf bytes.Buffer
 // 使用格式化器展示任意类型语法，不假定所有实参都是标识符。
 err := format.Node(&buf, fset, expr)
 return buf.String(), err
}

func main() {
 const source = `package sample
type Pair[A, B any] struct { First A; Second B }
func Make[A, B any](a A, b B) Pair[A, B] {
 return Pair[A, B]{First: a, Second: b}
}
var _ Pair[int, []string]
var _ = Make[int, []string](1, []string{"x"})
`
 fset := token.NewFileSet()
 file, err := parser.ParseFile(fset, "sample.go", source, parser.SkipObjectResolution)
 if err != nil {
  fmt.Println("解析失败：", err)
  return
 }
 var displayErr error
 ast.Inspect(file, func(node ast.Node) bool {
  if displayErr != nil { return false }
  expr, ok := node.(*ast.IndexListExpr)
  if !ok { return true }
  base, err := render(fset, expr.X)
  if err != nil { displayErr = err; return false }
  fmt.Println("实例化语法基表达式：", base)
  for index, arg := range expr.Indices {
   text, err := render(fset, arg)
   if err != nil { displayErr = err; return false }
   fmt.Printf("类型实参位置 %d: %s\n", index+1, text)
  }
  // 继续遍历，才能发现实参内部可能嵌套的实例化语法。
  return true
 })
 if displayErr != nil { fmt.Println("格式化失败：", displayErr) }
}

Indices 的元素类型是 ast.Expr。实参可以是切片类型、指针类型、选择器或嵌套实例化，不能一律断言为 ast.Ident。X 也可能是包限定选择器，不一定只是一个短名称。用 format.Node 展示语法，能避免手工拼接遗漏复杂结构。

Lbrack 和 Rbrack 保存方括号位置，解释位置时应沿用解析阶段的 FileSet。展示文本经过格式化，不等于原始源码片段逐字保留；需要精确编辑范围时应按原始位置和源码处理。

兼容单实参与省略类型实参

只有一个显式类型实参时，解析器使用 ast.IndexExpr，例如 Box[int]。这与普通数组、切片、map 的索引共用节点外形，所以不能把所有 IndexExpr 都归类为泛型实例化。新增 IndexListExpr 分支后，原来的单索引分支仍需保留。

函数调用如果依靠类型推断省略显式实参，AST 中也不会凭空出现一个方括号节点。想获得推断后的类型实参，应在类型检查时收集 types.Info.Instances；仅扫描 IndexListExpr 能提供的是源码写出来的多实参语法。

把语法结果限定在正确范围

解析成功说明语法可以构建，不代表基表达式一定是泛型对象、实参数量正确或满足约束。示例刻意只做语法展示；用于迁移或重构时，应由语义分析确认对象身份和实例化是否合法。

旧工具升级时，应检查访问器的类型分支，而不是把所有方括号统一改成 Indices 读取。IndexExpr 与 IndexListExpr 是不同节点，切片表达式又是 SliceExpr。支持这些分支不会自动补齐泛型约束、实例对象或推断能力。

常见问题：遍历时返回 false 会怎样？它会跳过当前节点的子树，可能漏掉嵌套实例化。类型实参列表是否就是参数声明列表？不是，声明上的 TypeParams 与使用处的实参列表应分别处理。能按格式化后的类型名称判断两个实例相同吗？不能，语义身份应交给类型系统判断。