for namelist in iterator do
   block
end

其中iterator是一個迭代器函數，它可以有一個或多個返回值，namelist是逗號分隔的循環變量名列表，用來接收每次調用迭代器函數得到的返回值。這段程序的語義與下面形式的代碼相同:

while true do
   local namelist = iterator()
   if nil == first(namelist) then break end
   block
end

first(namelist)表示namelist的第一個變量名。

    Lua已經提供了若干個常用的迭代器生成函數，最常見的就是ipairs和pairs。ipairs(t)以一個table作為參數，生成一個依次返回(1,t[1])、(2,t[2])、(3,t[3])......的迭代器。下面這段代碼

t = {"Monday","Tuesday", "Wednesday","Thursday", "Friday","Saturday","Sunday"}

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

將會打印出

1        Monday
2        Tuesday
3        Wednesday
4        Thursday
5        Friday
6        Saturday
7        Sunday

。pairs同樣用一個table作為參數，它生成的迭代器依次返回該表中所有的key和value。

    Generic for搭配ipairs和pairs用起來相當方便，但是它們卻有一個很難察覺的缺陷。看看這段代碼:

for i,v in ipairs(t) do
  print(i,v)
  -- some code changes i
  i = 0
end

許多人(包括我)都猜不出它竟然會不停地瘋狂打印

1        Monday

，如果用pairs替代ipairs也不會好到哪里去: 在打印出一行數據后便拋出個 invalid key for `next' 錯誤。

    由此可知，使用了ipairs和pairs的Generic for在語義與上文while true ... end形式的代碼并不完全相同，它們生成的迭代器需要使用循環變量，而如果循環體改變了循環變量值的話，那么迭代器就很可能會象在本例中那樣找不著北了。因此，《Programming in Lua》的4.3.5中便有這么一段諄諄告誡: “The generic loop shares two properties with the numeric loop: The loop variables are local to the loop body and you should never assign any value to the loop variables. "。

    ipairs和pairs的這個缺陷是由于它們要用當前循環變量的值來作為下一次迭代的起點，那么這是不是必需的呢？當然不是，我們完全可以通過closure來實現一個更安全的ipairs :

function myipairs (t)
   local i = 0
   local n = table.getn(t)
   return function ()
             i = i + 1
             if i <= n then return i,t[i] end
          end
end

t = {"Monday","Tuesday", "Wednesday","Thursday", "Friday","Saturday","Sunday"}

for i,v in myipairs(t) do
  print(i,v)
  -- some code changes i
  i = 0
end

    試試上面這段代碼，怎么樣？是不是工作得很好？為什么它不會發瘋？其實很簡單，myipairs生成的迭代器(一個closure)把需要用到的迭代信息保存到它的upvalue(i和n)中，這樣即使循環體更改了循環變量也不會影響到迭代狀態。感謝closure，我們終于可以放心大膽地粗心一點了！^_^

Trackback: http://tb.blog.csdn.net/TrackBack.aspx?PostId=564518