Lua程序设计-迭代器

--迭代器
--一种可以遍历一个集合中所有元素的代码结构
--函数表述迭代器 每一次调用 函数就会返回集合的下一个元素
--所有迭代器都需要在连续调用之间保存一些状态 知道当前所处位置以及如何从当前位置到下一步位置
--自定义迭代器 闭包为保存状态提供了一种良好的机制
--闭包就是一个可以访问其自身环境中一个或者多个局部变量的函数
--这些变量连续调用过程中的值并将其保存在闭包中，从而使得闭包能够记住迭代所处的位置
--创建一个新的闭包 必须创建非局部变量 因此一个闭包结构涉及两个函数 闭包本身和一个用于创建该闭包及其封装变量的工厂

--value为工厂 调用工厂就会产生一个闭包 闭包状态保存在i
function values(t)
    local i=0
    return function() i = i+1; return t[i] end
end

local t = {10,20,30}

local iter = values(t)
while true do
    local element = iter()
    if element== nil then
        break
    end
    print(element)
end

--泛型for
--上述迭代器每次遍历都会创建一个闭包
--for在循环过程中在内部保存了迭代函数 泛型for保存三个值 一个迭代函数 一个不可变函数 一个控制变量
--for第一件事是对in 后面的表达式求值 这些表达式返回三个值供for保存 在简单迭代器中 工厂只会返回迭代函数
--之后for使用不可变状态和控制变量作为参数来调用迭代函数
--for代码结构来看 不可变状态没有意义 for只是把初始化步骤得到的状态值传递给所有迭代函数
--然后 for将迭代函数的返回值赋给变量列表中声明的变量 如果第一个返回值为nil 循环终止 否则继续调用迭代函数

for var_1,...vra_n in explist do block end

do
    local _f,_s,_var = explist
    while true do
        local var_1,...,vra_n = _f(_s,_var)
        _var = var_1
        if _var==nil then break end
        block
    end
end

--无状态迭代器
--自身不保存任何状态迭代器 避免新闭包创建的开销
--for 循环会以不可变状态和控制变量为参数调用迭代函数 一个无状态迭代器只根据这两个值
--为迭代生成下一个元素 ipairs
local a={"one","two","three"}
for k,v in ipairs(a) do
    print(k,v)
end

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

function ipairs(t)
    return iter,t,0
end
--调用for循环中的ipairs(t)时候 ipairs(t)会返回三个值 迭代函数iter 不可变状态表t 控制变量的初始值0
--然后lua调用iter(t,0)得到1,t[1] 依次类推直至得到第一个为nil的元素
--函数pairs与ipairs类似 用于遍历表的元素 不同的是 函数pairs的迭代函数是lua语言的一个基本函数 next
function pairs(t)
    return next,t,nil
end

--调用next(t,k) k是随机的一个键 该函数会返回表中的下一个键以及对应的值作为第二个返回值
--调用next(t,nil)时候 返回表中的第一个键值对 当所有元素被遍历完 next返回nil

--迭代器真正含义
--上面说到的迭代器并没有真正的迭代 真正的迭代是for循环完成的 迭代器只是为每次的迭代提供连续的值