在Expr语言中优雅地访问Context上下文值

Expr语言作为一款表达式求值引擎，在处理Go语言中的context.Context类型时，需要特别注意其特殊的访问方式。本文将深入探讨如何正确地在Expr表达式中访问context上下文中的值。

Context.Value方法访问

在Go语言中，context.Context类型存储的值必须通过Value方法访问，这是Go语言设计上的规范。Expr语言严格遵循这一规范，因此直接使用点号访问会报错。

正确的访问方式应该是：

ctx := context.WithValue(context.Background(), "a", "aaa")
expr.Eval(`ctx.Value("a")`, map[string]any{
    "ctx": ctx,
})

实现原理分析

Expr引擎在解析表达式时，会对变量访问进行严格类型检查。当遇到context.Context类型时，它不会像处理普通结构体那样支持点号访问，因为：

1. Context的值存储是动态的，没有预定义的字段
2. Value方法是唯一标准的访问接口
3. 直接点号访问会破坏类型安全性

高级用法：自定义Patch

对于希望保持点号访问语法的开发者，Expr提供了强大的Patch功能，可以在编译阶段转换语法：

patcher := func(node *ast.Node) {
    if n, ok := (*node).(*ast.PropertyNode); ok {
        if ident, ok := n.Node.(*ast.IdentifierNode); ok && ident.Value == "ctx" {
            *node = &ast.CallNode{
                Callee: &ast.PropertyNode{
                    Node:     ident,
                    Property: "Value",
                },
                Arguments: []ast.Node{
                    &ast.StringNode{Value: n.Property},
                },
            }
        }
    }
}

program, err := expr.Compile(`ctx.a`, expr.Env(map[string]any{
    "ctx": context.Background(),
}), expr.Patch(patcher))

最佳实践建议

1. 优先使用标准的Value方法访问，代码更清晰明确
2. 仅在确实需要简化语法时使用Patch方案
3. 避免在Context中存储复杂数据结构
4. 考虑使用包装类型来提供更友好的访问接口

通过理解这些原理和实践，开发者可以更自如地在Expr表达式中处理context.Context类型的值访问需求。