Go constant.BinaryOp 的整数除法与 QUO_ASSIGN 有什么区别

先给结论：对两个 constant.Int 调用 constant.BinaryOp 时，token.QUO 表示普通除法，结果会保留为有理数；token.QUO_ASSIGN 虽然名字对应 /=，在这个 API 中却是“强制整数除法”的特殊信号，结果保证是 Int。例如 7 除以 3，前者得到 7/3，后者得到整数商 2。

官方资料：https://pkg.go.dev/go/constant　https://go.dev/src/go/constant/value.go

一、先用同一组 Int 输入观察两种结果

下面的代码故意让左右操作数完全相同，只替换运算符。这样可以排除输入差异，直接看到 API 契约：QUO 返回 Rat，QUO_ASSIGN 返回 Int。

package main

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

func main() {
	// 使用两个整数常量，专门比较两种除法 token 的结果 Kind。
	x := constant.MakeInt64(7)
	y := constant.MakeInt64(3)

	// QUO 保留精确分数，不把结果截断成整数。
	quotient := constant.BinaryOp(x, token.QUO, y)
	// QUO_ASSIGN 是 BinaryOp 约定的强制整数除法信号。
	integerQuotient := constant.BinaryOp(x, token.QUO_ASSIGN, y)

	fmt.Printf("QUO: %s, kind=%v\n", quotient, quotient.Kind())
	fmt.Printf("QUO_ASSIGN: %s, kind=%v\n", integerQuotient, integerQuotient.Kind())
}

输出的核心差异是 QUO: 7/3, kind=Float 与 QUO_ASSIGN: 2, kind=Int。在 go/constant 的公开类型分类中，有理数值归入 Float Kind；这不代表发生了二进制浮点舍入，而是 API 用该 Kind 表示精确的有理数表示。

二、BinaryOp 为什么把两个 token 分成两条路径

实现先匹配两个操作数的数值表示，再按左值的内部类型处理。对于 Int，token.QUO 使用分子和分母构造有理数；token.QUO_ASSIGN 则使用整数商运算，最后返回 Int。因此两者的差别不是“是否真的给变量赋值”，而是“是否保留除法余数”。

这里要特别注意输入边界：QUO_ASSIGN 的强制整数语义是针对两个 Int 操作数的。它不是把浮点值“转换成整数”的通用函数；将它套到不支持的数值 Kind 上，应当视为调用错误，而不是期待自动转换。

三、对照 Go 编译器的常量求值规则

这个特殊 token 不是随意设计的。Go 类型检查器处理常量表达式时，会识别“除法运算符是 QUO 且操作数是整数”的情况，然后在调用 constant.BinaryOp 前改用 QUO_ASSIGN。这样，语言层面的整数常量除法与 API 层面的结果类型能够对齐。

因此，自己编写 AST 或常量求值工具时有两种选择：如果你要表达“普通精确除法”，直接传 token.QUO；如果你要复现 Go 对整数常量表达式的结果，就在确认两侧都是 Int 后传 token.QUO_ASSIGN。不要仅因为代码里出现了字符 /，就默认 API 会替你选择整数结果。

四、按输入类型和异常边界选择调用方式

可以用下面的决策顺序减少误用：

1. 先确认两个 Value 是否都是 Int；不确定时先看 Kind()，不要直接强制转换。
2. 需要精确分数、比例或后续有理数计算时，使用 token.QUO。
3. 需要与 Go 整数常量语义一致，且确认两侧都是 Int 时，使用 token.QUO_ASSIGN。
4. 在进入运算前检查除数是否为零，因为官方契约明确说明除零会 panic。

同时记住 BinaryOp 不负责比较和移位：比较应使用 constant.Compare，移位应使用 constant.Shift。把这些 token 混在同一个 BinaryOp 分派器里，会把“结果类型不同”和“API 不支持该运算”混成一个问题。

相关问题

QUO_ASSIGN 会改变传入的 constant.Value 吗？

不会。Value 是作为输入参与计算的，返回值才是新的计算结果；这个 token 只改变 BinaryOp 的除法语义，不表示对左值做赋值。

为什么 QUO 的结果 Kind 看起来像 Float？

go/constant 用 Float Kind 覆盖精确有理数与浮点表示，打印出的 7/3 仍然保留分子和分母，不等同于转成 float64 后的近似值。