LuaJIT 指针和垃圾回收

我正试图完全了解 LuaJIT 的垃圾收集器将处理 FFI 以及我必须手动管理的内容，以确保我不会泄漏。

阅读 LuaJIT FFI 语义文档，关于垃圾收集器的以下断言是否正确？

1. 如果使用 ffi.new('float[?]',n) 分配数组，则垃圾回收器可以跟踪其引用并根据需要进行收集吗？

2. 必须手动处理使用 ffi.malloc(sizeof('float[n]')) 分配的内容，如使用 ffi.free 或提供“终结器”（例如，local p = ffi.gc(ffi.malloc(sizeof('float[n]')), ffi.free)）吗？

3. 如果使用 FFI 加载的库包含函数 float * example(void);，并且将该库加载到命名空间 Ex 中，则在

   local ptr=Ex.example()

   ptr 存储了一个指针，当不存在指向 ptr 的引用时，垃圾回收器将收集 ptr 并且内存将泄漏吗？

4. ffi.gc(ptr, ffi.free) 使垃圾回收器知道 ptr 确实是一个指针，并且当 ptr 本身没有引用时，可以收回它所指向的内存吗？

在宣称

由 C 函数（例如从 malloc()）返回的内存区域必须 手动管理（或使用 ffi.gc()）。指向 CData 对象的指针 与 C 函数返回的指针无法区分 （这也是垃圾回收器不能跟随它们的原因之一）。

这是否意味着即使 C 库函数给予 FFI 返回值是指针的命名空间，垃圾回收也无法自主执行（4）吗？

Mike Pall 在说什么

"但即使那个函数 [ffi.gc()] 被编译了... 垃圾回收器也将 最终调用终结器，这是昂贵的。"

他是否只是在这种情况下指称 ffi.free 的函数调用？如果是这样，那么 ffi.new 如何避免这种开销？