测试两对（cons 单元格）是否相同

Question

the Seasoned Schemer pg 150 中的以下函数通过改变每个列表的 cdr 然后检查更改是否影响两者来确定两个列表是否具有相同的身份（即占用相同的内存）：

(define same?
 (lambda (c1 c2)
   (let ((t1 (cdr c1))
         (t2 (cdr c2)))
     (set-cdr! c1 1)
     (set-cdr! c2 2)
     (let ((v (= (cdr c1) (cdr c2))))
       (set-cdr! c1 t1)
       (set-cdr! c2 t2)
       v))))

现在，如果我将a_list 定义如下：

(define a_list (list 'a 'b 'c 'd))

并评估

(same? a_list (cdr a_list))

函数返回#f，并且调试器（Racket 博士）确认这两个列表——它们应该共享它们的大部分成员，因为第二个参数是第一个参数的真子集——实际上有不同相同成员的副本。这怎么可能？！

稍微改变一下这个想法：

(set-cdr! (cddr a_list) a_list)

现在a_list 是周期性的。如果我用same? 测试这个函数，它只会在两个参数同相时注册#t，即(same? a_list a_list) 和(same? a_list (cdddr a_list))。

[编辑答案位于已接受帖子评论链的底部]

Answer 1

same? 函数不检查两个列表是否共享元素。 它检查两对（即两个 cons 单元）是否相同。

在(define a_list (list 'a 'b 'c 'd)) 你有 4 对。 在(same? a_list (cdr a_list))你检查是否第一个 第二对是同一对，因为它们不是， same? 返回#f。

关于：

.. 并且调试器（Dr. Racket）确认这两个列表—— 应该分享他们的大部分成员，因为第二个论点是 第一个的真子集——实际上确实有不同的副本 相同的成员。这怎么可能？！

您能否更准确地了解您如何在 DrRacket 中检查这一点？

这两个列表 a-list 和 (cdr a-list) 共享成员。

编辑：

假设 c1 和 c2 是两个不同的 cons 单元格的名称：

c1: (foo . bar)      c2:  (baz . qux)

现在我们评估(set-cdr! c1 1) 并得到：

c1: (foo . 1)      c2:  (baz . qux)

现在我们评估(set-cdr! c2 2) 并得到：

c1: (foo . 1)      c2:  (baz . 2)

然后我们将cdrs 与(= (cdr c1) (cdr c2)) 进行比较。 由于cdrs 不同，我们得到#f。

结论：当cons单元不同时，相同吗？返回#f。

---

现在假设 c1 和 c2 是同一个 cons 单元格的名称：

c1 = c2: (foo . bar)

现在我们评估(set-cdr! c1 1) 并得到：

c1 = c2: (foo . 1)  

现在我们评估(set-cdr! c2 2) 并得到：

c1 = c2: (foo . 2)  

然后我们将cdrs 与(= (cdr c1) (cdr c2)) 进行比较。 由于cdrs 相同，我们得到#t。

结论：当cons单元格相同时，same?返回#f。

编辑 2

检查 cons 单元格 c 是否是其中之一 l 的缺点单元格使用这个：

(define (loop c l)
  (cond
    [(null? l) #f]
    [(same? c l) #t]
    [else (loop c (cdr l))]))