编译器/解释器简介、Bison 和 Reflex 笔记

贡献者： addis

• 参考这篇文章，还有这个
• lexer
• parser
• interpreter
• abstract syntax tree (AST)
• domain-specific languages (DSLs)
• 一个纯手写 c 编译器教程。
• llvm 前端教程：用 c++ 写自己的第一个语言（会 c++ 就行，不需要其他基础）
• baltam 用的是 bison 和 RE/flex
• 用 bison 实现一个简单科学计算器（包括变量赋值和基本函数）的例子 Multi-Function Calculator: mfcalc。
• 笔者自己的简陋 Matlab 实现：见这里。
• LR parser，LALR parser，Recursive Descent parser（G++ 和 Clang 都用是手写的 Recursive Descent），GLR parser（例子：Elsa C++ parser 和 C++ Parser Front End）
• 上一条参考 C/C++ parser 的一个 Stack Overflow 问题。
• 然而 TeX 的编译器要复杂得多（如果要实现全部功能）见这个讨论。现成的工具参考这个。

1. Bison 笔记

• 安装：apt install bison
• 使用：bison xxx.y (-d 选项用于生成头文件)
• 编译 gcc xxx.tab.c -l xxx -o xxx
• 官方例子源文件见笔者的 GitHub。
• 调试的时候，若要在任何规则适配时用断点暂停，可以首先用 --no-line 选项取消行号，然后在生成的 cpp 文件中 switch (yyn) 这句上中打断点。
• 在规则的 action 中，如果最后出现了 YYACCEPT; 就直接返回，停止继续读 scanner。

mfcalc 笔记

• symbol 就是 VAR, FUNC

2. Reflex 笔记

　　 .l 文件基础

• .l 文件的注释用 // 或 /**/ 和 C 一样
• %top{ ... } 会把一段代码放在 .hpp 和 .cpp 文件的开头
• %class{ ... } 定义 lexer class (custom lexer implementation)，如 class MyLexer : public reflex::AbstractLexer { ... };
• %init{ ... } 定义 lexer 初始化的代码，如 printf("Lexer initialized!\n");
• %s 和 %x 定义 lexer states，分别是 inclusive 和 exclusive。如 %s STATE_COMMENT STATE_CLASS，不同 state 可能有不同规则。