5

我正在尝试序列化和反序列化 Lua 闭包

我的基本理解是，下面的工厂应该生成闭包（并且 Lua 并没有太多区分函数和闭包——即没有类型“闭包”）

> function ffactory(x) return function() return x end end
> f1 = ffactory(5)
> print(f1())
5                        <-- so far so good
> s = string.dump(f1)
> f2 = load(s)
> print(f2())
table: 00000000002F7BA0  <-- expected the integer 5
> print(f2()==_ENV)
true                     <-- definitely didn't expect this!

我希望整数 5 用f1. 或者，如果string.dump不能处理闭包，我预计会出错。

通过轻微的变化，我得到了完全不同的（但更多的是我所期望的）结果。看起来f2确实是一个闭包，但是 string.dump 在序列化时并没有尝试序列化 x 的值。

文档对我帮助不大。（他们所说的“......具有新的上价值”是什么意思？）

> function ffactory(x) return function() return x+1 end end
> f1 = ffactory(5)
> print(f1())
6                        <-- good
> s = string.dump(f1)
> f2 = load(s)
> print(f2())
stdin:1: attempt to perform arithmetic on upvalue 'x' (a table value)
stack traceback:
        stdin:1: in function 'f2'
        stdin:1: in main chunk
        [C]: in ?
4

2 回答 2

7

你可以做这样的事情来保存/恢复这些upvalues（注意它不处理不同函数之间共享的upvalues）：

local function capture(func)
  local vars = {}
  local i = 1
  while true do
    local name, value = debug.getupvalue(func, i)
    if not name then break end
    vars[i] = value
    i = i + 1
  end
  return vars
end

local function restore(func, vars)
  for i, value in ipairs(vars) do
    debug.setupvalue(func, i, value)
  end
end  

function ffactory(x) return function() return x end end
local f1 = ffactory(5)
local f2 = (loadstring or load)(string.dump(f1))
restore(f2, capture(f1)) --<-- this restored upvalues from f1 for f2

print(f1(), f2())

这适用于 Lua 5.1 和 Lua 5.2。

如果您ffactory稍作更改，请注意一个有趣的结果（添加math.abs(0)；以任何方式使用全局表的任何内容都可以）：

function ffactory(x) return function() math.abs(0) return x end end

现在，如果你恢复 upvalues，你会得到相同的结果，但如果你不恢复 upvalues，你会在 Lua 5.2 下得到一个运行时错误：

lua.exe: upvalues.lua:19: attempt to index upvalue '_ENV' (a nil value)
stack traceback:
upvalues.lua:19: in function 'f2'
upvalues.lua:24: in main chunk
[C]: in ?
于 2013-01-25T03:15:01.413 回答
1

文档很清楚。string.dump 不使用上值处理闭包。这是因为 upvalues 可以是任何东西（包括用户数据，Lua 怎么知道如何序列化它？）

upvalues 是由于作用域/闭包而对函数局部的外部变量。由于您示例中的 x 是 ffactory 返回的函数的上值，因此它不会被序列化。

如果您想以某种方式支持这一点，则必须自己存储上值并在反序列化函数后再次设置它们，如下所示：

function ffactory(x)
    return function() return x+1 end
end

local f1 = ffactory(5)
print(f1())

local s = string.dump(f1)
f2 = loadstring(s)
debug.setupvalue(f2, 1, 5)
print(f2())
于 2013-01-24T20:35:07.430 回答