Go CEL 整数和浮点数混合运算为什么编译失败

在 Go 项目里集成 cel-go 时，表达式里的 1 和 1.5 都像数字，但 CEL 的类型检查不会把它们当成同一种类型。前者通常是 int，后者是 double。如果把它们直接放进需要同型参数的算术运算，错误会在 Compile 阶段出现，而不是等到 Eval 才出现。

官方地址：https://pkg.go.dev/github.com/google/cel-go/cel

这篇只解决一个问题：怎样判断混合数值表达式为什么编译失败，以及应该统一类型、显式转换，还是只为比较表达式开启跨类型支持。

先看错误属于哪一层：Compile 阶段的类型检查

排查时先不要急着改数值。把 CEL 的生命周期拆成两层：Compile 负责解析和类型检查，Eval 才负责带入输入值计算。如果编译阶段已经报 no such overload 或类型不匹配，说明表达式的静态类型组合没有匹配到可用运算符。

例如环境把 score 声明为整数，却让表达式把它与小数相加：

package main

import (
    "fmt"

    "github.com/google/cel-go/cel"
)

func main() {
    env, err := cel.NewEnv(
        // 业务分数来自计数器，因此这里明确声明为 CEL int。
        cel.Variable("score", cel.IntType),
    )
    if err != nil {
        panic(err)
    }

    // 小数常量是 double；它与 int 的加法不应被当成自动转换。
    _, issues := env.Compile("score + 0.5")
    if issues.Err() != nil {
        // 编译错误要在这里处理，不能把它误当成 Eval 的业务错误。
        fmt.Println("Compile failed:", issues.Err())
    }
}

这里真正需要确认的是四件事：变量声明是什么类型、字面量是什么类型、运算符需要什么参数、错误发生在 Compile 还是 Eval。只要前三项没有对齐，换一组运行时输入也不会改变编译结果。

算术表达式先统一类型，不要依赖隐式转换

加减乘除属于算术表达式，最稳妥的做法是让同一条表达式中的业务变量和常量使用同一种 CEL 数值类型。若业务字段本来就是比例、金额或测量值，可以从环境声明开始就使用 double；若业务字段必须保持整数，则把参与算术的另一侧也改成整数，或者在表达式边界做一次显式转换。

两种修复方向的差别很重要：

• 统一声明类型：适合整个字段在业务上就是连续数值的场景，后续表达式更简单。
• 显式转换：适合输入协议已经固定为整数，但某个计算分支确实需要浮点数的场景。

package main

import (
    "fmt"

    "github.com/google/cel-go/cel"
)

func main() {
    env, err := cel.NewEnv(
        // 把评分字段统一为 double，避免算术表达式两侧类型分裂。
        cel.Variable("score", cel.DoubleType),
    )
    if err != nil {
        panic(err)
    }

    // 变量与小数常量同为 double，Compile 可以匹配算术运算。
    ast, issues := env.Compile("score + 0.5")
    if issues.Err() != nil {
        // 保留原始编译错误，便于定位声明或字面量问题。
        fmt.Println("Compile failed:", issues.Err())
        return
    }
    _ = ast
}

如果不能改变环境声明，可以把表达式写成 double(score) + 0.5。但转换不是免费的语义决定：要先确认整数转浮点不会破坏业务精度，也要在输入边界统一处理，而不是在每个表达式里重复补转换。

需要比较时再开启跨类型比较

比较和算术不要混为一谈。cel-go 提供 cel.CrossTypeNumericComparisons(true)，用于允许跨数值类型比较，例如 double 。它解决的是比较运算的类型兼容，不代表所有 int 与 double 的加法、乘法都会自动转换。

package main

import (
    "fmt"

    "github.com/google/cel-go/cel"
)

func main() {
    env, err := cel.NewEnv(
        // 允许比较运算跨越 int 与 double，但不改变变量本身的声明类型。
        cel.CrossTypeNumericComparisons(true),
        cel.Variable("score", cel.IntType),
        cel.Variable("limit", cel.DoubleType),
    )
    if err != nil {
        panic(err)
    }

    // 这是比较场景；跨类型比较选项的作用范围就在这里。
    _, issues := env.Compile("score 

因此，看到比较表达式编译失败时，可以检查环境是否需要这个选项；看到算术表达式失败时，优先回到变量声明和显式转换，不要只打开比较选项。

一份可复用的排查清单

1. 看调用点：错误来自 env.Compile，还是来自后续 Program.Eval。
2. 看声明：通过 cel.Variable 声明的字段到底是 cel.IntType 还是 cel.DoubleType。
3. 看字面量：整数常量和带小数点的常量不要按 Go 的直觉混为一种 CEL 类型。
4. 看运算符：算术表达式优先统一类型；比较表达式才考虑 CrossTypeNumericComparisons。
5. 看转换位置：无法改变输入协议时，在表达式入口集中调用 double()，并记录精度边界。

一句话总结：CEL 的“都是数字”不等于“可以直接混算”。算术场景先统一类型或显式转换，比较场景再按需开启跨类型比较，Compile 与 Eval 分层处理，定位会清晰很多。

相关问题

为什么换成另一组输入值仍然编译失败？ 因为 Compile 先检查表达式的静态类型，输入值还没有参与计算；要修复的是声明、字面量或运算符匹配。

开启跨类型比较后，为什么加法还可能失败？ 该选项针对比较关系，不是通用的数值算术自动转换；加法仍应统一类型或显式调用转换。

应该把所有变量都声明成 double 吗？ 不应该。计数、标识和精确整数保持 int 更清楚；只有确实需要小数语义的字段才统一为 double。