编译器/解释器简介、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。

　　 .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 可能有不同规则。