lua sort 的快排边界值的问题

Lua 自己实现排序sort比较方法，抛出错误invalid order function for sorting

明天新功能就要上了，结果刚刚突然QA说项目抛出了错误。握草，吓得立马出了一身汗。
查了一下错误，发现可能是自己写的不稳定排序造成的。自己感觉应该就是。把排序方法写成稳定的之后，代码分离编译进手机，跑了一下木有错误了。脑残的自己为何要对服务器传过来的有序数据进行排序呢？脑抽不明。
下文为转的别人总结的lua库。（该学习的地方还太多）

lua的table库

函数列表：

table.insert(table,[ pos,] value)

table.remove(table[, pos])

table.concat(table[, sep[, i[, j]]])

table.sort(table[, comp])

1. insert 和 remove 只能用于数组元素的插入和移出， 进行插入和移出时，会将后面的元素对齐起来。

所以在 for 循环中进行 insert 和 remove 的时候要注意插入和移除时是否漏掉了某些项：

local t = {1,2,3,3,5,3,6}

for i,v in ipairs(t) do

if v == 3 then

table.remove(t,i)

end

end

-- 错误，第四个 3 没有被移除，ipairs 内部会维护一个变量记录遍历的位置，remove 掉第三个数字 3 之后，ipairs 下一个返回的值是 5 而不是 3

local t = {1,2,3,3,5,3,6}

for i=1, #t do

if t[i] == 3 then

table.remove(t,i)

i = i-1

end

end

-- 错误，i=i-1 这段代码没有用，i 的值始终是从 1 到 #t，for 循环里修改 i 的值不起作用

local t = {1,2,3,3,5,3,6}

for i=#t, 1, -1 do

if t[i] == 3 then

table.remove(t,i)

end

end

-- 正确，从后往前遍历

local t = {1,2,3,3,5,3,6}

local i = 1

while t[i] do

if t[i] == 3 then

table.remove(t,i)

else

i = i+1

end

end

-- 正确，自己控制 i 的值是否增加

2. concat 可以将 table 的数组部分拼接成一个字符串，中间用 seq 分隔。

lua 中字符串的存储方式与 C 不一样，lua 中的每个字符串都是单独的一个拷贝，拼接两个字符串会产生一个新的拷贝，如果拼接操作特别多，就会影响性能：

local beginTime = os.clock()

local str = ""

for i=1, 30000 do

str = str .. i

end

local endTime = os.clock()

print(endTime - beginTime)

-- 消耗 0.613 秒，产生了 30000 个字符串拷贝，但只有最后一个是有用的
local beginTime = os.clock()

local t = {}

for i=1, 30000 do

t[i] = i

end

local str = table.concat(t, "")

local endTime = os.clock()

print(endTime - beginTime)

-- 消耗 0.024 秒，利用 concat，一次性把字符串拼接出来，只产生了一个字符串拷贝

3. sort 可以将 table 数组部分的元素进行排序，需要提供 comp 函数，comp(a, b) 如果 a 应该排到 b 前面，则 comp 要返回 true 。

注意，对于 a==b 的情况，一定要返回 false :

local function comp(a,b)

return a <= b

end

table.sort(t,comp)

-- 错误，可能出现异常：attempt to compare number with nil

local function comp(a,b)

if a == nil or b == nil then

return false

end

return a <= b

end

table.sort(t,comp)

-- 错误，可能出现异常：invalid order function for sorting

-- 也可能不报这个异常，但结果是错误的；

之所以 a==b 返回true 会引发这些问题，是因为 table.sort 在实现快速排序时没有做边界检测：

for (;;) {

while (lua_rawgeti(L, 1, ++i), sort_comp(L, -1, -2)) { // 未检测边界, i 会一直增加

if (i>=u) luaL_error(L, "invalid order function for sorting");

lua_pop(L, 1);

}

while (lua_rawgeti(L, 1, --j), sort_comp(L, -3, -1)) { // 未检测边界, j 会一直减少

if (j<=l) luaL_error(L, "invalid order function for sorting");

lua_pop(L, 1);

}

if (j<i) {

lua_pop(L, 3);

break;

}

set2(L, i, j);

}

看以上代码，如果 a==b 时返回 true 且边界上的几个值是相等的话， sort_comp 就无法阻止 i 继续增长，直到超出边界引发异常 attempt to compare number with nil；即使我们对 a 和 b 进行非空判断，也会因为 i 超过边界而引发异常 invalid order function for sorting

快速排序是什么，lua 如何实现快速排序，可以参考 lua 源码中的描述，这里不多介绍；

---------------------------------------------
所以代码可以写成

local function comp(a,b)
if a == nil or b == nil then
return false
end
if a == b then
　　　　     return false
　　　　end
return a < b
end
table.sort(t,comp)

意思就是，在a == b 时，不进行交换就可以了。交换的话，就会导致不稳定。