Lua 5.2 中的沙箱

我正在学习Roberto Ierusalimschy的《Programing in Lua》，我发现书中的Sandboxing示例使用了该函数setfenv()改变给定函数的环境，但是在 lua 5.2 中这个函数不再可用。

我尝试将文件（配置文件）中的一些值加载到表中的字段中，但是，在 lua 5.2 中我无法使用 setfenv （因此我可以加载给定环境中的值）。在阅读了一些关于 lua 5.2 的文章后，我发现每个函数可能有（或没有）一个名为 _ENV 的 upvalue 作为环境，所以，我尝试了以下代码：

function sandbox(sb_func, sb_env)
    if not sb_func then return nil, "sandbox function not valid" end
    sb_orig_env = _ENV
    _ENV = sb_env -- yes, replaces the global _ENV
    pcall_res, message = pcall( sb_func )
    local modified_env = _ENV -- gets the environment that was used in the pcall( sb_func )
    _ENV = sb_orig_env
    return true, modified_env
end

function readFile(filename)
    code = loadfile(filename)
    res, table = sandbox(code, {})
    if res then
        --[[ Use table (modified_env) ]]--
    else
        print("Code not valid")
end

更换_ENV在“沙箱”功能中运行良好（无法访问常规字段），但是，当执行“代码”时，它似乎忽略了我替换的内容_ENV，它仍然可以访问常规字段（print、loadfile、dofile 等）。

多读一点，我发现lua 5.2为此目的提供了一个函数，这个函数是loadin(env, chunk)，它在给定环境中运行给定块，但是，当我尝试将此函数添加到我的代码中时，该函数不存在（不存在于全局中）_G field).

一些帮助将不胜感激。

当您分配给_ENV从内部sandbox， 你不覆盖全球环境——你正在取代_ENV当前运行代码的upvalue。添加呼叫到print(_ENV)可以帮助您更好地理解所涉及的表的身份。

例如：

function print_env()
  print(_ENV)
end

function sandbox()
  print(_ENV) -- prints: "table: 0x100100610"
  -- need to keep access to a few globals:
  _ENV = { print = print, print_env = print_env, debug = debug, load = load }
  print(_ENV) -- prints: "table: 0x100105140"
  print_env() -- prints: "table: 0x100105140"
  local code1 = load('print(_ENV)')
  code1()     -- prints: "table: 0x100100610"
  debug.setupvalue(code1, 1, _ENV) -- set our modified env
  code1()     -- prints: "table: 0x100105140"
  local code2 = load('print(_ENV)', nil, nil, _ENV) -- pass 'env' arg
  code2()     -- prints: "table: 0x100105140"
end

The loadin该函数存在于 Lua 5.2 的某些预发布版本中，但在最终版本之前被删除。相反，Lua 5.2load and loadfile功能采取一个env争论。您还可以修改_ENV另一个函数使用debug.setupvalue.