Go go/constant 怎样只计算常量字符串长度

对于已经拿到的 constant.Value，只想计算字符串常量长度，可以直接调用 Go 1.27 新增的 constant.StringLen(v)，不必先用 constant.StringVal(v) 提取完整内容再取长度。返回值是 int64，单位是字节；调用前最好检查值是否存在、是否属于字符串。

我的取舍很简单：静态分析报告只需要一个长度，就尽量不把完整内容带到报告层。但这不是一个“任何输入都更快”的承诺，也不是把源码文本交给 StringLen 就能自动求值。它的输入仍然是常量对象。

Go 官方地址：https://go.dev/

我会先区分源码文本与常量值

如果我要为代码检查器补一列“字符串常量字节数”，第一个要定下来的不是展示样式，而是这列数据从哪里来：源码中的字面量文本、已经解码的普通字符串，还是类型分析器提供的常量值。三种输入看着相近，职责却不一样。

字面量文本包含语法形式，例如双引号与转义字符；普通字符串是运行时已经拥有的值；constant.Value 则适合编译工具、静态分析与常量运算。本文的独立示例从字面量创建对象，而真实项目如果已经有类型检查结果，就应直接使用其中的常量值，避免再造一套不完整的求值器。

把未知值和错误类型挡在长度查询外

StringLen 接受字符串常量，也接受 Unknown；后者返回 0，其他种类会 panic。这种 API 约定对编译工具有用，但在业务报告中，0 往往会被读者理解为“合法的空字符串”。所以我倾向于在调用边界加一层包装：长度为 0 可以成功，未知值必须保留诊断信息。

下面是一个独立的 Go 1.27 示例。辅助函数返回 (int64, error)，并先处理 nil，避免在没有常量值时直接调用方法。

package main

import (
    "fmt"
    "go/constant"
    "go/token"
)

// StringBytes 把无值、未知和错误类型与真正的空字符串区分开。
func StringBytes(v constant.Value) (int64, error) {
    if v == nil {
        return 0, fmt.Errorf("没有常量值")
    }
    switch v.Kind() {
    case constant.Unknown:
        return 0, fmt.Errorf("常量值未知")
    case constant.String:
        return constant.StringLen(v), nil
    default:
        return 0, fmt.Errorf("需要字符串常量，实际类型为 %v", v.Kind())
    }
}

func main() {
    // 参数必须保留 Go 字面量的引号；零参数是 API 固定要求。
    left := constant.MakeFromLiteral(`"海"`, token.STRING, 0)
    right := constant.MakeFromLiteral(`"风"`, token.STRING, 0)
    if left.Kind() != constant.String || right.Kind() != constant.String {
        fmt.Println("字符串字面量无效")
        return
    }
    // 只构造常量拼接值，查询时不取完整字符串内容。
    joined := constant.BinaryOp(left, token.ADD, right)
    n, err := StringBytes(joined)
    if err != nil {
        fmt.Println(err)
        return
    }
    fmt.Printf("字节长度：%d\n", n)
}

按照示例中两个汉字的 UTF-8 编码，预期打印的字节长度是 6。这是由示例内容推导的结果，不是本机执行记录。把左边换成合法空串后应得到成功的 0；把辅助函数输入换成未知值，则应走错误分支。两条路径不能在报表里合并。

保留 Value，只在需要时取长度

上面用 BinaryOp 和 token.ADD 表达两个字符串常量的拼接关系，joined 仍然是一个 Value。StringLen 对这个对象查询长度，调用方不需要拿到完整拼接文本。Go 1.27 发布说明明确指出，这个新增函数能够在不完整构造 Value 内容的情况下返回字符串长度。

我不会为这种改动捏造一个提速比例。它减少的是“只是为了长度而提取内容”的需求，不会免除读取源文件、解析语法或类型分析的成本。若前面已经主动提取过完整字符串，后面再换一个长度接口，也不能把之前的构造成本抹掉。

当前官方实现对拼接关系求子值长度之和，对已保存的字符串取字节长度。这有助于理解它为何不必提取完整内容，但实现方式不是永远不变的性能契约；不要据此承诺所有对象上的查询都是常数时间或零分配。

长度报告只保存需要的数据

在我的设计里，报表项 LengthRecord 只保存源位置 SourcePos、字节长度 Bytes 和诊断 Diagnostic；这三个是应用自定义字段，不是 go/constant 的导出结构。计算期间需要的 Value 不必随结果长期缓存。

最容易混淆的是三种“长度”：源码写法占多少字节、常量解码后占多少字节、读者看到多少个字符。比如源码字面量中写一个换行转义，解码后的换行只占一个字节；引号不属于值。中文字符通常不止一个 UTF-8 字节，带组合符号或表情时，码点数也未必等于屏幕上的字形数。

因此，我会把字段明确命名为 Bytes，而不是一个泛泛的 Length。需要字符统计时应另设需求与规则；StringLen 并没有提供字形分割功能。已经拥有普通字符串时，直接用语言内置的 len 得到字节数即可，没有必要为了调用新接口再包装成 Value。

表达式不是字面量，错误也不是空串

MakeFromLiteral 负责单个字面量，不负责分析一整段带运算符的表达式。若输入是两个字符串的加法，可以利用已有类型检查结果；对于不依赖项目作用域的独立表达式，可按下面的形式使用 types.Eval。这段代码独立成包，不依赖前面的 main。

package measure

import (
    "fmt"
    "go/constant"
    "go/token"
    "go/types"
)

// ExpressionBytes 仅分析独立表达式，不执行表达式中的业务函数。
func ExpressionBytes(expr string) (int64, error) {
    // nil 包使用预声明作用域，不会自动加载项目变量和导入。
    tv, err := types.Eval(token.NewFileSet(), nil, token.NoPos, expr)
    if err != nil {
        return 0, fmt.Errorf("表达式分析失败: %w", err)
    }
    if tv.Value == nil {
        return 0, fmt.Errorf("表达式不是常量")
    }
    if tv.Value.Kind() != constant.String {
        return 0, fmt.Errorf("表达式不是已知字符串常量")
    }
    return constant.StringLen(tv.Value), nil
}

这个入口只取得表达式的类型以及可用的常量值，不执行任意业务函数。传 nil 包时只使用预声明作用域，项目中的名称和导入不会凭空出现。涉及包内常量时应接入已有类型检查的包和位置；处理完整源文件，也不应用大量零散 Eval 调用取代完整的包类型检查。

还要保留三个不同错误：表达式无法分析、表达式不是常量、常量不是字符串。把它们都改成 0，会让“没算出来”看起来像“长度正确且为空”。这个区分在我看来比给报告加一列花哨的状态颜色更重要。

我的取舍是先减少内容提取，再谈性能

如果工具本来就在遍历常量对象，我会优先采用 StringLen；如果只处理已经加载进来的普通字符串，我不会为它新增静态分析层。需要兼容没有此 API 的旧工具链时，必须设计独立的兼容实现或继续使用旧路径，不能指望运行时版本判断让编译器忽略不存在的符号。

生命周期方面，文件分析结束后，应让不再需要的 AST、类型信息、Value 容器和缓存引用自然退出作用域或从长期容器中移除；不用手动关闭常量对象，也不要为了清理它们强制触发垃圾回收。报告只留下必要字段，通常比长期保留所有源文本更符合这个任务。

这份方案适合“我已有常量，只缺长度”的工具。它不提供输入总量限制，不保证超大表达式没有资源成本，也不替代输入预算设计。要做性能判断，应在自己的输入分布下比较相同任务的耗时与分配；本文没有提供虚构的压测结果。

StringLen 返回的是 int 还是 int64？

返回 int64。若后续接口只收 int，应根据目标平台与业务范围处理转换，不要无条件窄化。

Unknown 的结果也是 0，怎么识别空串？

在查询前检查 Kind，或者像示例一样返回诊断。已知字符串的成功结果可以是 0，未知值不应被报告成已知空串。

只是取长度，还需要 StringVal 吗？

对于已经持有的字符串常量，不需要。只有确实要读取内容时再提取完整字符串；长度查询与内容展示应该由不同需求驱动。

官方接口说明：go/constant.StringLen、go/types.Eval、go/constant 官方实现。