Lua 编程避坑指南：深入理解 table.sort 与 table 迭代机制
table.sort 的严格弱序陷阱
在 Lua 开发中，table.sort 是处理数据排序的常用函数。然而，如果不了解其底层对比较函数的算法要求，很容易遇到程序崩溃或逻辑异常。其核心要求是：比较函数必须符合"严格弱序"（Strict Weak Ordering）。
具体来说，如果你的比较函数 comp(a, b) 在 a 等于 b 时返回了 true（例如使用了 >= 或 <=），就会违反排序算法的预期。以下是一个典型的错误示范：
local data_list = { 10, 20, 20, 50, 30 }
-- 错误写法：使用了 >=
table.sort(data_list, function(left, right)
return left >= right
end)
执行上述代码时，Lua 解释器通常会抛出 invalid order function for sorting 的错误。这是因为当数组中存在相等的元素时，comp(a, a) 返回了 true，这会导致排序算法在进行边界检查时发生逻辑混乱，甚至可能导致索引越界。在某些复杂的业务逻辑中（如下所示），这种错误可能会表现为令人困惑的 nil 访问报错：
local function rank_players(players)
-- 假设 players 是一个包含多个玩家对象的 table
table.sort(players, function(p1, p2)
-- 潜在风险：如果两个玩家分数相同，使用 >= 会导致报错
return p1.score >= p2.score
end)
end
当排序过程中出现 attempt to index local 'a' (a nil value) 这种报错，且你确定原始 table 中没有 nil 元素时，往往就是因为比较函数写错，导致算法内部指针失效。正确做法：始终使用 > 或 <，确保当两个值相等时返回 false。
table.sort(data_list, function(left, right)
return left > right -- 正确：实现降序排列
end)
pairs 迭代的无序性问题
在游戏开发中，我们经常将 Excel 配置表转换为 Lua 表进行读取。许多开发者习惯于将 ID 作为 Key，并期望在遍历时能按照 ID 的数值顺序进行。例如：
local skill_config = {
[1] = { name = "烈焰斩", level = 1 },
[2] = { name = "冰霜破", level = 5 },
[3] = { name = "闪电链", level = 10 },
[4] = { name = "旋风斩", level = 15 },
}
如果你使用 pairs 遍历这个表，输出的顺序很可能不是 1, 2, 3, 4：
for id, info in pairs(skill_config) do
print("Skill ID:", id)
end
输出结果可能是无序的，如 2, 4, 1, 3。这是因为 Lua 中的 pairs 遍历的是 table 的哈希部分（Hash Part），而哈希表的存储顺序取决于 Key 的哈希值分布，而非定义的先后顺序或数值大小。即使 Key 是连续的整数，在通过 require 加载大型预编译表时，Lua 虚拟机也不保证其内部存储结构会完全落在数组部分（Array Part）。
解决方案：
- 使用 ipairs： 如果你的 Key 是从 1 开始的连续整数，使用
ipairs可以保证按索引顺序遍历。 - 手动排序 Key： 如果 Key 是非连续的，需要先将所有的 Key 提取到一个数组 table 中，对该数组进行
table.sort，然后遍历排序后的 Key。
-- 方案：提取 Key 并排序
local keys = {}
for k in pairs(skill_config) do
table.insert(keys, k)
end
table.sort(keys)
for _, k in ipairs(keys) do
local info = skill_config[k]
print("Sorted ID:", k, info.name)
end
在处理配置数据时，务必警惕 pairs 的随机性，避免在依赖顺序的逻辑（如 UI 列表展示、属性叠加计算）中直接使用它。
