Lua函数引用能够被用作表键吗?

一个 Lua 新手。我能把函数引用存储在 Lua 表中吗?类似于这样:

local fn = function() print('hello') end
local my_table = {}
my_table[fn] = 123

这似乎可以很好地工作,但我不知道是否可以依赖功能引用的唯一性。一旦功能引用超出范围,Lua 能否重用功能引用?这会创建任何问题吗,还是由于某种原因被认为是不良实践?

点赞
用户1190388
用户1190388

是的,我在lua中遇到的一个最好的事情之一就是任何东西都可以作为引用属性。

在表中使用key的方式没有问题。

来源于 Lua PiL

在Lua中,表既不是值也不是变量,它们是对象。你可以把表看作是动态分配的对象;你的程序仅仅操作对它们的引用(或指针)。没有任何隐藏的复制或在幕后创建新表的过程。

在您的示例中,您没有向函数传递任何参数,因此在您的情况下,将函数作为引用在程序中无用。另一方面,像这样:

fn1 = function(x) print(x) end
fn2 = function(x) print("bar") end
t[fn1] = "foo"
t[fn2] = "foo"
for i, v in pairs(t) do i(v) end

确实有其用处。

一旦函数引用超出了作用域,Lua可以重用它们吗?

只要您的父表在范围内,是的。由于表被创建和操作,但不是复制,所以您的函数引用不可能从表索引内存中被停用。_实际上,我稍后也会尝试并编辑这个答案。_

这会产生任何问题吗,或者因为某些原因被认为是不良实践吗?

这只是被认为是不良实践,因为熟悉其他语言(如Cpython等)的用户在阅读表时往往将数组视为主要结构。在lua中,您不必担心这些问题,程序将完美运行。

我不知道我是否可以依赖函数引用的唯一性。

为什么?

2013-01-28 14:22:06
用户2011775
用户2011775

你可以这样做,函数会一直保留在内存中的相同位置,直到被垃圾收集器销毁为止。

你可以在交互式lua中尝试:

> fn = function() print('hello') end
> print(fn)
function: 0x9d058d0

> fn2 = function() print('hello') end
> print(fn2)
function: 0x9d05ee8

> fn2=fn
> print(fn2)
function: 0x9d058d0

> print(function() print('hello') end)
function: 0x9d068a8

> print(function() print('hello') end)
function: 0x9d06bf8

请记住,如果fnlocal的话,当它超出范围时,将被垃圾收集。在你的情况下,它不应该是一个问题,因为my_table在同一个块中是local的。参见Lua文档中关于局部变量的说明

2013-01-28 14:23:43
用户501459
用户501459

这似乎是有效的,但我不知道能否依赖函数引用的唯一性。

每个 function() end 语句都创建一个新的闭包。如果函数来自相同的构造函数,函数的 代码 将被重用:

for i=1,100 do
    t[function() print(i) end] = i -- 这个函数体将被重复使用
end

但是每个 闭包 都将是唯一的,并且这对于您的引用很重要。

当函数超出范围后,Lua是否可以重复使用函数引用?

只要 fn 作为 my_table 中的键被使用,Lua 就不会回收它。如果 my_table 也超出范围,以致于表和函数都被回收,那么 Lua 重用引用对您没有影响。因此,无论如何,你都是好的。

2013-01-28 17:53:15
用户1847592
用户1847592

Lua版本中函数引用的独特性是不同的。

Lua 5.2手册中写道:

“函数定义不可以创建一个新的值;如果一个新函数与之前的没有明显的不同,它可以重用先前的值。”

举个例子:

-- 在 Lua 5.1 中,会有 10 个不同的函数引用。
-- 在 Lua 5.2 中,这是同一个函数引用。
local j
for i = 1, 10 do
   print(function() print(j) end)
end

-- 在任何 Lua 版本中,都有 10 个不同的函数引用。
for i = 1, 10 do
   print(function() print(i) end)
end

因此,规则是:创建不同的闭包以获取不同的引用。

2013-01-29 00:32:59