发了好几篇关于Lisp的文章,但是一直苦于手头没有一个合用的Lisp解释器,于是狠一狠心,决定自己写一个,一来是为了配合前几篇入门教程,二来也算是打发无聊的时光吧。
花了不到两天时间,写出了一个Lisp解释器的雏形,遵照惯例,我给它起名叫Lisp48,意思就是48小时内写出的Lisp,当然,你也可以把它理解为只完成了48%的Lisp。其中还有很多Bug,很多语句还不能正常工作,不过我想这应该不妨碍我们理解如何用“命令式语言”构造一个最基本的Lisp解释器。
整个源程序发表在这里:http://www.msnusers.com/TheWindozeFamily/Documents/Lisp48.zip
注意:这个程序完全没有优化,执行效率在某些情况下可能会低的惊人,如果你有兴趣,对于这个问题我们可以进一步探讨。 如果你是一个软件工程派,喜欢合理的结构,规范的代码和详尽的文档,你一定不会喜欢我写的程序;如果你是一个Design Pattern Zealot,你一定会发现我的程序里很多地方没有规范的使用GoF Pattern。考虑到这是一个Quick and Dirty Solution,我建议你把有关规范性的合理化建议放到你所在的公司/学校/组织机构的开发例会上提出,这样会更有效。
如果这些可能被你视为垃圾的代码严重的伤害了你的感情,触犯了你的审美观和道德观,你可以选择:1、提出改进意见;2、在其它地方痛斥我和程序;3、去看别的网页。如果你在我的地盘上用不适当的词语斥责我,结果只能是删贴,这样做浪费的不光是我的时间和精力,还有你的。
请不要在这里发表对排版格式/命名规范的观点和看法,这里不是火葬场,不是Flame War应该出现的地方。而且我绝对不会采纳这样的意见。因为就我的个人经验,我采用的命名规范往往比你按照教科书提出的规范更好用。
Lisp的语法很简单,而且程序和数据结构相同,这就为我们编写解释器提供了很大的便利,而且为了简单起见,我们在这里不考虑Lexical Scope,而是按照McCarthy创造Lisp时所采用的Dynamic Scope方式进行名字解析,这样我们只需要在运行过程中保留一个Context。总而言之,现代Lisp中的一切会导致实现复杂化的因素在这里都不存在。
在Lisp中,函数、程序都是表,表是由原子和表组成的一个嵌套递归结构,所以我们首先从一个抽象的数据结构MetaObject说起。
在本程序中,MetaObject有如下形式的定义:
class MetaObject{public:
责任编辑:H.R.M

