Lua 5.4中__index递归栈溢出如何实现自定义递增序列表？

你原来的递归式__index写法本身就存在栈溢出隐患，和Lua版本没有本质关系：

• 访问未缓存的mytbl[k]时，元方法会尝试读取tbl[k-1]，如果k-1也未缓存，会再次触发__index，等于访问mytbl[1000]需要嵌套触发999次元方法调用，每一次调用都会占用一层C调用栈。
• PUC Lua 5.4的默认C栈深度阈值较低，嵌套几百次就会触发溢出；LuaJIT对栈空间的预留、递归调用的处理更宽松，小数值索引不会触发报错，但访问足够大的索引（比如10万级）一样会栈溢出。

完全不需要复杂的额外扩展，只要抛弃递归递推的思路，直接通过数学计算返回结果，就能从根源上避免栈溢出，同时完全匹配你的需求：

• 表中只存储用户手动赋值的「锚点键值对」，初始默认锚点为[1] = 1，刚好满足默认访问mytbl[k]返回k的要求。
• 访问任意索引k时，找到小于等于k的最大锚点键，返回值为锚点值 + (k - 锚点键)即可。
• 赋值操作直接把键值对rawset到表中作为新锚点即可。

可直接运行的实现代码：

mytbl = setmetatable({[1] = 1}, {
    __index = function(tbl, idx)
        -- 仅处理正整数索引
        if math.type(idx) ~= "integer" or idx < 1 then
            return nil
        end
        -- 查找距离当前索引最近的前置锚点
        local anchor_key, anchor_val = 1, 1
        for k, v in pairs(tbl) do
            if k <= idx and k > anchor_key then
                anchor_key = k
                anchor_val = v
            end
        end
        -- 直接计算结果，无任何递归调用
        local res = anchor_val + (idx - anchor_key)
        -- 缓存计算结果，后续访问直接取，无需重复计算
        rawset(tbl, idx, res)
        return res
    end,
    __newindex = function(tbl, idx, val)
        -- 新赋值直接作为新锚点存入表
        rawset(tbl, idx, val)
    end
})

-- 默认场景
print(mytbl[10])  -- 输出10
-- 赋值锚点
mytbl[3] = 5
print(mytbl[10])  -- 输出12，序列为1,2,5,6...12符合预期
-- 大索引访问无溢出
print(mytbl[100000])  -- 正常返回100002，无栈报错

如果你的场景下会频繁手动赋值大量锚点，可以额外维护一个有序的锚点键列表，查找最近锚点时用二分查找替代遍历，把查找复杂度从O(n)降到O(logn)，普通使用场景下现有实现性能完全足够。

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