Go Expr 可选字段不存在时怎样使用安全访问和回退值

Go Expr 中，可空对象的字段访问可以用 ?.，再用 ?? 指定 nil 时的回退值。例如 Profile?.Name ?? "访客" 表达的是：Profile 为空时使用访客，否则读取 Name。它不会把空字符串自动替换成访客，也不会让一个根本未声明的结构体字段变成合法字段。

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

在规则配置、通知模板或展示名称计算中，真正需要做的是先确定“哪些数据可以缺省”，再把缺省策略放进表达式。以下采用固定的 Go 结构体描述用户资料，让编译阶段仍能发现字段拼写错误。

先确定缺失发生在哪一层

“字段不存在”可能是三种不同情况：环境没有声明这个顶层变量，结构体没有这个成员，或者动态 map 没有这个键。前两种属于规则与数据契约不一致；最后一种才可能是业务允许的可选数据。另有一种常见情况是字段定义存在，但保存对象的指针为 nil。

把可空对象与回退策略分开

?. 负责可空接收对象的成员访问；?? 负责 nil 值的缺省策略。把二者分开理解，可以避免把“没有对象”和“对象存在但字段为空”混为一谈。对于多层可空对象，应在需要保护的访问位置表达可空性，不要假定任意字段访问和任意函数调用都能被一次回退覆盖。

默认值也属于业务规则。例如站点展示名可以采用访客，而审批额度、授权角色等关键字段缺失时通常应交回调用方处理。不要为了让表达式总能得到一个值，就给所有缺失字段配置同一个看似无害的默认值。

把固定字段契约写入 Go 集成代码

下面给出完整的展示名称示例，依赖为 github.com/expr-lang/expr。Profile 字段始终属于 Env，但其值允许为空；这样不需要放开所有未知变量。示例代码用于读者自行集成，未作为本文的实际运行记录。

package main

import (
    "fmt"
    "log"
    "reflect"

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

type Profile struct {
    Name string
}

type Env struct {
    Profile *Profile
}

func main() {
    // 编译环境保留指针类型，让 Profile 在运行时可以为空。
    program, err := expr.Compile(
        `Profile?.Name ?? "访客"`,
        expr.Env(Env{}),
        expr.AsKind(reflect.String),
    )
    if err != nil {
        log.Fatalf("表达式编译失败: %v", err)
    }

    cases := []Env{
        {},
        {Profile: &Profile{Name: "林舟"}},
        {Profile: &Profile{Name: ""}},
    }
    for i, env := range cases {
        // 运行时仍传入相同的 Env 类型，不能改成任意结构。
        value, err := expr.Run(program, env)
        if err != nil {
            log.Fatalf("第 %d 组求值失败: %v", i, err)
        }
        fmt.Printf("case=%d name=%q\n", i, value)
    }
}

按表达式规则，三组输入分别对应缺省名称、已有名称和空字符串。这里刻意保留空字符串这一组，让调用方看见 nil 与空内容的区别。代码在编译失败和求值失败时都明确返回错误信息，而不是把异常统一伪装成访客。

如果产品要求空字符串也使用访客，可以使用下面的表达式。先完成 nil 回退，得到字符串，再决定空内容的业务含义：

// 将空字符串作为另一种明确的业务缺省条件。
let name = Profile?.Name ?? "";
name == "" ? "访客" : name

是否把仅包含空格的字符串也视为缺省，需要另行决定。规则可以在字符串层面增加整理逻辑，但不要在需求没有定义时自动删除合法名称中的空白。

保持编译环境与运行数据的契约

向 expr.Env 提供的环境描述参与类型检查，运行时应继续提供相同契约的数据。样例使用 Env 结构体，便于约束字段名称和指针类型。不要编译时用结构体、运行时随意换成另一套同名 map，并假定名字相同就足够。

动态资料确实需要 map 时，先定义其值类型。例如 map[string]any 可以表达动态内容，但也让运行数据形状更灵活，调用方需要承担更多类型约束。固定字段名称能提前发现拼写错误，动态键则适合业务本就允许扩展的资料区；两者不必互相替代。

官方环境说明中，map[string]any 的未知键可以得到 nil，而未知结构体成员和默认配置下的未知顶层变量会报错。map[string]string 的值类型又不同，缺失键与空字符串可能难以仅靠返回值区分；若业务必须区分“键不存在”和“键存在但为空”，应使用 in 判断键是否属于 map，或在 Go 输入层增加明确的存在标记。

给默认值和错误各留一个出口

生产集成时，可把规则文本、规则版本和数据契约版本一并管理。发布新规则时先确定 Profile 的可空约定，调用方保留 Compile 和 Run 的错误出口；记录错误阶段与规则标识即可，不必把整份用户资料写进日志。仅用于展示的缺省策略不应被复制到权限判断中。

• 可空对象：在允许缺省的位置使用安全访问。
• nil 回退：为该业务字段选择有意义的默认值。
• 空字符串、0、false：保留其原有含义，另行表达业务判断。
• 字段拼写或类型错误：修正规则与环境，不用默认值掩盖。
• 运行错误：交给调用方处理，不把异常一概当成数据缺失。

加上 ?? 后能忽略任意求值错误吗？不能把它当作通用异常捕获器。应单独处理 Run 返回的错误。

?. 可以访问结构体没有声明的字段吗？它解决可空对象访问，不负责扩展结构体的数据模型。

需要开启 AllowUndefinedVariables 吗？本文这个固定环境示例不需要。是否允许未知变量是独立的规则设计决定，不应仅为一个可空 Profile 放宽整个环境。

参考：Expr 安全访问与 nil 回退语法、Expr 环境与字段类型约定。