方案符号等价

Question

我正在使用的平台是 DrScheme。

我已经看到一对 (ab) [由 (cons ab) 构造] 在语言中实现，就像这样的过程：

(define (cons a b)
  (lambda(pick)
    (cond ((= pick 1) a)
          ((= pick 2) b))))

以及选择器：

(define (car x) (x 1))
(define (cdr x) (x 2))

然后有一些列表，用 (cons a (cons b (cons c (cons ...)))) 之类的表达式构造。

现在，我试图理解的是（在 DrScheme 的提示符下输入）：

> (define l1 '(a b c))
> (define l2 (list 'a 'b 'c))
> l1
(a b c)
> l2
(a b c)
> (eq? l1 l2)
#f

好的，l2 只是一个列表（即，一个过程等...），就像我所描述的 abode 一样，但是... l1 是什么？一个符号？字符序列？不管它是什么，它是如何在语言中实现的？ 谢谢！

Answer 1

l1 也只是一个包含相同元素的列表。请注意，这也会返回#f：

(define l1 '(a b c))
(define l2 '(a b c))
(eq? l1 l2)

而这会返回#t：

(define l1 '(a b c))
(define l2 (list 'a 'b 'c))
(equal? l1 l2)

原因是eq?检查是否l1 和 l2 是对内存中同一对象的引用，而 equal? 检查它们是否具有相同的内容。

Answer 2

列表不是原子，这是这里的重要部分。符号虽然是原子，这意味着当它们相同时，它们驻留在同一内存中，它们就像数字一样，并且确实可以被视为指针。符号也不可变，符号 foo 就像数字 3。

然而，列表不是原子，具有相同内容的向量的两个列表或字符串可以很好地驻留在内存的两个不同位置。

eq? 仅测试内存位置。 eqv? 测试等价性，这是什么是模糊的，这取决于哪个实现，Scheme 标准对此相当自由，它只说它必须至少是 eq 的超集？基本上。另一方面，equal? 测试结构相等性并递归地执行此操作，因此这是一个非常昂贵的操作，这就是为什么符号通常比字符串更适合作为标识符。

(define l1 (list 1 2 3))
(define l2 (list 1 2 3))
(eq? l1 l2) ; ===> #f in most implementations
(equal? l1 l2) ; ===> #t in all implementations
(eqv? l1 l2) ; ===> #t in some implementations
(define l3 (cdr l1))
(define l4 (cdr l1))
(eq? l3 l4) ; ===> #t, this means that they 'share memory', if you change l3 or l4, l1 will change with it, beware. This is how car and cdr work, they do not copy.
(define l6 (cons 1 l4));
(eq? l1 l6) ; ===> #f again, cons does allocate new memory, but the tails may very well share it, s in this case, l6 does share its tail with all lists except l2 here in memory. 

另外，有一点术语，cons 创建一个对，这与两个元素的列表不同，它创建一个对 (a . b) 列表 (ab)实际上与(a . (b . ()))对相同

另外，cons、car 和 cdr 都是原语，您在下面看到的实现是结构和实现中的演示计算机程序表明它们并不是严格需要的，但将它们作为原语可以显着提高性能，因此最好不要重新定义您的缺点、汽车和 cdrs。

Answer 3

> > (define l1 '(a b c))
> > (define l2 (list 'a 'b 'c))
> > l1 (a b c)
> > l2 (a b c)
> > (eq? l1 l2)
> #f

好吧，l2 只是一个列表（即过程等...），就像我所描述的那样
住所，但是... l1 是什么？一个符号？字符序列？无论如何
是，它是如何在语言中实现的？谢谢！

定义具有以下形式：

(define <名称> <表达式>)

在运行时，表达式<表达式>被评估，结果是一个值。
该值存储在内存中的某个位置。为了使用这个值
其他计算，可以使用名称。术语是
<名称>与值绑定。

需要注意的重要一点是，名称是只出现在你的
源代码。它在运行时不存在。询问名字 l1 是否是
因此，符号是没有意义的。

编译器翻译的一种可能策略（定义<名称><表达式>）
如下（忽略Scheme实现具有垃圾收集）。

1. 为指针 p 保留一个存储单元 m
2. 计算值 v 的输出代码 将
3. 包含 v 的存储单元的地址存储在存储单元 m 中。

请注意，名称是没有出现在这个列表中。