摘要：
官方文档中的解释针对目前的lua5.4，官方api中对coroutine的解释如下函数名参数返回值作用coroutine.createfunctionthread创建一个主体函数为f的新协程。coroutine.isyieldablethreadboolean如果协程co可以让出，则返回真。coroutine.closethreadbooleannoerroranyerrorobject关闭协程co，并关闭它所有等待to-be-closed的变量，并将协程状态设为dead。coroutine.resumethreadanyboolean,any开始或继续协程co的运行。coroutine.statusthreadstring:"running"正在运行;"suspended"挂起或是还没有开始运行;"normal"是活动的，但并不在运行;"dead"行完主体函数或因错误停止。coroutine.running()voidthread,boolean返回当前正在运行的协程加一个布尔量。*/#defineTValuefieldsValuevalue_;lu_bytett_typedefstructTValue{TValuefields;}TValue;/***Lua堆栈中的条目。
官方文档中的解释
针对目前的lua5.4，官方api中对coroutine的解释如下
| 函数名 | 参数 | 返回值 | 作用 |
|---|---|---|---|
| coroutine.create(f) | function | thread | 创建一个主体函数为 f 的新协程。 f 必须是一个 Lua 的函数。 返回这个新协程，它是一个类型为 "thread" 的对象。（对应函数：luaB_cocreate） |
| coroutine.isyieldable(co) | thread | boolean | 如果协程 co 可以让出，则返回真。co 默认为正在运行的协程。 |
| coroutine.close(co) | thread | boolean noerror any errorobject | 关闭协程 co，并关闭它所有等待 to-be-closed 的变量，并将协程状态设为 dead 。 |
| coroutine.resume(co, val1, ...) | thread any | boolean,any | 开始或继续协程 co 的运行。（对应函数：luaB_coresume） |
| coroutine.status(co) | thread | string: "running"正在运行; "suspended"挂起或是还没有开始运行; "normal"是活动的，但并不在运行; "dead"行完主体函数或因错误停止。 | 以字符串形式返回协程 co 的状态。 |
| coroutine.wrap(f) | function | fun(...):... | 创建一个主体函数为 f 的新协程。 f 必须是一个 Lua 的函数。 返回一个函数， 每次调用该函数都会延续该协程。 |
| coroutine.running() | void | thread,boolean | 返回当前正在运行的协程加一个布尔量。 如果当前运行的协程是主线程，其为真。 |
| coroutine.yield(...) | ... | ... | 挂起正在调用的协程的执行。 （对应函数：luaB_yield） |
create最简单的写法就是
mythread = coroutine.create(function()
print("hello wzh")
end)
lua中的create是通过luaB_cocreate()来创建的
//lcorolib.c 95行
static int luaB_cocreate (lua_State *L) {
lua_State *NL;//创建一个新的协程栈
luaL_checktype(L, 1, LUA_TFUNCTION);//检查传入的参数是否为函数，如果不是函数就会停止整个lua虚拟机的执行
NL = lua_newthread(L); /* new一个新协程 */
lua_pushvalue(L, 1); /* move function to top */
lua_xmove(L, NL, 1); /* move function from L to NL */
return 1;
}
create第一件事
主要做三件事，首先就是创建一个新的协程栈，协程栈主要包含
//lstate.h 303行
struct lua_State {
CommonHeader;
lu_byte status; //当前状态
lu_byte allowhook; //是否允许hook
unsigned short nci; /* number of items in 'ci' list */
StkId top; /* first free slot in the stack */
global_State *l_G;
CallInfo *ci; /* call info for current function */
StkId stack_last; /* end of stack (last element + 1) */
StkId stack; /* stack base */
UpVal *openupval; /* list of open upvalues in this stack */
StkId tbclist; /* list of to-be-closed variables */
GCObject *gclist;
struct lua_State *twups; /* list of threads with open upvalues */
struct lua_longjmp *errorJmp; /* current error recover point */
CallInfo base_ci; /* CallInfo for first level (C calling Lua) */
volatile lua_Hook hook;
ptrdiff_t errfunc; /* current error handling function (stack index) */
l_uint32 nCcalls; /* number of nested (non-yieldable | C) calls */
int oldpc; /* last pc traced */
int basehookcount;
int hookcount;
volatile l_signalT hookmask;
};
CommonHeader是一个数据头，所有的 GCObject 都有这个相同的数据头，这个数据头是一个宏，
#define CommonHeader GCObject *next; lu_byte tt; lu_byte marked
所有的 GCObject 都用一个单向链表串了起来。每个对象都以 tt 来识别其类型。marked 域用于标记清除的工作(也就是gc操作,gc操作两元色到三元色的演进,在我看来清楚了gc和协程就lua就基本掌握的差不多了)。
lu_byte status;
/* thread status 有六种*/
#define LUA_OK 0
#define LUA_YIELD 1
#define LUA_ERRRUN 2
#define LUA_ERRSYNTAX 3
#define LUA_ERRMEM 4
#define LUA_ERRERR 5
allowhook是否允许hook的意思，在源码中，暂时只找到两个数值0和1，目前对hook的理解就是类似中断的一种机制
allowhook = 0; /* cannot call hooks inside a hook */
allowhook = 0; /* stop debug hooks during GC metamethod */
allowhook = 1; //允许hook
nci指的是ci列表中的条目数，ci指的是？
unsigned short nci; /* number of items in 'ci' list */
堆栈中的第一个空闲槽
StkId top; /* first free slot in the stack */
StkId在lobject.h中有定义
/*
** 标记的值。 这是Lua中值的基本表示形式：实际值以及带有其类型的标记。
*/
#define TValuefields Value value_; lu_byte tt_
typedef struct TValue {
TValuefields;
} TValue;
/*
** Lua堆栈中的条目。 字段“ tbclist”构成了此堆栈中所有活动的将要关闭的变量的列表。
** 当两个tbc变量之间的距离不适合无符号短型时，将使用虚拟条目。
** 它们用delta == 0表示，其实际delta始终是该字段中适合的最大值。
*/
typedef union StackValue {
TValue val;
struct {
TValuefields;
unsigned short delta;
} tbclist;
} StackValue;
/* 第一个自由索引堆栈中的元素槽 */
typedef StackValue *StkId;
针对上述的Value其实是一个联合体，这个是lua中最为特别的联合体，被称为lua数据原子，用来完成绝大部分数据存储,第一种为可gc的对象，下面的四种为不需要gc
typedef union Value {
struct GCObject *gc; /* 可收集的对象 */
void *p; /* light userdata */
lua_CFunction f; /* light C functions 6*/
lua_Integer i; /* integer numbers */
lua_Number n; /* float numbers */
} Value;
从源码看的话lua中的数据类型一共有10种，第十种是啥有点看不懂，等遇到了就知道了，不过这种基本数据类型的设计有点迷，
#define LUA_TNONE (-1) //判断这个变量是否等于为空使用的，这个是Lua内部使用
#define LUA_TNIL 0 //全局变量没被赋值默认为nil，删除变量就赋值为 nil
#define LUA_TBOOLEAN 1 //布尔值
#define LUA_TLIGHTUSERDATA 2 //自定义类型，需要自己管理分配和回收，相关函数lua_pushlightuserdata()
#define LUA_TNUMBER 3 // 实数
#define LUA_TSTRING 4 //字符串
#define LUA_TTABLE 5 //数组，表
#define LUA_TFUNCTION 6 //函数
#define LUA_TUSERDATA 7 //自定义类型，是由LUA的GC机制进行回收，相关函数lua_newuserdata()
#define LUA_TTHREAD 8 //线程协程，相关函数lua_newthread，lua_newstate
#define LUA_NUMTYPES 9 //
create第二件事
就是将CallInfo操作栈上的协程回调函数，移动到L->top数据栈顶部
lua_pushvalue(L, 1);
create第三件事
就是将拷贝回调函数到协程的数据栈上
lua_xmove(L, NL, 1);
调用create后的协程是suspended状态的