相等吗？和记录类型

Question

假设我有以下方案(R6RS)代码：

(define-record-type typeA
 (fields
  (mutable A)))

我创建了两条记录：

(define X (make-typeA 123))
(define Y (make-typeA 123))

我不明白为什么(equal? X Y)和(equal? (make-typeA 123) (make-typeA 123))会返回#f。

我读过R6RS标准(section 11.5)，但我并不真正理解它。

Answer 1

来自R6RS

等同吗？predicate将对和向量视为具有传出边的节点，使用string=？要比较字符串，请使用bytevector=？比较字节向量(请参阅库中关于“字节向量”的章节)，并使用eqv？比较其他节点。

换句话说，您使用equal?实际上只是做与eqv?相同的事情，因为这是为记录指定的方式(请参阅上面的最后一行)。

关于记录的eqv?，6.1章是这样说的：

如果obj1和obj2都是相同记录类型的记录，并且是对record构造函数的两次单独调用的结果，那么eqv？返回#f。

在您的代码中，这两条记录是对构造函数的两次单独调用的结果。因此，它们不能是eqv?。

Scheme的一些方言可能允许您在记录上使用结构相等。例如，在Racket中，您可以将一条记录声明为#:transparent以获得结构相等。我不确定您是否能在标准方案中获得此行为。

Answer 2

我对R6RS并不是很熟悉，但是在谷歌上快速搜索一下就会发现

这里的关键是mutability

如果obj1和obj2都是相同记录类型的记录，并且是对record构造函数的两次单独调用的结果，那么eqv？返回#f.