需要注意的是,像函数pcall一样,函数resume也运行在保护模式中。因此,如果协程在执行过程中出错,Lua语言将不会显示错误信息,而是将错误信息返回给函数resume。
当协程A唤醒协程B时,协程A既不是挂起状态(因此不能唤醒A),也不是运行状态(因为正在运行的协程是B)。所以,协程A此时的状态被称为正常状态。
Lua 语言中一个非常有用的机制是通过一对resume-yield来交换数据。第一个resume函数(没有对应等待它的yield)会把所有的额外参数传递给协程的主函数:
co = coroutine.create(function (a, b, c)
print("co", a, b, c + 2)
end)
coroutine.resume(co, 1, 2, 3) -->co 1 2 5
在函数coroutine.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
与之对应的是,函数coroutine.yield的返回值是对应的resume的参数:
co = coroutine.create ( function (x)
print("co1", x)
print("co2", coroutine.yield())
end)
coroutine.resume(co, "hi") --> co1 hi
coroutine.resume(co, 4, 5) --> co2 4 5
最后,当一个协程运行结束时,主函数所有的返回值都将变成对应函数resume的返回值:
co = coroutine.create(function ()
return 6, 7
end)
print(coroutine.resume(co)) -->true 6 7
Lua语言提供的时所谓的非对称协程(asymmetric coroutine), 也就是说需要两个函数来控制协程的执行,一个用于挂起协程的执行,另一个用于恢复协程的执行。而其他语言提供的对称协程则是只提供一个函数用于在一个协程和另一个协程之间切换控制权。
在非对称协程的实现中,一个协程只能在它没有调用其他函数时才可以挂起,即在调用栈中没有挂起的调用时。
协程与generator的区别很大。 generator比较简单,不足以实现某些令人关心的代码结构,而这些代码结构可以使用完整的协程实现。