TypeScriptToLua 项目中 Disposable 代码生成问题分析

背景介绍

TypeScriptToLua 是一个将 TypeScript 代码编译为 Lua 代码的转译器。在 TypeScript 5.2 版本中引入了显式资源管理(Explicit Resource Management)特性，其中包括了 using 声明语法，用于自动管理资源的释放。当这个特性被转译为 Lua 代码时，会出现一个关键性的实现问题。

问题现象

当 TypeScript 代码中使用 using 声明创建一个可释放(Disposable)对象时，生成的 Lua 代码无法正确地将该对象传递给回调函数。具体表现为：

1. 在 TypeScript 中定义的 using 变量
2. 该变量应该被自动释放
3. 但在生成的 Lua 代码中，回调函数接收不到这个变量

技术细节分析

TypeScript 原始代码

class Scoped {
    action(): void {
        // 一些操作
    }
    [Symbol.dispose]() {
        // 清理代码
    }
}

/** @noSelf */
function TestScoped(): void {
    using s = new Scoped();
    s.action();
}

生成的错误 Lua 代码

local function TestScoped()
    return __TS__Using(
        nil,
        function(s) -- 期望接收可释放对象作为参数
            s:action()
        end,
        __TS__New(Scoped)
    )
end

问题核心

__TS__Using 函数的实现存在参数传递错误：

1. 回调函数期望接收可释放对象作为参数
2. 但实际实现中，第一个参数被硬编码为 nil
3. 真正的可释放对象被放在了可变参数列表(args)中

正确的实现逻辑

回调函数应该直接接收可释放对象作为其第一个参数，而不是通过可变参数列表间接传递。这是 Lua 和 TypeScript 作用域管理机制差异导致的实现问题。

影响范围

这个问题会影响所有使用以下特性的 TypeScript 代码：

1. 使用 using 声明管理资源
2. 在 using 块内部访问可释放对象
3. 依赖自动释放机制的代码

解决方案建议

修复 __TS__Using 函数的实现，确保：

1. 回调函数正确接收可释放对象作为参数
2. 保持原有的错误处理和资源释放逻辑
3. 不破坏现有的作用域管理机制

正确的实现应该直接将被管理的资源传递给回调函数，而不是通过可变参数间接传递。

总结

TypeScriptToLua 在处理 TypeScript 的显式资源管理特性时，由于参数传递机制的实现错误，导致生成的 Lua 代码无法正确访问被管理的资源。这个问题需要修改 __TS__Using 辅助函数的实现来修复，确保资源能够正确传递给回调函数，同时保持原有的自动释放机制。