Go constant.ToInt 怎么判断编译期数值是否为整数

处理 Go 的编译期常量时，不能只看它原来的字符串形式。更稳妥的判断是先调用 constant.ToInt，再检查返回值的 Kind()：结果是 constant.Int，说明这个值可以被精确表示为整数；结果是 constant.Unknown，说明这次转换没有得到整数。

官方参考：https://pkg.go.dev/go/constant

先看 Kind：ToInt 成功不等于原值就是 Int

constant.Value 保存的是常量的数值语义，整数、浮点数、有理数和复数都可能是不同的内部表示。ToInt 的作用不是强制截断，而是尝试做“精确转换”。因此，3.0 可以转换，3.5 不会被偷偷变成 3。

下面的例子分别准备整数、整值浮点数、非整数有理数和带虚部的复数，再查看转换结果：

package main

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

func main() {
	// 用 BinaryOp 构造有理数，避免依赖字符串格式判断数值类型。
	rational := constant.BinaryOp(constant.MakeInt64(7), token.QUO, constant.MakeInt64(2))
	values := []constant.Value{
		constant.MakeInt64(12),
		constant.MakeFloat64(3.0),
		rational,
		constant.MakeImag(constant.MakeInt64(4)),
	}

	for _, value := range values {
		// ToInt 只接受精确的整数化结果，不做向零截断。
		integer := constant.ToInt(value)
		fmt.Printf("原类型=%v，整数化结果=%v\n", value.Kind(), integer.Kind())
	}
}

判断时不要比较 String()，也不要把 Float 直接当成失败。真正稳定的判据是：

func isIntegerValue(value constant.Value) bool {
	// Unknown 表示无法精确表示为整数，Kind 比字符串结果更可靠。
	return constant.ToInt(value).Kind() == constant.Int
}

分数、复数和 Unknown 要按边界处理

对有理数来说，分子能被分母整除才算整数；7/2 的数学值是 3.5，所以不会通过。对复数来说，只有虚部为零、且实部还能精确变成整数时才有机会通过。带有非零虚部的值不能被当作普通整数。

这也是 ToInt 与“取整函数”的区别：它不会替你做舍入、截断或溢出包回绕。如果结果是 constant.Unknown，调用方应该保留原值并报告不符合约束，而不是继续调用 Int64Val 期待得到一个有意义的数字。

如果上游可能已经传入 constant.Unknown，仍然可以复用同一判定函数，因为它的 Kind() 不会误报为 constant.Int。这样在表达式分析或代码生成中，判断逻辑可以集中在一个小函数里。

整数性判断之后，再做范围判断

得到 constant.Int 只说明它是整数，并不代表它能装进所有 Go 整数类型。Int64Val 用来判断整数能否安全落在 int64 中；它的第二个返回值为 false 时，不能把第一个返回值当成完整结果。

func int64Value(value constant.Value) (int64, bool) {
	integer := constant.ToInt(value)
	if integer.Kind() != constant.Int {
		// 先排除分数、非整浮点数和不可转换的复数。
		return 0, false
	}
	// ok=false 表示整数超出 int64 可表示范围。
	return constant.Int64Val(integer)
}

如果目标是 int32、uint8 或当前平台的 int，还要在 Int64Val 成功后比较各自的上下界。Go 类型检查器本身也是先把常量转成整数，再继续做具体整数类型的范围检查。把这两层拆开，错误信息会更准确：前者是“不是整数”，后者是“是整数但超出目标类型”。

实际使用时保留三层结论

在常量折叠、代码生成或配置解析中，可以按下面的顺序处理：

1. 调用 constant.ToInt，用 Kind()==constant.Int 判断整数性。
2. 需要传入 int64 API 时，再调用 constant.Int64Val 检查可表示性。
3. 需要生成具体 Go 类型时，最后按 int32、uint 或平台 int 的边界检查。

一句话总结：ToInt 是精确整数化，不是强制取整；Kind 负责回答“是不是整数”，Int64Val 和目标类型边界负责回答“能不能安全使用”。

常见问题

constant.ToInt 会把 3.9 变成 3 吗？

不会。它只接受可以精确表示成整数的值，3.9 会得到 constant.Unknown，不会执行截断。

Kind()==constant.Int 就一定能赋给 int 吗？

不一定。它只证明数值是整数；数值仍可能超过当前平台 int 的范围，需要继续做目标类型边界检查。