for namelist in iterator do
   block
end

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

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

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

    Lua已經(jīng)提供了若干個(gè)常用的迭代器生成函數(shù)，最常見的就是ipairs和pairs。ipairs(t)以一個(gè)table作為參數(shù)，生成一個(gè)依次返回(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同樣用一個(gè)table作為參數(shù)，它生成的迭代器依次返回該表中所有的key和value。

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

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

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

1        Monday

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

    由此可知，使用了ipairs和pairs的Generic for在語義與上文while true ... end形式的代碼并不完全相同，它們生成的迭代器需要使用循環(huán)變量，而如果循環(huán)體改變了循環(huán)變量值的話，那么迭代器就很可能會象在本例中那樣找不著北了。因此，《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的這個(gè)缺陷是由于它們要用當(dāng)前循環(huán)變量的值來作為下一次迭代的起點(diǎn)，那么這是不是必需的呢？當(dāng)然不是，我們完全可以通過closure來實(shí)現(xiàn)一個(gè)更安全的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

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

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