【高级技巧】边界实测：不连续下标的 行为验证

底层原理

取表长度的规则：从下标 1 开始找连续段，停在第一个 nil，返回断点前一位。表中间有洞（跳号赋值或中途置 nil）时，# 的返回值没有跨实现保证——它可能返回断点前的长度，也可能返回内部的数组容量边界。把 # 当精确长度用在"有洞"的表上，是掉落列表越界与发空奖励的常见根源。

高级封装

安全长度与洞检测。示例代码如下：

local function safeLen(t)
    local n = 0
    while t[n + 1] ~= nil do
        n = n + 1
    end
    return n
end
local function hasHole(t)
    return safeLen(t) ~= #t
end

掉落表校验接线。示例代码如下：

local drops = { "祖玛头像", "绿宝石" }
drops[4] = "裁决之杖"
print(#drops)
print(safeLen(drops))

在边界上可能返回 2 也可能返回 4（取决于内部实现），safeLen 恒为 2——结果确定、可复现，发奖循环只跑到 safeLen 为止，杜绝把 nil 发给玩家。

性能对比

连续表上 safeLen 与 # 等价且都是常数成本（safeLen 停在第一个 nil）；百万级表一次调用的差异在纳秒级。有洞表上两者的差异是正确性问题而非性能问题——# 的返回不确定，safeLen 恒定。用 table.remove 从尾部收缩的表 # 行为稳定；中途置 nil 的表才需要 safeLen 兜底。

适用边界

三个不适用场景：一是以字符串为键的混合表，# 本来只看连续数字下标，safeLen 同样无意义；二是巨大的稀疏表（下标跳到几十万），逐位探测不如维护一个计数器字段——高频增删的表直接存 n 字段最稳；三是引擎批量传参接口要求严格连续数组的场景，传入前先重建连续下标，别赌 # 的边界。