Lua中的for循环和迭代器的秘密探究

时间:2022-09-03 11:05:36

上一篇我们介绍了,可以使用for循环来完成迭代器的调用,十分简洁。
那么,具体这for循环做了什么呢?我当然没有去看源码,我只是看书而已。
资料来源于《Lua程序设计》第二版,如果这本书的内容没有错的话,那么,本篇文章理论上也不会有错~

1.返回两个值的迭代器

pairs是能遍历table的key和value的,而我们之前写的dieDaiQi函数只能返回value。
所以,我们要改改dieDaiQi函数,如下:

复制代码 代码如下:

function dieDaiQi(t)
    local i = 0;
    return function()
        i = i + 1; 
      
        if i > #t then
            return nil;
        end         
        return i, t[i];
    end
end

 

当然了,这不是一个安全的迭代器,我们假设table中没有nil值。
至于为什么要有一个if i > #t的判断,待会会说到。
 
使用如下方式调用迭代器:

复制代码 代码如下:
   
    local t = {"fdsd", "445", "9999"};
    for k, v in dieDaiQi(t) do
        print(k .. "," .. v);
    end

 

输出结果如下:

复制代码 代码如下:

[LUA-print] 1,fdsd
[LUA-print] 2,445
[LUA-print] 3,9999

 

2.for .. in .. do的真面目

【for k, v in dieDaiQi(t) do  end】这段代码实际上等价于以下代码:

复制代码 代码如下:

    do
        local _f, _s, _var = dieDaiQi(t);
      
        while true do
            local k, v = _f(_s, _var);
            _var = k;
          
            if _var == nil then
                break;
            end
          
            print(k .. "," .. v);
        end
    end

 

是不是很复杂?其实它和我们之前第一次调用迭代器的代码很像,我们先删掉复杂的部分,代码变成如下:

复制代码 代码如下:

    do
        local _f = dieDaiQi(t);
      
        while true do
            local k, v = _f();
          
            if k == nil then
                break;
            end
          
            print(k .. "," .. v);
        end
    end

 

试试运行这段代码,结果如下:

复制代码 代码如下:

[LUA-print] 1,fdsd
[LUA-print] 2,445
[LUA-print] 3,9999


和直接使用for in循环是一样的结果。
 
实际上,我说的这些都是废话,因为我们之前就已经说,for in循环就是用来简化迭代器的调用的,所以当然是一样的结果。

 

3.迭代器函数、恒定状态、控制变量初值

我们来看看for in真面目的第一句代码:local _f, _s, _var = dieDaiQi(t);
三个返回值分别代表迭代器函数(_f)、恒定状态(_s)、控制变量初值(_var)。
 
迭代器函数:就不用解释了,就是我们的dieDaiQi返回的闭合函数。
恒定状态:其实就是一个变量,这个变量一直不变,所以称之为恒定。
控制变量初值:和恒定相对于的,这是一个会不断改变的变量。
 
因为我本人没有实际使用过这种特性,所以没法举出实际的例子,只能从理论上去解释。

1.比如我们的dieDaiQi函数,它只有一个返回值,就是那个闭合函数,所以,_s和_var都是nil。

2.接着调用local k, v = _f(_s, _var); 这实际上就是调用了闭合函数,并且将恒定值和变量值都作为参数传递进去。

3.Lua的函数是很*的,即使_f函数本身没有参数,也可以传参数进去,不会影响什么,所以,两个nil值传进去了,没有任何事情发生,就像是直接调用_f()一样。

4.再下一句代码:_var = k;  这是把闭合函数(_f)的第一个返回值保存起来,因为每次调用闭合函数(_f)返回值都是下一个迭代值,所以_var每次都是不一样的值。

5.如果_var的值为nil,则停止循环,结束迭代。
 
因此,我们编写迭代器的时候,迭代结束的方式就是让第一个返回值为nil。
 
那么,如果我们让dieDaiQi函数返回恒定状态和控制变量初值,又是什么样的情况呢?
代码如下:

复制代码 代码如下:

function dieDaiQi(t)
    local i = 0;
    return function(s, var)
        i = i + 1; 
      
        if i > #t then
            return nil;
        end       
        print("恒定值=" .. s .. ", 变量值=" .. var)
        return i, t[i];
    end, 10, 0
end

 

留意一下,dieDaiQi函数现在会返回三个参数,后面的10和0分别就是恒定状态和控制变量初值。
同时,闭合函数也多了两个参数:s和var。
 
于是,我们再次用for循环遍历迭代器:

复制代码 代码如下:

    for k, v in dieDaiQi(t) do
        print(k .. "," .. v);
    end

 

输出结果如下:

 

复制代码 代码如下:

[LUA-print] 恒定值=10, 变量值=0
[LUA-print] 1,fdsd
[LUA-print] 恒定值=10, 变量值=1
[LUA-print] 2,445
[LUA-print] 恒定值=10, 变量值=2
[LUA-print] 3,9999

 

恒定值自然是一直不变的,而变量值在每一次调用了闭合函数之后,就会赋值为k的值,所以变量值一直按着table的key值在变化。

可能一时有点混乱,不过,只要对照着for .. in .. do .. end对应的实现代码,就很好理解了。

4.结束

终于写完了,我快撑不住了,一晚上写两篇文章,可够折腾的。

现在眼睛都是花的…我不知道我还能坚持多少个晚上…

幸好学习的内容会越来越难,这样我就没法一个晚上就理解透彻,也就没法每晚写一篇教程了~

太好了,呵呵。(小若:想偷懒就偷懒吧,说这么多做什么)