Lua中ipairs与pairs的区别

Lua中ipairs与pairs的区别

首先我们要知道ipairs和pairs通常用在泛型迭代器与for联动使用。
如：

for k, v in pairs(t) do
    print(k, v)
end

for k, v in ipairs(t) do
    print(k, v)
end

这里for内部的执行过程不详细的说，我之前的文章有讲过《迭代器》

官方解释

标准库提供了集中迭代器，包括迭代文件每行的(io.lines)，迭代table元素的(pairs)，迭代数组元素的(ipairs)，迭代字符串中单词的 (string.gmatch)等等。LUA手册中对与pairs,ipairs解释如下：

ipairs (t)

Returns three values: an iterator function, the table t, and 0, so that the construction

for i,v in ipairs(t) do body end

will iterate over the pairs (1,t[1]), (2,t[2]), ···, up to the first integer key absent from the table.

pairs (t)

Returns three values: the next function, the table t, and nil, so that the construction

for k,v in pairs(t) do body end

will iterate over all key–value pairs of table t.

See function next for the caveats of modifying the table during its traversal.

这样就可以看出 ipairs以及pairs 的不同。

pairs可以遍历表中所有的key，并且除了迭代器本身以及遍历表本身还可以返回nil;
但是ipairs则不能返回nil,只能返回数字0，如果遇到nil则退出。它只能遍历到表中出现的第一个不是整数的key

例子如下：

-- ipairs测试
> tab = {1,5,"asd","qwe",54}
> for k,v in ipairs(tab) do
>> print(k.."   "..v)
>> end
-- 结果如下
1   1
2   5
3   asd
4   qwe
5   54

-- pairs测试
> for k,v in pairs(tab) do
>> print(k.."  "..v)
>> end
1  1
2  5
3  asd
4  qwe
5  54

这时候我们发现当key值为标准的有序排列的数字时ipairs与pairs是没什么区别的

接下来我们测试一下key值发生改变时
例子如下：

-- ipairs测试
> tab = {[1] = 5,[2] = 4,["name"] = "asd",["age"] = 15,[3] = 2}
> for k,v in ipairs(tab) do
>> print(k.."  "..v)
>> end
1  5
2  4
3  2

-- pairs测试
> for k,v in pairs(tab) do
>> print(k.."  "..v)
>> end
2  4
name  asd
3  2
1  5
age  15
>

这里我们发现当使用ipairs时他只会识别key为标准数字的键值对，并且按照顺序排列出现
pairs则是无序的键值对，但是可以识别不同类型的key的键值对

ipair通常被称为无状态迭代器，意思是不保留任何状态的迭代器，因此在循环中我们可以利用无状态迭代器避免创建闭包花费的额外代价。
每一次迭代，迭代函数都是用两个变量（状态常量和控制变量）的值作为参数被调用，一个无状态的迭代器指利用这两个值可以获取下一个元素。
具体实现如下：

function iter (a, i)
    i = i + 1
    local v = a[i]
    if v then
       return i, v
    end
end
 
function ipairs (a)
    return iter, a, 0
end