Lua与JS函数参数作用域差异：闭包递归异常问题问询

Lua在函数参数作用域和闭包捕获机制上，确实存在和JavaScript不同的特性，直接导致了你遇到的异常：

核心差异点 #

1. 闭包捕获变量引用而非值：Lua的闭包捕获外部局部变量（称为upvalue）的引用，而非变量的当前值。如果外部变量后续被修改，闭包会直接读取修改后的值；JavaScript闭包同样捕获变量引用，但在复杂递归场景下，Lua的upvalue机制表现更直接，容易引发预期外的变量引用问题。
2. 函数参数的变量遮蔽规则：Lua中函数参数自动成为局部变量，若参数名与外部变量名相同，会直接遮蔽外部变量；这一点和JS一致，但Lua中upvalue的优先级低于局部变量（包括参数）。

你的代码问题分析 #

你的Lua代码中，union:method内部定义的f函数参数为p2，但f内部所有method调用使用的是外部union:method的p（upvalue），而非参数p2。结合闭包的upvalue捕获特性，再加上Lua中table是引用类型，最终导致了异常：

1. 调用root:method("p")时，union:method的p为"p"，f函数捕获这个p作为upvalue。
2. 处理transform节点时，调用其method(p)会触发内部union:method("pTRANSFORMED ")，此时内部union:method的p为"pTRANSFORMED "，内部的f函数捕获这个新的p。
3. 递归调用f(p, children)时，原f函数仍在使用外部union:method的p upvalue，而由于你在f中修改了原children table（table.remove），后续递归逻辑被干扰；当你将f的参数从p2改为p时，参数p会遮蔽外部的upvalue p，确保f内部使用的是传递进来的参数值，从而避免了闭包引用带来的意外值覆盖。

对比JavaScript代码，JS中f函数同样使用外部的p，但由于每个union.getField调用的p是独立的局部变量，闭包没有出现值的意外覆盖，因此运行正常。

修复方案 #

按照你注释里的提示，将f函数的参数p2改为p，让参数遮蔽外部的upvalue p：

function union(children)
    local union = {}
    function union:method(p)
        print("union method", p, #children)

        -- 将参数p2改为p，遮蔽外部upvalue
        function f(p, children)
            print("union f", p, #children)
            local result = nil
            if #children == 1 then
                result = children[1]:method(p)
            elseif #children == 2 then
                result = children[1]:method(p) .. children[2]:method(p) 
            else
                local first_child = table.remove(children)
                result = first_child:method(p) .. f(p, children)
            end
            return result
        end
        return f(p, children)
    end        
    return union
 end

另外，建议给transform:method中的res加上local声明，避免全局变量污染：

function transform(children)
    local child = children[1]
    local transform = {}
    function transform:method(p)
        print("transform start")
        local res = child:method(p .. "TRANSFORMED  ") -- 添加local
        print("transform end")
        return res
    end        
    return transform
 end

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