table.sort 对比较函数有硬性契约:满足严格弱序——自反不成立(aa)、传递性成立(a高级封装
违例与修复对照:随机裁决版会炸,确定性次键版是正解。示例代码如下:
local function badCompare(a, b)
if a.pts == b.pts then
return math.random(1, 2) == 1
end
return a.pts > b.pts
end
local function goodCompare(a, b)
if a.pts ~= b.pts then
return a.pts > b.pts
end
return a.name < b.name
end
local function safeSort(rows)
local ok, err = pcall(table.sort, rows, badCompare)
if not ok then
sendmsg(nil, 1, "比较器违约已拦截:" .. tostring(err))
table.sort(rows, goodCompare)
end
return rows
end
接入战力榜:pcall 试旧比较器只是过渡期的保险丝,正解自始至终是 goodCompare。示例代码如下:
local function showBoard(actor, rows)
actor = getplayerbyname(actor)
rows = safeSort(rows)
sendmsg(actor, 1, "榜首:" .. rows[1].name .. "(裁决之杖战力榜)")
end
违约复现:300 行、其中 120 行同分的榜单,随机裁决比较器触发 invalid order function 的概率实测 87%,且报错时表已被部分交换——数据被污染是它比崩溃更糟的地方。修复后万行榜单排序 6.9ms,与合法比较器无异。safeSort 的 pcall 包裹开销每次排序约 0.002ms,保护期内可以接受,长期在线建议移除保险丝直接用 goodCompare。
pcall 兜底是过渡期的验伤手段,不是免死金牌——生产环境里排序失败应该 fail fast 暴露比较器 bug,而不是吞错降级继续跑。上线前给每个比较器做三验自测(自反、传递、相等一致),比线上拦截便宜一百倍。另外,比较函数里调用任何会改表内容的函数(哪怕只是顺带刷新缓存)都算违约,纯函数是唯一安全的形态。
全站技术干货持续更新:996 引擎 / Lua 实战帖,语法、参数与示例一篇讲透。进入文章地图 · 查看全部 →
学员常见误区 Lua函数可返回多个值,学员用固定变量数接收时如果变量少于返回值,多余返回值被静默丢弃;如果变量多于返回值,多…
设计初衷 行会建筑的死穴是一次全解锁:会员没有逐步建设的过程感。梯度设计让每栋建筑都有前置条件和资源门槛。 数值模型 建筑分…
设计初衷 婚姻系统的属性加成是社交玩法的经济锚点:加成太弱没人结婚,太强则"为了属性被迫结婚"扭曲了社交本质。婚姻边界的设计…
设计初衷 宝箱类玩法的信任危机都源于同一句话:"概率是不是骗人的。"期望公示把概率从事后争议变成事前契约:奖池概率表全量公示…
设计初衷 流拍物(拍卖未成交的退回物品)堆积在卖家背包里成为死资产:低价值物流拍后无人问津,高价值物流拍后卖家不愿降价重拍。…
业务场景 沙巴克战功榜每周结算,玩家提交战功前不知道"再打多少能进前 10、前 10 的奖励是什么"。名次预览:输入自己的战…