如何在 Common Lisp 中模拟符号表

Question

我目前正在学习 Common LISP，但遇到了巨大的障碍。 我有一个任务是学习如何在 Common LISP 中创建解析器。在网上不同来源的大量帮助下，我设法实现了从语法规则到词法分析器的所有内容。另一方面，我似乎无法弄清楚如何实现符号表。

这是我迄今为止关于符号表的内容。

(defun symtab-add (state id)
;; *** add symbols to symbol table ***
)

(defun symtab-member (state id)
;; *** look up symbols in symbol table ***
)

(defun symtab-display (state)
   (format t "------------------------------------------------------~%")
   (format t "Symbol Table is: ~S ~%" (pstate-symtab state))
   (format t "------------------------------------------------------~%")
)

如您所见，我只使用显示部分进行管理，如果有人可以链接我一个教程或给我一个代码示例或只是帮助我解决这个问题，我将非常感激。

我的作业的所有源代码：http://www.cs.kau.se/cs/education/courses/dvgc01/LISP/newstart.lsp

Answer 1

有多种实现符号表的方法，根据您的具体需求，“适合用途”的级别各不相同。归根结底，符号表实际上只是从“符号名称”到某物的映射。

因此，任何允许您向其中添加内容以及查找内容的数据结构都应该可以工作。相当常见的实现是“使用哈希表”或“使用 alist”（后者本质上是 (<symbol> . <data>) 形式的对列表）。

Answer 2

首先你必须创建符号表，比如：

(setq my-symbol-table nil)

为简单起见，我们将忽略包；您可以稍后了解。

接下来，您必须决定如何在表格中存储符号。同样，为了简单起见，您可以将它们存储为关联列表，其中包含一对符号名称和符号值。例如，如果您将符号 a 和 b 存储为值 3 和 5，您将拥有以下符号表：

> my-symbol-table

> ((a . 3) (b . 5))

要使用这个关联列表，可以使用函数 assoc、push、rplacd。

例子：

• 添加一个新符号

  (push '(c . 0) my-symbol-table)

• 查找符号：

  (assoc 'c my-symbol-table)

• 更改现有符号的值：

  (rplacd (assoc 'c my-symbol-table) 18)

我希望这足以让你继续前进。