《Lua程序设计》9.3 以协同程序实现迭代器 学习笔记

例:编写一个迭代器,使其可以遍历某个数组的所有排列组合形式。代码如下:

function permgen(a, n)
    n = n or #a         -- 默认n为a的大小
    if n <= 1 then      -- 还需要改变吗?
        printResult(a)
    else
        for i=1,n do
            -- 将第一个元素放到数组末尾
            a[n], a[i] = a[i], a[n]
            -- 生成其余元素的排列
            permgen(a, n-1)
            -- 恢复第i个元素
            a[n], a[i] = a[i], a[n]
        end
    end
end

然后,还需要定义其中调用到的打印函数printResult,并以适当的参数来调用permgen:

function printResult (a)
    for i=1,#a do
        io.write(a[i], " ")
    end
    io.write("\n")
end

permgen ({1,2,3,4})

输出如下:

2 3 4 1 
3 2 4 1 
3 4 2 1 
4 3 2 1 
2 4 3 1 
4 2 3 1 
4 3 1 2 
3 4 1 2 
3 1 4 2 
1 3 4 2 
4 1 3 2 
1 4 3 2 
2 4 1 3 
4 2 1 3 
4 1 2 3 
1 4 2 3 
2 1 4 3 
1 2 4 3 
2 3 1 4 
3 2 1 4 
3 1 2 4 
1 3 2 4 
2 1 3 4 
1 2 3 4 

当生成函数完成后,将其转换为一个迭代器就非常容易了。首先,将printResult改为yield:

function permgen (a, n)
    n - n or #a
    if n <= 1 then
        coroutine.yield(a)
    else
        <as before>

然后,定义一个工厂方法,用于将生成函数放到一个协同程序中运行,并创建迭代器函数。迭代器指示简单地唤醒协同程序,让其产生下一种排列:

function permutations (a)
    local co = coroutine.create(function () permgen(a) end)
    return function ()  -- 迭代器
        local code, res = coroutine.resume(co)
        return res
    end
end

有了上面的函数,在for语句中遍历一个数组中的所有排列就非常简单了:

for p in permutations {"a", "b", "c"} do
    printResult(p)
end
--> b c a
--> c b a
--> c a b
--> b a c
--> a b c

permutations函数使用了一种在Lua中比较常见的模式,就是将一条唤醒协同程序的调用包装在一个函数中。由于这种模式比较常见,所以Lua专门提供了一个函数coroutine.wrap来完成这个功能。类似于create,wrap创建了一个新的协同程序。但不同的是,wrap并不是返回协同程序本身,而是返回一个函数。每当调用这个函数,即可唤醒一次协同程序。但这个函数与resume的不同之处在于,它不会返回错误代码。当遇到错误时,它会引发错误。若使用wrap,可以这么写permutations:

function permutations (a)
    return coroutine.wrap(function () permgen(a) end)
end

通常,coroutine.wrap比couroutine.create更易于使用。它提供了一个对于协同程序编程实际所需的功能,即一个可以唤醒协同程序的函数。但也缺乏灵活性。无法检查wrap所创建的协同程序的状态,此外,也无法检测出运行时的错误。