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 实战帖,语法、参数与示例一篇讲透。进入文章地图 · 查看全部 →
设计初衷 单服沙巴克打了一年,城主轮流坐庄,大行会互相看着都腻了。跨服远征把 8 个服务器的顶级行会丢进同一张远征地图:对手…
设计初衷 地图设计里最被低估的变量是密度:密了,法师的地狱火一次烧五只体验起飞,近战却在怪堆里寸步难行;稀了,职业生态倒是平…
底层原理 t[ t + 1] = v 的尾插看起来恒定廉价,实际藏着尖峰:Lua 表的数组部分按 2 的幂扩容,表满的那一刻…
设计初衷 登录曲线天然三峰:午休峰 12:30 到 13:30、黄金档 19:30 到 22:00、守夜峰 0:00 到 1…
业务场景 首杀祖玛教主的庆典撒全服红包:1000 根金条拆 200 份。拆分算法要满足三条:每份至少 1 根(不许空手)、金…
底层原理 table.sort 对比较函数有硬性契约:满足严格弱序——自反不成立(a<b 则 b a)、传递性成立(a<b …