Go Expr 怎么给表达式注入结构体环境

Go Expr 注入结构体环境需要两处配合：用 expr.Env(RuleEnv{}) 告诉编译器有哪些字段和方法，再把实际的 RuleEnv 值传给 expr.Run。前者描述可用名称与类型，后者提供当前数据；不要只传其中一处，也不要在运行时换成另一种结构体。

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

下面用任务分配规则说明：任务点数不能超过额度，同时操作人必须属于允许的团队。示例只解释环境注入，不承担鉴权或真实任务派发。代码按 Expr v1.17 文档中的接口写法组织，没有将示例描述为本机运行记录。

变量有值却仍然报错的原因

设想接入过程中先写好了规则，随后才准备请求数据：Go 程序里已经有 Points，表达式却识别不到。此时先看报错发生在哪一行，而不是增加一堆默认值。Compile 需要知道表达式可见的环境；Run 才需要每次调用的字段值。准备业务数据，并不等于已经向编译器声明这个字段。

另一个容易混淆的情况是把变量写成 env.Points。这里的 env 只是 Go 局部变量名，不自动成为表达式根节点。结构体作为顶层环境时，表达式直接使用导出的字段名；如果给字段加了 expr 标签，就使用标签指定的名称。官方环境文档说明了字段、标签和方法的这套映射。Expr 环境文档

定义只包含规则需要的环境

先建立一个专用 RuleEnv，不直接暴露完整业务服务对象。它包含 Points、Limit、Team 和 Eligible 方法。Team 的标签为 team，所以表达式里写小写 team；Points 和 Limit 没有标签，保持大写名称。Eligible 使用值接收者，示例的编译环境与运行环境都选用值类型。

标签是规则语言的接口名，不只是显示文字。以后即使 Go 字段名称要重构，也应先考虑已有表达式是否依赖原来的规则名称。字段初始值可以是零值，因为本例编译关注的是类型；真实额度和点数留到 Run 时填写。

把同一种类型交给 Compile 和 Run

在已有 Go 模块中添加依赖，再把下列完整代码保存为 main.go。项目应记录 go.mod 与 go.sum 的解析结果；这里不把安装命令解释成某个未来版本的保证。

# 在现有模块中添加Expr依赖，并将解析版本记录进模块文件
go get github.com/expr-lang/expr
# 运行下面的单文件示例
go run .

package main

import (
    "fmt"
    "log"

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

// RuleEnv只暴露当前规则确实需要的输入。
type RuleEnv struct {
    Points int
    Limit  int
    Team   string `expr:"team"`
}

// 值接收者与下面的RuleEnv值环境保持一致。
func (RuleEnv) Eligible(team string) bool {
    return team == "content" || team == "support"
}

func main() {
    rule := "Points 

按照这段自定义规则，三条输入分别应满足、超出额度、不属于允许团队，所以读者运行时可据此核对布尔结果。这里只给逻辑预期，不提供虚构终端截图。第二条和第三条不通过是正常业务结果，不是 Compile 或 Run 返回了错误。

把错误留在正确的阶段

接入顺序是定义环境、编译规则、提供数据、读取结果，但排错要按失败位置处理。Compile 返回错误时不要继续调用 Run；Run 返回错误时不要把错误值转换成 false 后悄悄吞掉。false 代表规则成功求值后没有满足条件，error 代表这次求值没有正常完成。

如果原代码是指针接收者方法，就不要机械照搬本例的值环境。应统一选择指针环境，并在编译、运行两处保持类型一致；同时避免运行时传入空指针。最省心的开始方式，是先像示例一样使用只读字段和值接收者，把结构体环境契约固定下来。

环境变化时不要沿用旧契约

同一规则面对不同任务时，可以复用已经编译的 program，而为每次 Run 提供新的 RuleEnv。官方入门文档明确支持编译程序复用；但可复用的是程序，不代表可随意并发修改同一份环境。示例把每条输入保存为独立值，避免把请求数据写进共享容器。Expr 入门与程序复用

若 Limit 从 int 改成字符串，或 team 改名，原规则的契约已经变化，应重新编译并处理失败，不要只替换 Run 的参数。也不要为了让拼错的字段名通过而直接启用 AllowUndefinedVariables：固定结构体环境的价值正是让未定义名称及早暴露。AsBool 的用途与 Env 的配置定义可在项目实现中查到。Expr 配置接口实现

能不能只调用 expr.Eval？

简单的一次性求值可以用 Eval，但本篇的需求是把结构体类型契约明确交给 Compile，并复用 program。不要将 expr.Env(...) 当成 Eval 的数据参数；Env 是编译选项，不是业务输入对象。

方法会自动带上 RuleEnv 前缀吗？

顶层环境方法在表达式中作为函数使用，本例直接写 Eligible(team)。为规则保留少量职责清楚的方法，比把包含大量副作用的完整服务实例暴露进去更容易维护。

需要 map 才能动态传值吗？

不需要。固定字段、需要类型约束的输入可以直接使用结构体，每次构造不同的字段值即可。动态数据与动态字段集合是两回事：本例变化的是值，而不是字段定义。