一般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