MRI Ruby 1.9.2中的词法分析

Question

目前我正在学习一些编译器理论和实践。Ruby是我日常使用的语言，所以我去看看它的词法分析器和语法。ruby有单独的lexer吗？如果是，它是在哪个文件中描述的？

Answer 1

在ruby源代码中有一个包含语法的parse.y文件。我相对确定ruby使用一个独立的词法分析器(就像大多数LR解析器一样)。而且看起来词法分析器是有状态的：

enum lex_state_e {
EXPR_BEG,           /* ignore newline, +/- is a sign. */
EXPR_END,           /* newline significant, +/- is an operator. */
EXPR_ENDARG,        /* ditto, and unbound braces. */
EXPR_ARG,           /* newline significant, +/- is an operator. */
EXPR_CMDARG,        /* newline significant, +/- is an operator. */
EXPR_MID,           /* newline significant, +/- is an operator. */
EXPR_FNAME,         /* ignore newline, no reserved words. */
EXPR_DOT,           /* right after `.' or `::', no reserved words. */
EXPR_CLASS,         /* immediate after `class', no here document. */
EXPR_VALUE          /* alike EXPR_BEG but label is disallowed. */
};

我想这是必要的，因为换行符在某些情况下会被忽略，而在其他情况下它会终止表达式等。另外，'class‘并不总是像'x.class’这样的关键字。

但我不是专家。

编辑:更深入地查看parse.y文件，词法分析器并不完全独立于解析器：

superclass  : //[...]
    | '<'
        {
        lex_state = EXPR_BEG;
        }