Expr语言中fromJSON函数对指针参数的支持优化

Expr语言作为一种表达式求值引擎，在处理JSON数据时提供了fromJSON这一内置函数。然而在实际使用过程中，开发者发现该函数存在一个明显的限制——无法直接处理字符串指针类型的参数。这一问题在社区中被提出并得到了核心开发者的重视和解决。

问题背景

在Go语言环境中，字符串指针(*string)是一种常见的数据类型。当开发者尝试将字符串指针作为参数传递给fromJSON函数时，Expr会抛出类型转换错误，提示期望接收字符串(string)类型而非字符串指针(*string)类型。这种类型限制给实际开发带来了不便，特别是在处理可能为nil的字符串参数时。

技术分析

问题的本质在于Expr的类型系统在处理内置函数参数时，没有自动对指针类型进行解引用(dereference)操作。在Go语言中，指针类型和值类型属于不同的类型体系，需要显式地进行转换。Expr的编译器需要智能地识别参数类型，并在必要时插入解引用操作。

解决方案

核心开发者antonmedv通过为编译器添加OpDeref操作码解决了这一问题。该方案具有以下技术特点：

1. 智能类型识别：编译器会检测参数的实际类型，仅在必要时添加解引用操作
2. 全面性覆盖：不仅修复了fromJSON函数，还确保所有内置函数都能正确处理指针参数
3. 严格的测试保障：添加了大量测试用例，验证各种指针参数场景下的正确性

实际应用

修复后的版本可以完美处理以下场景：

jsonString := `{"Num": 1}`
env := map[string]any{
    "aJSONString": &jsonString, // 使用字符串指针
}
result, _ := expr.Eval("fromJSON(aJSONString)", env)

技术意义

这一改进体现了Expr语言的几个重要特性：

1. 类型系统的灵活性：能够智能处理Go语言中的值类型和指针类型
2. 与宿主语言的深度集成：更好地适应Go语言的类型体系
3. 开发者友好性：减少类型转换的样板代码，提升开发效率

该优化已合并到主分支，开发者可以放心地在项目中使用指针参数调用fromJSON等内置函数，Expr编译器会正确处理类型转换。这一改进使得Expr在处理复杂类型时更加灵活和强大。