C++ 编写一个解释器

Posted 2022-12-15 --Allen--

0 前言

一直想知道如何编写一门脚本语言，现在终于有机会实现了。非常感谢 Thorsten Ball 的大作：Writing An Interpreter In Go 帮助我实现了这个想法！

Go 是一门非常不错的语言，但是为了锻炼一下自己，使用 C++ 实现了书中的想法，项目地址：https://github.com/ivanallen/autumn。

可能你比较好奇为啥这个项目叫 Autumn，因为刚好这个项目是在国庆节开始的，正好是秋天，就以当时的季节命名了。

C++ 是一门非常灵活的语言，正好趁这个小项目，我可以天马行空的实现我的各种想法，应用到工程里。

1 特性

• 基于 C++ 17 语法实现。如果可能的话，我希望我能用上 C++ 20. 仅管目前用到的新特性不是很多，但我希望有些地方，能使用新特性来实现。或许你对新特性更加熟悉。
• 平台：当然是 Linux 和 Mac 都支持啦！（为什么不支持 Windows ? 求大神提 PR 改造！）
• 完善的注释。抱歉，我撒谎了，后面我一定会补上！
• 完善的 Debug 能力。是的，编写 Pratt Parsing 算法是个挑战，理解它如何工作也是一个挑战。你不可能通过 gdb 一行一行去调试。Autumn 项目希望能在 Debug 能力上帮助你理解 Pratt Parsing. 下面是一张截图。

• 高阶函数的支持

• 闭包支持

是的，你还可以做的更多！

2 快速开发

• 第一步当然是 fork & clone 这个项目到你的 Mac 或者 Linux 系统的主机上。
• GCC8 安装

因为这个项目用到了一些 C++17 的特性，所以你得安装支持 C++17 的编译器，这里直接升级到 GCC8 就行了。

# CentOS
$ yum install readline-devel.x86_64
$ yum install -y devtoolset-8-toolchain
$ scl enable devtoolset-8 bash

# Ubuntu
$ sudo add-apt-repository -y ppa:ubuntu-toolchain-r/test
$ sudo apt-get update -qq
$ sudo apt-get install -qq g++-8
$ apt-get install lib64readline-dev
$ export CXX="g++-8"
$ export CC="gcc-8"

• 编译

$ make

• 进入解释器

$ ./autumn eval

然后你就可以在控制台编写一些命令或函数啦！

3 一些酷炫的例子

3.1 map

let map = fn(arr, f) 
	let iter = fn(arr, accumulated) 
		if (len(arr) == 0) 
			accumulated
		 else 
			iter(rest(arr), push(accumulated, f(first(arr))));
		
	;
	iter(arr, []);
;

// 压缩成一行的
let map = fn(arr, f)  let iter = fn(arr, accumulated)  if (len(arr) == 0)  accumulated  else  iter(rest(arr), push(accumulated, f(first(arr)))); ; iter(arr, []);;

• 数组元素 double

let a = [1,2,3,4]
let double = fn(x)  x * 2 ;
map(a, double)

3.2 filter

let filter = fn(arr, f) 
	let iter = fn(arr, accumulated) 
		if (len(arr) == 0) 
			accumulated
		 else 
			let e = if (f(first(arr))) 
				push(accumulated, first(arr));
			 else 
				accumulated
			
			iter(rest(arr), e);
		
	;
	iter(arr, []);
;

// 压缩成一行的
let filter = fn(arr, f)  let iter = fn(arr, accumulated)  if (len(arr) == 0)  accumulated  else  let e = if (f(first(arr)))  push(accumulated, first(arr));  else  accumulated  iter(rest(arr), e); ; iter(arr, []);;

• 找到小于 4 的元素

let a = [1,5,3,6,3,8]
let lessThanFour = fn(x)  x < 4 
filter(a, lessThanFour)

• 快速排序

let quickSort = fn(arr) 
	if (len(arr) == 0) 
		return arr;
	 else 
		let head = first(arr);
		let smaller = filter(rest(arr), fn(x)  x <= head );
		let bigger = filter(rest(arr), fn(x)  x > head );
		return quickSort(smaller) + [head] + quickSort(bigger);
	


// 一行版本
let quickSort = fn(arr) if (len(arr) == 0) return arr; else let head = first(arr);let smaller = filter(rest(arr), fn(x)  x <= head );let bigger = filter(rest(arr), fn(x)  x > head );return quickSort(smaller) + [head] + quickSort(bigger);

4 尚未被支持的

• if … else if 结构（目前只支持了 if … else）
• 更多的内建函数 （目前实现了 len 函数等）
• 能像 Python 那样从文件读取代码执行
• ……

5 Q&A

• Q: 为什么不支持循环呢？
• A: autumn 被定位成函数式编程语言，所以不支持循环，不支持变量。