TypeScriptToLua项目中的super方法调用转换问题分析

问题背景

在TypeScriptToLua项目中，当处理类继承关系中的可选super方法调用时，发现了一个转换错误。具体表现为当子类通过可选链操作符调用父类方法时，生成的Lua代码中this上下文绑定不正确。

问题复现

考虑以下TypeScript代码示例：

class Parent {
    name = "pilaoda";
    
    M1() {
        console.log(`M1: my name is ${this.name}`);
    }
    
    M2() {
        console.log(`M2: my name is ${this.name}`);
    }
}

class Child extends Parent {
    M2() {
        super.M2?.();
    }
}

const child = new Child();
child.M1();  // 正确输出
child.M2();  // 错误输出

错误转换结果

当前转换器生成的Lua代码如下：

function Child.prototype.M2(self)
    local ____this_1
    ____this_1 = Parent.prototype
    local ____opt_0 = ____this_1.M2
    if ____opt_0 ~= nil then
        ____opt_0(____this_1)
    end
end

这里的问题在于将Parent.prototype作为this上下文传递给了方法调用，而不是使用子类实例self。

正确转换预期

正确的Lua转换结果应该是：

function Child.prototype.M2(self)
    local ____opt_0 = Parent.prototype.M2
    if ____opt_0 ~= nil then
        ____opt_0(self)
    end
end

技术分析

这个问题的本质在于TypeScriptToLua转换器在处理可选链操作符(?.)与super方法调用组合时，没有正确维护方法调用的上下文。在JavaScript/TypeScript中，super方法调用会保持当前实例作为this上下文，而转换后的Lua代码错误地将父类原型作为上下文传递。

影响范围

这种转换错误会导致：

1. 父类方法中无法访问子类实例的属性
2. 如果父类方法依赖于实例状态，将产生错误行为
3. 多态性被破坏，因为方法调用没有在正确的实例上下文中执行

解决方案思路

修复此问题需要修改转换器逻辑，确保在以下情况下正确处理this绑定：

1. 当检测到super方法调用时
2. 特别是与可选链操作符结合使用时
3. 保持原始实例作为方法调用的第一个参数（Lua中的self）

总结

TypeScript到Lua的转换过程中，保持正确的上下文绑定对于面向对象特性的正确实现至关重要。这个案例展示了在复杂表达式转换中维护语义一致性的挑战，特别是在处理JavaScript特有语法（如可选链）与传统面向对象概念（如super调用）结合时。