scheme quote 问题

Question

本帖最后由 Lispor 于 2010-12-09 23:54 编辑

1. guile> (eq? 'x 'x)
2. #t
3. guile> (eq? '(+ x 1) '(+ x 1))
4. #f

复制代码这是为何，他们quote后，不都变成符号了嘛？

是不是只有 自求值表达式 quote后 才可以 eq?

Answer 1

知道了！！！
细想一下，其实挺好理解的
看一下代码就知道了：

1. scheme@(guile-user)> (list? '(+ x 1))
2. #t
3. scheme@(guile-user)> (eq? '(+ x 1) '(+ x 1))
4. #f
5. scheme@(guile-user)> (equal? '(+ x 1) '(+ x 1))
6. #t

复制代码'(+ x 1) 其实就是一个列表，它就相当于 (list '+ 'x 1)
两个列表，他们的元素都相同（equal? 结果为 #t），但他们的地址不一样（eq? 结果为 #f）