为什么(等于(copy- <某些结构类型> <结构类型对象>)<相同的结构类型对象>)为零?

时间:2020-09-05 22:32:08

标签: common-lisp hashtable equality

struct类型的元素是s-expressions。

(defstruct state
  homeS
  homeH
  homeD
  homeC
  free
  stacks)

我试图将这些对象用作哈希表的键。在我转换为结构并使用更深的S表达式之前,所有方法都工作良好。当我更改为defstruct时,哈希表从未成功找到重复的键。

哈希表是由(make-hash-table :test #'equal)组成的,所以我研究了equal的行为。

我希望(equal (copy-state state1) state1)返回t,但返回nil。

我在Common Lisp Hyper-Specification中没有找到这个。我认为答案是编写自己的测试和哈希函数,然后将它们提供给make-hash-table。

这必须定义为常见的lisp行为-在CLISP和SBCL中的工作方式相同。

1 个答案:

答案 0 :(得分:2)

根据Common Lisp Hyper规范,自然运算“等于”不适用于defstruct和defarray对象之类的结构化数据。

在这种情况下,对于由defstruct类型定义的对象,“等于”运算符不起作用,而另一个运算符“ equalp”用于比较结构化数据。

相关问题