C++ 编写一个解释器

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 被定位成函数式编程语言,所以不支持循环,不支持变量。
已标记关键词 清除标记
相关推荐
©️2020 CSDN 皮肤主题: 游动-白 设计师:白松林 返回首页