cel-go 必须显式声明变量类型并预编译表达式，否则会报type check error或no such field；Env初始化是类型检查起点，Compile()仅生成AST，需调用Program()才能Eval()。
cel-go 不是“写个 eval 就能跑”的玩具库，它要求你显式声明变量类型、预编译表达式、再传入结构化数据求值——跳过任一环节都可能遇到 type check error 或 no such field 这类错误。
如何正确初始化 cel.Env 并声明变量类型
环境初始化不是可选步骤，而是类型检查的起点。不声明变量或类型不匹配，Compile() 会直接失败，且错误信息常指向 AST 解析而非你的原始输入。
- 必须用
cel.Variable("name", cel.StringType)显式注册每个变量名及其 Go 类型（如cel.IntType、cel.ListType(cel.StringType)） - 若变量实际是嵌套结构体（比如
user.email），不能只声明"user"，而要注册cel.ObjectType("User")并配合cel.Types(...)提供类型定义 - 未声明的字段在求值时一律报
no such field，哪怕数据里确实存在——CEL 不做反射式动态字段发现
为什么 Compile() 后必须调用 Program() 才能 Eval()
Compile() 只生成抽象语法树（AST），不包含执行逻辑；Program() 才把 AST 编译成可复用的求值程序。跳过这步直接试图“运行字符串”，会触发 panic 或 nil pointer 错误。
-
Compile()返回*cel.Ast和Issues，需检查issues.Err()判断是否通过类型检查 -
Program()可接受多个选项，如cel.EvalOptions(cel.OptOptimize)开启运行时优化，但必须在Compile()之后调用 - 同一个
*cel.Ast可多次调用Program()生成不同配置的程序（例如带/不带调试跟踪），但不能复用Program实例跨 goroutine 写共享状态
map[string]interface{} 传参为什么经常 panic
CEL 求值器不接受裸 map[string]interface{}，它需要符合环境声明类型的结构化值。直接传会导致 no such key 或 type mismatch，尤其当嵌套字段或列表存在时。
立即学习“go语言免费学习笔记（深入）”；
- 推荐方式：用
cel.NoVars()初始化环境后，改用cel.CustomTypeProvider注册自定义类型，再将 Go struct 指针传给Eval() - 快速验证可用
cel.PartialVars()包装 map，但它仅支持一级键，且对nil字段敏感——字段缺失即视为未知，可能触发部分求值逻辑而非报错 - 切忌在 map 中混用类型，例如同一 key 有时传
string、有时传*string，CEL 会在第一次类型检查后锁定该字段类型
宏（macro）和自定义函数容易踩的三个坑
宏（如 all、exists）和自定义函数看似方便，但它们绕过标准类型检查路径，错误常在 Eval() 阶段才暴露，且堆栈难追踪。
- 宏展开发生在编译期，但参数类型不校验——
list.exists(e, e > 10)若list实际是string，编译成功，运行时报no such overload - 注册自定义函数时，
cel.Function()的 overload 参数必须与实际调用签名完全一致，包括参数个数、顺序、类型；少一个cel.StringType就会静默忽略该重载 - 函数绑定用
cel.BinaryBinding时，lhs和rhs是ref.Val，不是原始 Go 类型，必须用val.Value()或对应类型转换方法（如val.String()）提取，否则 panic
最易被忽略的是：CEL 的“类型安全”依赖于环境初始化时的声明完整性。没有类型声明，就没有类型检查；没有类型检查，所谓“安全求值”就只剩语法层面的沙箱——它防不住逻辑错误，也拦不住字段误用。别省那几行 cel.Variable。
