scheme quote 问题

Lispor

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

复制代码

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

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

Lispor

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

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）