Compiler and Interpreter¶

C++实现解释器(4):求值

参照《Writing An Interpreter/Compiler In Go》，改用C++实现。

项目源码: https://github.com/LeslieZhu/monkey-cpp

引言

本篇对应的源码位于目录: src/03/

03
 |token
 | |token.hpp
 |evaluator
 | |evaluator.hpp
 |CMakeLists.txt
 |test
 | |lexer_test.hpp
 | |parser_test.hpp
 | |evaluator_test.hpp
 | |ast_test.hpp
 | |main.cpp
 |lexer
 | |lexer.hpp
 |repl
 | |repl.hpp
 |objects
 | |objects.hpp
 | |environment.hpp
 |parser
 | |parser.hpp
 | |parser_tracing.hpp
 |ast
 | |ast.hpp
 |main
 | |monkey.cpp

求值(Evaluation)是解释器处理源代码过程的最后一步，求值过程决定了一门编程语言的解释方式。

C++实现解释器(3):语法分析与普拉特解析

参照《Writing An Interpreter/Compiler In Go》，改用C++实现。

项目源码: https://github.com/LeslieZhu/monkey-cpp

引言

本篇对应的源码位于目录: src/02/

02
 |token
 | |token.hpp
 |CMakeLists.txt
 |test
 | |lexer_test.hpp
 | |parser_test.hpp
 | |ast_test.hpp
 | |main.cpp
 |lexer
 | |lexer.hpp
 |repl
 | |repl.hpp
 |parser
 | |parser.hpp
 | |parser_tracing.hpp
 |ast
 | |ast.hpp
 |main
 | |monkey.cpp

语法分析器将输入的内容转换为对应的数据结构，具体就是将词法分析器得到的一系列词法Token转换为对应的数据结构，形成抽象语法树(AST)。

使用yacc、bison、ANTLR等语法分析器生成器工具，可以根据BNF或EBNF形式描述的语法构成，自动生成语法分析器。为了理解语法分析器的工作原理，不使用这些工具。

这里准备编写的语法分析器是递归下降语法分析器，具体就是基于自上而下的运算符优先级分析法，其发明人是普拉特，又称普拉特语法分析器。

C++实现解释器(2): 词法分析

参照《Writing An Interpreter/Compiler In Go》，改用C++实现。

项目源码: https://github.com/LeslieZhu/monkey-cpp

引言

本篇对应的源码位于目录: src/01/

src
 |01
 | |token
 | | |token.hpp
 | |CMakeLists.txt
 | |test
 | | |main.cpp
 | | |lexer_test.cpp
 | |lexer
 | | |lexer.hpp
 | |repl
 | | |repl.hpp

将源代码转换为词法单元，这个过程叫词法分析，完成这个过程的叫词法分析器(tokenizer/scanner)。

C++实现解释器(1): 开篇

参照《Writing An Interpreter/Compiler In Go》，改用C++实现。

项目源码: https://github.com/LeslieZhu/monkey-cpp

引言

实现解释器有很多教程，看了这个基于Go语言的版本后，将采用C++17来重新实现一遍，以体验两种不同编程语言的风格差异。

将采用测试驱动开发(TDD)形式，先写测试用例，再实现代码。

使用的是来自谷歌的gtest(GoogleTest)开源测试框架。