一步步写lua解释器--递归的bug

在网上与人讨论时，别人问我能否调用递归。这个确实还没有执行过，我也想试一试。结果一试就GG了。调试的结果是闭包内部的局部变量表push和pop的次数好像不一致，导致pop空表，然后就崩溃了。

经过反复调试，还是没有找到问题，局部表的push和pop就在块开始和结束的地方，应该是没有问题的。调试是个非常复杂的过程，因为嵌套的调用非常多，一般递归里面肯定是由if语句的，而if语句又是写在块里面，逐渐变得没有头绪了。。。

经过一遍又一遍的调试之后，偶尔发现递归调用中的两个闭包引用的是同一个地址，真是欣喜若狂。思考片刻，立马明白过来。原来，每次调用函数时，先在栈上找到该函数名，然后在表里找到该名字对应的闭包。所以递归嵌套调用时都是获取的同一个闭包，在进入和退出代码块add和remove相关表时导致问题就不足为怪了。

只要问题找到就好解决了，问题是很难找到问题。每次调用闭包时要先克隆一个闭包，这样递归调用时就不会导致冲突了。我突然想到，每次拷贝时，都是从第一个生成的闭包拷贝的，如果有上值的话，那么闭包所有的上值是否会都改变呢？我想肯定不会改变的，因为都是从第一个闭包上拷贝的。每个闭包都有单独的一份上值。带着这个疑问，我执行了如下代码：

function f(a)
    local b = 10
    ff = function()
        if a == 1 then
            b = b + 1
            print(b)
        else 
            a = a - 1
            ff() 
        end
    end
    return ff
end

fc = f(2)
up = fc()

发现居然可以正常运行，真是日了狗了。反复调试时也没有发现问题，这比之前不能运行递归还有抓狂。哎，只能一步步老实的跟踪变量值的变化。发现第一个闭包的上值变量居然真的影响了第二个闭包上值的变化。然后查看他们值的地址，发现又是一样的！

这下去看拷贝变量时的代码，发现table克隆时是浅拷贝的：

Table* Table::clone()
{
    if (_hash_table)  {
        Table* other = new Table();
        for (auto it = _hash_table->begin(); it != _hash_table->end(); ++it)  {
            other->Assign(it->first, it->second);
        }
        return other;
    }
    return nullptr;
}

难怪会出现值一样的情况。本来打算把存储闭包上值的表移到闭包函数原型中去，那样生成的闭包都会共享同一个上值，后来想想其实浅拷贝也还好，而且实现的更加优雅，改动更小。

 

有问题可以在下面留言，或者加入QQ群 858791125 讨论。

项目地址：
https://github.com/shonm520/mlua