Go Expr 整数除法与浮点除法的返回结果有什么区别

Go 中看到 7 / 3，很多人会先想到整数除法；但放进 Expr 后，真正决定返回结果的不是“看起来像整数”这一点，而是表达式的数值类型和编译时返回类型约束。整数文字量、浮点文字量、float()、int() 以及 AsFloat64 会让结果值和 Go 接收类型产生不同组合。

官方地址：https://github.com/expr-lang/expr

先看触发信号：结果值和 Go 类型同时不符合预期

典型问题有两个：规则表达式写成 7 / 3 后得到整数结果，或者调用方用 output.(float64) 接收时发生类型断言错误。Expr 官方语言定义把整数和浮点数列为不同字面量类型，也把 / 和 % 分开列为算术运算。因此排查时先记录两件事：表达式中是否出现小数点，以及编译时是否使用了返回类型选项。

当前章节只讨论 Expr 的数值表达式，不把它和 Go 源码中的常量推导规则混为一谈。图 1 用静态结构关系表示输入数值域、Expr 计算域和返回契约之间的边界。

整数除法和浮点除法差别在结果值

如果两个操作数都属于整数域，除法结果会保留整数语义，小数部分不会自动变成比例值；例如把数量 7 分成 3 份，得到的是整数商。只要表达式明确进入浮点域，结果就可以保留小数，例如使用 7.0 或显式调用 float()。

package main

import (
    "fmt"

    "github.com/expr-lang/expr"
)

func main() {
    cases := []string{
        "7 / 3",          // 两个整数文字量，按整数域计算。
        "7.0 / 3",        // 一个浮点文字量，把运算带入浮点域。
        "float(7) / 3",   // 先显式转换，再进行除法。
        "int(7.9) / 3",   // 先截断为整数，再做整数域计算。
    }

    for _, code := range cases {
        output, err := expr.Eval(code, nil)
        if err != nil {
            // 表达式解析或运行失败时，保留原始错误供上层判断。
            fmt.Printf("%s -> error: %v\\n", code, err)
            continue
        }
        // 同时打印动态类型和数值，避免只看 fmt.Printf 的展示结果。
        fmt.Printf("%s -> %T %v\\n", code, output, output)
    }
}

这个示例的判断重点不是输出格式，而是“转换发生在除法前还是结果后”。float(7) / 3 表示先改变操作数的计算域；而在编译选项中使用 AsFloat64，解决的是最终结果交给 Go 调用方时的类型契约。

用显式转换固定计算意图

业务规则中只要表达“平均值、比例、折扣或速率”，就不要依赖读者猜测。优先把计算意图写进表达式：

code := `float(done) / float(total) * 100`

program, err := expr.Compile(code, expr.AsFloat64())
if err != nil {
    // 编译期先拒绝不符合返回类型约束的表达式。
    return err
}

output, err := expr.Run(program, map[string]any{
    "done":  7,
    "total": 3,
})
if err != nil {
    // 运行期仍需处理除数为零等错误。
    return err
}

percent, ok := output.(float64)
if !ok {
    // 类型断言失败说明表达式契约或接收方式发生了漂移。
    return fmt.Errorf("unexpected result type %T", output)
}
_ = percent

int() 适合明确要整数结果的场景，例如页码、数量或离散等级；float() 适合比例计算。不要先用整数除法得到被截断的商，再用 float() 把这个商包装成浮点数，因为丢失的小数已经无法恢复。

出现异常时按三项检查处理

当返回结果不符合预期，可以按下面的运行手册排查：

1. 先看操作数：检查是否写成 7 而不是 7.0，动态变量是否从 JSON 或环境映射成了整数。
2. 再看转换位置：比例计算应在除法前使用 float()；只有最终输出需要整数时才在结果边界使用 int() 或 AsInt。
3. 最后看接收类型：使用 AsFloat64 后，Go 侧按 float64 接收；使用 AsInt 后，按 int 接收，并为除数为零保留错误分支。

常见问题

为什么 Expr 的 7 / 3 不能直接当百分比计算？

因为两个操作数都在整数域时，小数部分会被舍弃。百分比或平均值应在除法前把至少一个操作数转换为浮点数。

AsFloat64 能不能挽回已经截断的结果？

不能。它用于约束最终返回类型；如果前面的整数除法已经丢失小数，之后转成 float64 也只会得到被截断的值。

Expr 运行时报 integer divide by zero 怎么处理？

把除数为零当作输入错误处理，在进入表达式前拦截，或在表达式条件中先判断除数。编译通过只说明语法和静态类型可以接受，不代表运行时数据满足除法条件。