一般dofile 可以这样来定义:
function dofile(filename) local f = assert(loadfile(filename)) return f() end
注意,如果loadfile 失败,那么其中assert 就会引发一个错误。
函数loadstring 与loadfile 类似,不同之处在于它是从一个字符串中读取代码,而非从文件读取。例如,如下代码:
f = loadstring("i = i + 1")
f 就变成了一个函数,每次调用时就执行“i = i + 1".
i = 32 local i = 0 f = loadstring("i = i + 1"; print(i)") g = function() i = i + 1; print(i) end f() -->33 g() -->1
函数g 如预期地操作了局部的i, 但是f 操作的却是全局的i, 这是因为loadstring总是在全局环境中编译它的字符串。loadstring最典型的用处就是执行外部代码,也就是那些位于程序之外的代码。
assert 函数检查其第一个参数是否为true,若为true,则简单地返回该参数;否则(为false 或nil)就引发一个错误。它的第二个参数是一个可选的信息字符串。注意,assert 是一个正规的函数,所以Lua同样会在调用该函数前对其参数求值。
file = assert(io.open("te", "r")) -->stdin:te:No such file or directory
上例中,如果io.open 失败了,assert就引发了一个错误。
pcall 函数会以一种”保护模式“来调用它的第一个参数,因此pcall 可以捕获函数执行中的任何错误。如果没有发生错误,pcall会返回true 及函数调用的返回值;否则,返回false 及错误消息。
协同程序与线程差不多,也就是一条执行序列,拥有自己独立的栈、局部变量和指令指针,同时又与其他协同程序共享全局变量和其他大部分东西。协同程序需要彼此协作地运行,也就是会说,一个具有多个协同程序的程序在任意时刻只能运行一个协同程序,并且正在运行的协同程序只会在其显示的要求挂起时,它的直到才会暂停。
Lua将所有关于协同程序的函数放置在一个名为”coroutine“的table 中。函数create 用于创建新的协同程序,它只有一个参数,就是一个函数。create 会返回一个thread 类型的值,用以表示新的协同程序。
co = coroutine.create(function() print("hi") end) print(co) -->thread:0x8071d98
一个协同程序可以处于4中不同的状态:挂起(suspended)、运行(running)、死亡(dead)和正常(normal)。当创建一个协同程序时,它处于挂起状态。
print(coroutine.status(co)) -->suspended
函数coroutine.resume 用于启动或再次启动一个协同程序的执行,并将其状态由挂起改为运行:
coroutine.resume(co) -->hi
本例中,协同程序的内容只是简单地打印了”hi“后便终止了,然后它就处于死亡状态,也就再也无法返回了:
print(coroutine.status(co)) -->dead
而协同程序的真正强大之处在于函数yield 的使用上,该函数可以让一个运行中的协同程序挂起,而之后可以再恢复它的运行:
co = coroutine.create(function() for i=1, 10 do print("co", i) coroutine.yield() end end
现在当唤醒这个协同程序时,它就会开始执行,直到第一个yield:
coroutine.resume(co) -->co 1 print(coroutine.status(co)) -->suspended coroutine.resume(co) -->co 2 coroutine.resume(co) -->co 3 ... coroutine.resume(co) -->10 coroutine.resume(co) --什么都不打印
请注意,resume是在保护模式中运行的。因此,如果在一个协同程序的执行中发生任何错误,Lua是不会显示错误消息的,而是将执行权返回给resume调用。
当一个协同程序A唤醒另一个协同程序B时,协同程序A就处于一个特殊状态,既不是挂起状态也不是运行状态,这时的状态称为”正常“状态。
co = coroutine.create(function(a, b, c) print("co", a, b, c) end) coroutine.resume(co, 1, 2, 3) -->co 1 2 3
在resume 调用返回的内容中,第一个值为true 则表示没有错误,而后面所有的值都是对应yield 传入的参数:
co = coroutine.create(function(a, b) coroutine.yield(a + b, a - b) end) print(coroutine.resume(co, 20, 10) -->true 30 10
当一个协同程序结束时,它的主函数所返回的值都将作为对应resume 的返回值:
co = coroutine.create(function() return 6, 7 end) print(coroutine.resume(co)) -->true 6 7
一个关于协同程序的经典示例就是”生产者-消费者“的问题:
--生产者 function producer() while true do local x = io.read() --产生新的值 send(x) --发送给消费者 end end --消费者 function consumer() while true do local x = receive() --从生产者接收值 io.write(x, "\n") --消费新的值 end end function receive() local status, value = coroutine.resume(producer) return value end function send(x) coroutine.yield(x) end