Go go/constant.ToInt 把常量值转换为整数的边界处理

处理 Go AST 常量或静态配置时，constant.Value 不是普通的 int。稳妥做法是先看 Kind，再调用 constant.ToInt；返回值为 Unknown 时立即进入错误或降级分支，得到 Int 后还要用 Int64Val 检查能否精确落到业务需要的 int64。

ToInt 负责“能不能表示成整数”，Int64Val 负责“能不能精确装进 int64”，两次判断不能合并。

先区分 Value 的 Kind 与转换目标

go/constant 用 Value 表示无类型常量，Kind 可能是 Int、Float、Complex、Bool、String 或 Unknown。因此“看起来像数字”不等于可以直接当整数使用：2.0 可归一为整数，而 2.7 和复数没有这个保证。

调用 constant.ToInt 归一化可表示值

下面的辅助函数把转换和错误边界集中在一起。示例刻意保留原始值，方便上层在解析配置或 AST 时输出定位信息；代码没有把 Unknown 当成 0。

package main

import (
    "fmt"
    "go/constant"
)

func integerValue(v constant.Value) (constant.Value, error) {
    // 先拦截非数值类别，避免把类型错误伪装成数值转换失败。
    switch v.Kind() {
    case constant.Int, constant.Float:
        // ToInt 只在值可表示为整数时返回 Int，否则返回 Unknown。
        n := constant.ToInt(v)
        if n.Kind() == constant.Unknown {
            return nil, fmt.Errorf("%s 不能表示为整数", v.ExactString())
        }
        return n, nil
    default:
        return nil, fmt.Errorf("Kind=%s 不是整数输入", v.Kind())
    }
}

这里的“可表示”不是向下取整，也不是四舍五入。比如从文本构造 2.7 后，ToInt 会给出 Unknown；这正是解析器应该保留的信号。

用 Kind 和 Int64Val 做结果核对

得到 Int 只完成第一层转换。如果后续结构使用 int64，还要调用 constant.Int64Val 并检查第二个返回值。对未知值，函数返回 0, false；对无法精确承载的结果，不能把第一个返回值当成可靠业务值。

func toInt64(v constant.Value) (int64, error) {
    // 第一层：把输入归一化为 Int，非整数直接返回错误。
    n, err := integerValue(v)
    if err != nil {
        return 0, err
    }
    // 第二层：确认整数能精确落在 int64，而不是只取一个近似值。
    result, exact := constant.Int64Val(n)
    if !exact {
        return 0, fmt.Errorf("%s 超出 int64 的精确范围", n.ExactString())
    }
    return result, nil
}

如果业务允许任意精度，应保留 constant.Value 或转成 *big.Int，不要为了方便日志或结构体字段而强行压缩成 int64。

为 AST 与配置解析补上边界测试

测试至少覆盖整数、整数值浮点、非整数浮点、复数、未知值和超大整数。断言重点不是某个字符串输出，而是 Kind、错误分支以及 Int64Val 的精确标志是否符合协议。

• 接受：MakeInt64(42) 和可精确表达的整数值浮点。
• 拒绝：2.7、复数、布尔值、字符串和 Unknown。
• 保留：超过 int64 的整数交给大整数路径。

相关问题

ToInt 会把 2.7 截断成 2 吗

不会。它只在值可表示为 Int 时返回整数，否则返回 Unknown；取整策略应由业务明确实现。

为什么 ToInt 成功后还要调用 Int64Val

Int 代表任意精度的整数，而 int64 有固定范围；Int64Val 的布尔结果用来确认转换是否精确。

Unknown 能不能当作 0 继续处理

不建议。0 可能是合法输入，Unknown 表示无法确定或无法表示，应该保留为错误、缺省或待解析状态。