lua - Lua 状态关闭和垃圾回收元方法的规则

Question

tl;dr 版本:如果垃圾收集元方法访问全局变量，它在 Lua 状态关闭期间是否安全？本地升值呢？

当lua_State已关闭 lua_close ，Lua 文档说 all of the objects are deleted .它说任何相关的垃圾收集元方法都保证被调用。

伟大的。

但是，在这种范式下，GC 元方法有两种可能的用例是不确定的:

如果您有一个使用存储可收集值的局部变量的 GC 元方法，该怎么办。比如说，一个字符串、一个函数等。也就是说，你的 GC 元方法定义如下:

local some_string = "string"
function mt:__gc() --[[Do something with some_string]] end

在这种情况下会发生什么？ some_string可以吗？被收集？我知道如果元表所在的对象在正常情况下被收集，那么这是不可能的。 Lua 会保证 some_string 的值将一直保留到 GC 函数本身被收集。

但是由于所有对象都被 lua_close 销毁了, GC 函数的 upvalues 是否有可能在函数被销毁之前被销毁？我不认为是(因为这可能会导致各种问题)，但我正在寻找真正的答案，而不是我的想法。

我承认#1 不太可能成为问题，因为它会在 GC 元方法中产生许多问题。然而，这是完全不同的事情:

local some_string = "string"
function mt:__gc() print(some_string) end

这看起来像#1，但它不是。为什么？因为它访问一个全局变量。即，print .

函数与 print 中存储的任何值之间没有直接关联。 (与情况 1 不同，其中 some_string 显然是函数的上值)。因此，print 是可能的。在 Lua 状态关闭期间调用函数之前收集。

问题是:在 Lua 状态关闭期间，垃圾收集元方法使用全局表中的任何内容(忽略故意破坏全局表的可能性 print = nil)是否安全？或者，作为一般规则，他们是否应该始终明确地将任何他们接触​​到的函数或数据本地化？这足以避免问题吗？

Answer 1

可从 __gc 访问的任何数据方法可以安全访问；这包括本地人和可访问的表，例如 _G ，其中包含 print .

可能有问题的是(未)加载的 C 库；这会影响 Lua 5.1，并在 Lua 5.2.1 中修复。见 patch for "Finalizers may call functions from a dynamic library after the library has been unloaded" .