Lisp语言：如何在hash table中使用字符串作为关键字（key）？

前面的博文讨论了Lisp中hash table的基本使用，文章链接如下：
/article/1356576.html
在使用Lisp中的hash table时，有一点是需要注意的，就是hash table使用什么方式去比较不同的关键字（key）。
如果对以上问题理解不清楚，现实编程中很容易出现一个问题，就是使用字符串作为关键字时发现用相同的字符串无法从hash table中取出相同的值。
出问题的样例如下：

CL-USER> (setq a-string "testing")
"testing"
CL-USER> (setq my-table (make-hash-table))
#S(HASH-TABLE :TEST FASTHASH-EQL)
CL-USER> (setf (gethash a-string my-table) 3)
3
CL-USER> (gethash "testing" my-table)
NIL
NIL
CL-USER>

以上代码首先指定变量a-string的值为“testing”
然后创建一个hash table，将a-string作为关键字，值设置为3
接着通过函数(gethash "testing" my-table)获取字符串“testing”对应的值，本来期望可以得到返回值3，运行时却发现返回的是nil。

出现以上问题的原因是hash table在创建时缺省使用函数eq作为关键字比较的方法，而函数eq是引用的比较，不是值的比较。
在以上环境中，函数(eq a-string "testing")会返回NIL，因为变量a-string和字符串"testing"在内存中的引用并不相同。
如果希望比较两个字符串的值，需要使用函数equal，如(equal a-string "testing")就会返回T。

下面是一段字符比较和字符串比较的代码，通过以下代码可以更好地认识字符串的引用比较与值比较。
需要注意的是，因为字符在内存中的保存方式和字符串不同，比较两个字符变量时可以使用eq或者是equal两个函数。

CL-USER> (setq a-char 'a)
A
CL-USER> (setq b-char 'a)
A
CL-USER> (eq a-char b-char)
T
CL-USER> (equal a-char b-char)
T
CL-USER> (setq a-string "testing")
"testing"
CL-USER> (setq b-string "testing")
"testing"
CL-USER> (eq a-string b-string)
NIL
CL-USER> (equal a-string b-string)
T
CL-USER>

了解eq和equal的差别后，我们就可以理解，在hash table中如果需要使用字符串作为关键字，需要将hash table的比较函数从eq变为equal。指定hash table的比较函数可以在调用make-hash-table函数时加上:test参数来实现，具体代码如下：

(setq word-table4 (make-hash-table :test 'equal))