LuaJIT FFI中值返回结构体的垃圾回收与资源清理问题

C代码示例 #

typedef struct MyTestData {
    int id;
    // ... other fields that may need finalizing/freeing
} MyTestData;

MyTestData createTestData(int id);
void deleteTestData(MyTestData data); // finalizes/frees the data in MyTestData fields

Lua侧调用代码：

ffi.cdef([[
// 上述C声明内容
]])
local lib = ffi.load(LIBRARY_PATH)

问题解答 #

1. 值返回结构体的内存会被自动GC释放吗？

会。调用local v = lib.createTestData(25)时，LuaJIT会把C函数返回的结构体完整复制到Lua的垃圾回收堆中。当v失去所有引用后，Lua的GC会自动回收这部分结构体占用的内存。

注意：如果结构体内部包含手动分配的资源（比如堆内存指针、文件句柄等），LuaJIT的GC只会回收结构体本身的内存，不会处理这些内部资源，需要手动清理。

2. 使用ffi.gc绑定清理函数后，结构体自身内存会被自动释放吗？

会。ffi.gc(v, finalizer)的作用是给v绑定终结器函数，当v被GC回收时，LuaJIT会先调用lib.deleteTestData并传入当前结构体值，让你清理内部资源（比如释放字段里的堆内存、关闭句柄等）。终结器执行完毕后，LuaJIT会自动回收结构体本身占用的GC堆内存。

只需确保deleteTestData能正确处理传入的结构体值——比如结构体内部有malloc分配的指针，deleteTestData要负责free这些指针指向的内存，结构体自身内存由LuaJIT的GC处理即可。

内容的提问来源于stack exchange，提问作者Andrew Sokolov