Go TypeAndValue.Addressable 怎样识别可取地址表达式

在类型检查时初始化 types.Info.Types，用原始 AST 表达式节点取得 TypeAndValue，再调用 Addressable()，即可判断该表达式是否可寻址。它判断的是 Go 语言中的表达式属性，不是变量是否逃逸到堆，也不是运行时地址是否安全。

官方文档：https://pkg.go.dev/go/types#TypeAndValue.Addressable；取地址规则：https://go.dev/ref/spec#Address_operators。

从 map 元素能写却不能取地址说起

假设正在编写一个重构工具，希望给某些表达式补上取地址操作。直接按语法判断“标识符和索引都可以”，很快会遇到 map：m["k"] 可以作为赋值目标，却不能直接取它的地址。相同的索引外形，并不代表相同的语义属性。

原因是 Assignable 与 Addressable 的职责不同。普通变量和切片元素通常同时具备这两种属性；map 索引允许赋值，但不是可寻址变量。工具应让类型检查器提供结论，而不是靠字符串是否包含方括号决定。

收集表达式对应的 TypeAndValue

下面的独立分析程序将几种表达式放在空白赋值右侧，便于按 AST 顺序取出对应节点。代码只解析与检查源码，不执行 sample 包中的函数。本文没有运行该示例，后面的分类来自语言规则。

package main

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

func main() {
 // 右侧表达式覆盖变量、切片索引、map 索引和函数调用。
 const source = `package sample
type Cell struct{ N int }
func value() int { return 7 }
func inspect() {
 x := 1
 s := []int{2}
 m := map[string]int{"k": 3}
 _ = x
 _ = s[0]
 _ = m["k"]
 _ = value()
 _ = Cell{}
}
`
 fset := token.NewFileSet()
 file, err := parser.ParseFile(fset, "sample.go", source, 0)
 if err != nil {
  fmt.Println("解析失败：", err)
  return
 }
 // Types 必须分配，才能接收表达式的语义记录。
 info := &types.Info{Types: make(map[ast.Expr]types.TypeAndValue)}
 conf := &types.Config{}
 if _, err := conf.Check("example.com/sample", fset, []*ast.File{file}, info); err != nil {
  fmt.Println("类型检查失败：", err)
  return
 }
 ast.Inspect(file, func(node ast.Node) bool {
  assignment, ok := node.(*ast.AssignStmt)
  if !ok || assignment.Tok != token.ASSIGN || len(assignment.Lhs) != 1 {
   return true
  }
  blank, ok := assignment.Lhs[0].(*ast.Ident)
  if !ok || blank.Name != "_" || len(assignment.Rhs) != 1 {
   return true
  }
  expr := assignment.Rhs[0]
  tv, found := info.Types[expr]
  if !found {
   // 缺少记录和 Addressable 返回 false 是不同状态。
   fmt.Println("表达式没有类型记录")
   return true
  }
  var text bytes.Buffer
  if err := format.Node(&text, fset, expr); err != nil {
   fmt.Println("格式化失败：", err)
   return false
  }
  fmt.Printf("%s: addressable=%t assignable=%t\n",
   text.String(), tv.Addressable(), tv.Assignable())
  return true
 })
}

这里有两个容易漏掉的细节：Types 映射需要提前分配；查询时还要读取 map 的第二个返回值。若表达式根本没有记录，直接读取零值后调用 Addressable，会把“没有信息”错误描述成“确定不可寻址”。使用 AST 遍历输出，也避免直接遍历 map 导致顺序不稳定。

区分可寻址、可赋值和特殊语法

示例中的 x 表示变量，s[0] 是切片索引，两者可寻址。m["k"] 可以被赋值，但不可寻址。value() 的普通 int 返回值以及 Cell{} 这个复合字面量本身，不属于可寻址表达式。类型相同的 int 表达式，也可能具有不同属性，不能只看 tv.Type。

还有一个必须单独处理的语法例外：Go 允许对复合字面量取地址，例如 &Cell{}。这不表示 Cell{} 本身被 Addressable 判为 true。因此，“Addressable 为 false 就绝对不能出现 &”不是完整规则；判断具体取地址操作是否合法，还需要考虑规范允许的字面量例外与完整表达式上下文。

给重写工具保留完整上下文

重写工具可以先用 Addressable 筛选常规候选，再根据任务处理复合字面量等特殊情况。不要把非寻址的函数返回值简单改成临时变量并宣称语义不变：新增变量会影响作用域、求值位置以及指针指向的对象，必须按具体改写目标推理。

同样，切片索引可寻址不代表运行时一定成功，越界仍可能触发 panic；指针解引用可寻址也不能证明指针非 nil。这个 API 不进行运行时安全证明，更不回答分配发生在栈还是堆上。

项目分析时应保留同一轮 AST 与 Info 的关联。重新解析一个长得完全相同的节点，不会自动成为原映射的键。Check 失败时先处理诊断，不应把错误后的缺失记录当成可靠的否定结果。

常见问题：有类型是否就能取地址？不能，类型与表达式类别不同。map 元素想得到指针怎么办？可以按业务模型存储指针，或取值到独立变量，但后者的地址不代表原 map 元素地址。Addressable 与反射的运行时操作是一回事吗？不是，这里分析的是 go/types 记录的源码语义。