动态求值

在运行时动态执行代码，具有沙盒环境和受控模块访问。

两个系统

Wippy 提供两个求值系统：

系统	用途	使用场景
`expr`	表达式求值	配置、模板、简单计算
`eval_runner`	完整 Lua 执行	插件、用户脚本、动态代码

expr 模块

使用 expr-lang 语法的轻量级表达式求值。

local expr = require("expr")

local result, err = expr.eval("x + y * 2", {x = 10, y = 5})
-- result = 20

编译表达式

编译一次，多次运行：

local program, err = expr.compile("price * quantity")

local total1 = program:run({price = 10, quantity = 5})
local total2 = program:run({price = 20, quantity = 3})

支持的语法

-- 算术
expr.eval("1 + 2 * 3")           -- 7
expr.eval("10 / 2 - 1")          -- 4
expr.eval("10 % 3")              -- 1

-- 比较
expr.eval("x > 5", {x = 10})     -- true
expr.eval("x == y", {x = 1, y = 1}) -- true

-- 布尔
expr.eval("a && b", {a = true, b = false})  -- false
expr.eval("a || b", {a = true, b = false})  -- true
expr.eval("!a", {a = false})     -- true

-- 三元
expr.eval("x > 0 ? 'positive' : 'negative'", {x = 5})

-- 函数
expr.eval("max(1, 5, 3)")        -- 5
expr.eval("min(1, 5, 3)")        -- 1
expr.eval("len([1, 2, 3])")      -- 3

-- 数组
expr.eval("[1, 2, 3][0]")        -- 1

-- 字符串连接
expr.eval("'hello' + ' ' + 'world'")

eval_runner 模块

具有安全控制的完整 Lua 执行。

local runner = require("eval_runner")

local result, err = runner.run({
    source = [[
        local function double(x)
            return x * 2
        end
        return double(input)
    ]],
    args = {21}
})
-- result = 42

配置

参数	类型	描述
`source`	string	Lua 源代码（必需）
`method`	string	在返回表中调用的函数
`args`	any[]	传递给函数的参数
`modules`	string[]	允许的内置模块
`imports`	table	要导入的注册表条目
`context`	table	作为 `ctx` 可用的值
`allow_classes`	string[]	附加模块类
`custom_modules`	table	作为模块的自定义表

模块访问

白名单允许的模块：

runner.run({
    source = [[
        local json = require("json")
        return json.encode({hello = "world"})
    ]],
    modules = {"json"}
})

不在列表中的模块无法被 require。

注册表导入

从注册表导入条目：

runner.run({
    source = [[
        local utils = require("utils")
        return utils.format(data)
    ]],
    imports = {
        utils = "app.lib:utilities"
    },
    args = {{key = "value"}}
})

自定义模块

注入自定义表：

runner.run({
    source = [[
        return sdk.version
    ]],
    custom_modules = {
        sdk = {version = "1.0.0", api_key = "xxx"}
    }
})

上下文值

传递可作为 ctx 访问的数据：

runner.run({
    source = [[
        return "Hello, " .. ctx.user
    ]],
    context = {user = "Alice"}
})

编译程序

runner.compile 校验源码并报告其入口点和模块，但不运行它：

local program, err = runner.compile([[
    local function process(x)
        return x * 2
    end
    return { process = process }
]], "process", {modules = {"json"}})

program:method()   -- "process"  (string)
program:modules()  -- {"json"}    (string[])

编译后的程序仅供参考；执行需通过传入源码和方法调用 runner.run。

安全模型

模块类

模块按能力分类：

类	描述	默认
`deterministic`	纯函数	允许
`encoding`	数据编码	允许
`time`	时间操作	允许
`nondeterministic`	随机等	允许
`process`	进程、注册表	阻止
`storage`	文件、数据库	阻止
`network`	HTTP、套接字	阻止

启用阻止的类

runner.run({
    source = [[
        local http = require("http_client")
        return http.get("https://api.example.com")
    ]],
    modules = {"http_client"},
    allow_classes = {"network"}
})

权限检查

系统检查以下权限：

eval.compile - 编译前
eval.run - 执行前
eval.module - 白名单中的每个模块
eval.import - 每个注册表导入
eval.class - 每个允许的类

在安全策略中配置。

错误处理

local result, err = runner.run({...})
if err then
    if err:kind() == errors.PERMISSION_DENIED then
        -- 安全策略拒绝访问
    elseif err:kind() == errors.INVALID then
        -- 无效的源或配置
    elseif err:kind() == errors.INTERNAL then
        -- 执行或编译错误
    end
end

使用场景

插件系统

local plugins = registry.find({meta = {type = "plugin"}})

for _, plugin in ipairs(plugins) do
    local source = plugin:data().source
    runner.run({
        source = source,
        method = "init",
        modules = {"json", "time"},
        context = {config = app_config}
    })
end

模板求值

local template = "Hello, {{name}}! You have {{count}} messages."
local compiled = expr.compile("name")

-- 快速重复求值
for _, user in ipairs(users) do
    local greeting = compiled:run({name = user.name})
end

用户脚本

local user_code = request:body()

local result, err = runner.run({
    source = user_code,
    modules = {"json", "text"},  -- 仅安全模块
    context = {data = input_data}
})

参见

表达式 - 表达式语言参考
Exec - 系统命令执行
安全 - 安全策略