Lua词法分析总结

最新推荐文章于 2024-04-19 09:36:36 发布

hiheasy

最新推荐文章于 2024-04-19 09:36:36 发布

阅读量1k

点赞数

CC 4.0 BY-SA版权

分类专栏： Lua

本文链接：https://blog.youkuaiyun.com/hiheasy/article/details/8178528

本文是对Lua词法分析的总结，主要关注llex.c的实现。llex.c负责读取文件，生成有效token，包括保留字、变量和值。luaS_fix用于处理保留字，而llex和luaX_next是关键函数，前者分析文件流，后者提取token。此外，文章提到了5.1版中支持的特殊注释格式。后续会深入解析语法分析代码lparse.c。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

正在抽空看lua的语法分析（lparse.c）, 这个过程也是断断续续的。这里的记录也将会是断断续续的，等到全部看透就再写一篇补充之。

看语法分析前得先看词法分析，就一个llex.c 代码很简单，读取文件，每次取出一个有效的token，或者保留字，或者变量或者值等等。其中保留字有以下这么多种：

const char *const luaX_tokens [] = {
    "and", "break", "do", "else", "elseif",
    "end", "false", "for", "function", "if",
    "in", "local", "nil", "not", "or", "repeat",
    "return", "then", "true", "until", "while",
    "..", "...", "==", ">=", "<=", "~=",
    "<number>", "<name>", "<string>", "<eof>",
    NULL
};

全都用luaS_fix api永驻过。

此外通过llex中函数skip_sep可以看出， 5.1的注释支持如下的写法， lua语法掌握不好，这个还是第一次知道。

--[=====

这里是注释

=====]--

static int skip_sep (LexState *ls) {
  int count = 0;
  int s = ls->current;
  lua_assert(s == '[' || s == ']');
  save_and_next(ls);
  while (ls->current == '=') {
    save_and_next(ls);
    count++