6

我正在尝试通过使用 C API 将函数值存储在弱表中来为函数值创建 GC 终结器。

我首先在纯 Lua 5.2 中编写了一个原型：

local function myfinalizer()
   print 'Called finalizer'
end

function myfunc()
   print 'Called myfunc'
end

local sentinels = setmetatable({}, { __mode='k' })
sentinels[myfunc] = setmetatable({}, { __gc=myfinalizer })

myfunc()
myfunc = nil
collectgarbage 'collect'

print 'Closing Lua'

结果输出：

Called myfunc
Called finalizer
Closing Lua


原型似乎按预期工作。下面是C版本：

#include <stdlib.h>
#include <stdio.h>
#include "lua.h"
#include "lualib.h"
#include "lauxlib.h"

static int my_finalizer(lua_State *L)
{
    puts("Called finalizer");
    return 0;
}

static int my_func(lua_State *L)
{
    puts("Called myfunc");
    return 0;
}

int main(void)
{
    lua_State *L = luaL_newstate();
    luaL_openlibs(L);

    // create sentinels table (weak keys) in registry
    lua_newtable(L);                                    // t
    lua_newtable(L);                                    // t mt
    lua_pushstring(L, "k");                             // t mt v
    lua_setfield(L, -2, "__mode");                      // t mt
    lua_setmetatable(L, -2);                            // t
    lua_setfield(L, LUA_REGISTRYINDEX, "sentinels");    //

    // push global function and register as sentinel
    lua_pushcfunction(L, my_func);                      // f
    lua_getfield(L, LUA_REGISTRYINDEX, "sentinels");    // f t
    lua_pushvalue(L, 1);                                // f t k
    lua_newuserdata(L, 0);                              // f t k v
    lua_newtable(L);                                    // f t k v mt
    lua_pushcfunction(L, my_finalizer);                 // f t k v mt v
    lua_setfield(L, -2, "__gc");                        // f t k v mt
    lua_setmetatable(L, -2);                            // f t k v
    lua_settable(L, -3);                                // f t
    lua_pop(L, 1);                                      // f
    lua_setglobal(L, "myfunc");                         //

    // execute test script and exit
    if (luaL_dostring(L, "myfunc(); myfunc=nil; collectgarbage'collect'")) {
        printf("Error: %s\n", lua_tostring(L, -1));
    }
    lua_gc(L, LUA_GCCOLLECT, 0);    // suggestion: two full gc cycles
    fflush(stdout);                 // suggestion: immediate flush
    puts("Closing Lua");
    lua_close(L);

    fflush(stdout);
    return EXIT_SUCCESS;
}

编译使用：

$ gcc -std=c99 -Wall -Werror -pedantic -O2 -o main main.c -ldl -llua52 -lm

结果输出：

Called myfunc
Closing Lua
Called finalizer

C 版本有一些细微差别：

  1. sentinels我存储在注册表中的不是本地表。
  2. 使用元方法使用零大小的用户数据而不是表作为标记值__gc。

我很困惑为什么在 C 版本中myfunc终结器在运行完整的收集周期后不执行。我究竟做错了什么？

4

1 回答 1

5

正如 Lua 手册所述：

只有具有显式构造的对象才会从弱表中删除。诸如数字和轻量级 C 函数之类的值不受垃圾收集的影响，因此不会从弱表中删除（除非收集其相关值）。

你my_func的推送没有任何上值，所以它是一个轻量级的 C 函数，并且在垃圾收集期间它不会从弱表中删除，因此在你关闭 Lua 状态之前关联的用户数据不会变成垃圾。如果您使用 Lua 函数而不是my_func，或者my_func使用 upvalues 推送（并且如果您修复了lua_gc调用中参数的顺序！），您的代码应该可以工作。

总而言之，以下值类型不会从弱表中删除（假设它们关联的键/值也不会删除）：

  • 布尔值
  • 数字
  • 字符串
  • 轻用户数据
  • 轻量级 C 函数（仅限 Lua 5.2）

因此，您的程序应该可以在 Lua 5.1 上正常工作，因为没有轻量级的 C 函数（您仍然必须修复lua_gc调用）。

于 2014-06-06T23:40:46.427 回答