Go TypeAndValue.IsValue 与 IsType 有什么区别

我第一次给 Go AST 工具加表达式分类时，看到 go/types.TypeAndValue 里有 Type 字段，就顺手把“Type 非空”当成了“这是一个值表达式”。结果类型名、内建函数和普通变量被放进了同一条分析路径。后来我把判断拆开，才发现 IsType 与 IsValue 解决的是两个不同问题。

简单说：IsType() 回答“这个表达式是不是在指定一个类型”，IsValue() 回答“这个表达式是不是一个可以作为值使用的表达式”。TypeAndValue.Type 只能告诉你类型信息，不能替代这两个语义判断。

官方参考地址：https://pkg.go.dev/go/types#TypeAndValue

先把 TypeAndValue 看成一份分类结果

TypeAndValue 报告对应表达式的类型，以及常量表达式可能拥有的常量值。也就是说，Type 和 Value 是结果数据，而 IsType、IsValue、IsBuiltin、IsNil 是围绕表达式语义提供的判断入口。

IsType 判断的是“类型表达式”

IsType() 为真时，说明对应表达式指定了一个类型。最容易遇到的例子是预声明类型名 int、命名类型名 UserID，以及泛型代码中的类型参数或实例化后的类型表达式。

这里的重点是：类型名本身可以有 Type 信息，但它不因此变成一个值。对于一个静态分析器，如果目标是收集“参与运算的值”，应该先排除 IsType() 为真的表达式，而不是把所有有类型的 AST 节点都收进去。

// 这段辅助函数只把类型表达式和普通值表达式分开。
func classify(tv types.TypeAndValue) string {
    // Type 非空只说明类型检查有结果，不能单独说明它是值。
    if tv.IsType() {
        return "type-expression"
    }
    // 值判断交给 go/types，避免复制内部 operand mode 规则。
    if tv.IsValue() {
        return "value-expression"
    }
    // 内建函数、无返回值调用等情况应交给更具体的分支处理。
    return "other-expression"
}

从 API 设计角度看，IsType 是“表达式身份”判断，不是对 Type 字段的非空检查。这个差别在处理类型转换时尤其重要：int(x) 的外层调用结果是值，但里面的 int 标识符是类型表达式，不能把两个 AST 节点混在一起。

IsValue 判断的是“可作为值的表达式”

IsValue() 覆盖的范围比“有一个常量值”大。常量、变量、普通值、map 索引，以及 comma-ok 或 comma-err 形式都可能是值表达式。对常量来说，tv.Value 通常还能提供精确的常量值；对变量来说，Value 为空并不代表它不是值。

这也是我之前判断错误的根源：把 Value != nil 当作值判断，只能识别一部分常量，变量和普通表达式会被漏掉。

// 读取 Info.Types 时，Type 与 Value 要分别解释。
func describe(tv types.TypeAndValue) string {
    // 先处理类型表达式，避免把类型名加入值集合。
    if tv.IsType() {
        return "这是类型表达式"
    }
    // IsValue 能覆盖变量和非常量值，不能用 Value 非空替代它。
    if tv.IsValue() {
        if tv.Value != nil {
            // 常量才通常带有可格式化的精确值。
            return "这是带常量值的值表达式"
        }
        return "这是没有常量值字段的值表达式"
    }
    // 这里保留给 builtin、void 等非值模式。
    return "这不是普通值表达式"
}

因此，IsValue 的问题不是“能不能从 Value 字段读出数字”，而是“这个表达式在类型检查语义上能不能作为值参与后续处理”。如果你的工具要做常量折叠，继续检查 Value；如果要找所有值表达式，使用 IsValue。

IsBuiltin 和 IsNil 要单独看

内建函数标识符是一个容易混淆的边界。IsBuiltin() 判断的是表达式是否表示内建函数本身，例如标识符 len。官方文档明确说明，内建函数不被 IsValue() 当作值。可是 len(s) 的外层调用表达式会产生返回值，分析时应当看这个调用节点自己的 TypeAndValue，不能把它和里面的 len 标识符混为一谈。

nil 则是另一种情况：它是预声明的 nil 值。需要判断“是不是 nil”时用 IsNil()；需要判断“是不是值表达式”时用 IsValue()。两个问题可以同时成立，但含义不同。

在 AST 工具中采用什么判断顺序

我现在会把调用方逻辑写成“先排类型，再识别特殊身份，最后处理值”的顺序。这样做不是为了复制 go/types 的内部实现，而是让工具的业务目标与 API 语义对齐：

1. 先调用 IsType()，把类型名、类型参数等类型表达式从值集合中排除。
2. 再调用 IsBuiltin() 和 IsNil()，保留内建函数与 nil 的专门标签。
3. 最后调用 IsValue()，收集变量、常量、普通表达式和 comma-ok/comma-err 结果。
4. 只有在确认是值后，才根据 Value 是否为空决定是否读取精确常量信息。

如果你的工具只关心“表达式有没有类型”，可以直接使用 Type；如果关心“表达式在源码语义中扮演什么角色”，就应该使用这些方法组合判断。尤其不要把 Type != nil、Value != nil 和 IsValue() 当成三个等价条件。

最后用一句话记住区别

IsType 识别“正在描述类型”的表达式，IsValue 识别“可以作为值使用”的表达式；Type 是类型结果，Value 是常量值补充。内建函数标识符用 IsBuiltin，nil 身份用 IsNil，而类型转换或内建函数调用要看外层节点自己的 TypeAndValue。

相关问题

TypeAndValue.Value 为空是不是说明表达式没有值？

不是。变量和很多普通值表达式没有常量值字段，但仍可能让 IsValue() 返回真。

为什么不能只看 Type 字段？

因为类型表达式本身也有类型信息，而静态分析经常需要区分“描述一个类型”和“产生一个值”这两类节点。

len(s) 应该看 IsBuiltin 还是 IsValue？

看你正在分析哪个 AST 节点：标识符 len 用 IsBuiltin()，外层调用 len(s) 则按调用结果的 IsValue() 判断。