为何子表达式正常时，该Scheme S表达式无法得到预期结果？

你遇到的问题根源是Lisp的Quote语法糖带来的视觉混淆，拆解后就能明白为什么结果不符合预期：

1. 拆解嵌套的Quote表达式 #

Lisp里'x是(quote x)的简写，所以：

• '(1 4) 等价于 (quote (1 4))，求值后得到列表(1 4)（元素是1和4）。
• '('(1 4)) 等价于 (quote ( '(1 4) ))，进一步展开是(quote ( (quote (1 4)) ))，求值后得到列表((quote (1 4)))——这个列表只有一个元素，该元素是(quote (1 4))（一个包含quote符号和列表(1 4)的列表）。

2. (car '('(1 4)))的实际值 #

当你执行(car '('(1 4)))，其实是取列表((quote (1 4)))的第一个元素，也就是(quote (1 4))。Lisp为了简洁，会把(quote (1 4))打印成'(1 4)，但这个值的实际结构是(quote (1 4))，和直接的(1 4)完全不是一回事：

• 用(length (car '('(1 4))))会返回2，说明它是一个包含两个元素的列表；
• 用(car (car '('(1 4))))会返回'quote，证明第一个元素是quote符号。

3. 为什么equal?返回#f #

equal?确实会递归比较列表的元素，但现在你比较的是两个完全不同的列表：

• 左边的'(1 4)是(1 4)（元素1、4）；
• 右边的(car '('(1 4)))是(quote (1 4))（元素quote、(1 4)）。

第一个元素就不相等，所以equal?返回#f是完全正确的。

4. 关于member?函数的矛盾 #

不管是SICP的member?还是你实现的my-member，它们检查的是元素是否存在于列表中。如果用(my-member '(1 4) '('(1 4)))，列表里的元素是(quote (1 4))，而不是(1 4)，所以自然找不到——这和前面的问题本质相同，都是把Lisp打印的语法糖当成了实际的列表结构。

内容的提问来源于stack exchange，提问作者Lewis Levin