lua4.0数值定义

• 语法分析

语法分析表达式过程中处理数值定义

static void simpleexp (LexState *ls, expdesc *v) {  FuncState *fs = ls->fs;  switch (ls->t.token) {    case TK_NUMBER: {  /* simpleexp -> NUMBER */      Number r = ls->t.seminfo.r;      next(ls);      luaK_number(fs, r);    //定义数字      break;    }

• 类型判定

void luaK_number (FuncState *fs, Number f) {  if (f <= (Number)MAXARG_S && (Number)(int)f == f)    luaK_code1(fs, OP_PUSHINT, (int)f);  //处理短整数short integer  else    luaK_code1(fs, OP_PUSHNUM, number_constant(fs, f));     //处理浮点数等其他数字}

如果不是整型，那么从函数Proto.knum[]数组中查找是否有过同数字定义，如果有则返回序号，没有则添加并返回序号，同时将该数组大小加一：

static int number_constant (FuncState *fs, Number r) {  Proto *f = fs->f;  int c = f->nknum;  int lim = c < LOOKBACKNUMS ? 0 : c-LOOKBACKNUMS;  while (--c >= lim)     //寻找是否有过同数值定义    if (f->knum[c] == r) return c;  luaM_growvector(fs->L, f->knum, f->nknum, 1, Number,                  "constant table overflow", MAXARG_U);  c = f->nknum++;       //数组大小增加  f->knum[c] = r;       //将数值赋值进新的数组元素  return c;}

• 代码生成

  代码生成主要是调用luaK_code2，主要流程：

//获取前面一条指令，主要供优化使用Instruction i = previous_instruction(fs);//从luaK_opproperties结构体定义中获取该条指令对堆栈大小的影响int delta = luaK_opproperties[o].push - luaK_opproperties[o].pop;//代码优化开关，初始为不优化int optm = 0//这里根据指令类型，处理delta等，同时判定是否需要对该条指令进行优化switch (o) {    case OP_CLOSURE: {      delta = -arg2+1;      break;    }    }//这个函数用来修正FuncState结构中关于本函数的堆栈大小数值//包括stacklevel和proto结构中的maxstacksizeluaK_deltastack(fs, delta);//如果需要优化，这里将上一条指令覆盖为优化代码  if (optm) {  /* optimize: put instruction in place of last one */      fs->f->code[fs->pc-1] = i;  /* change previous instruction */      return fs->pc-1;  /* do not generate new instruction */  }//代码不需要优化，根据代码类型，生成指令  switch ((enum Mode)luaK_opproperties[o].mode) {    case iO: i = CREATE_0(o); break;    case iU: i = CREATE_U(o, arg1); break;    case iS: i = CREATE_S(o, arg1); break;    case iAB: i = CREATE_AB(o, arg1, arg2); break;  }//扩展代码内存大小，填充新生成的指令luaM_growvector(fs->L, fs->f->code, fs->pc, 1, Instruction,                  "code size overflow", MAX_INT);fs->f->code[fs->pc] = i;