刚发现个其怪表的问题

taoyi0727

(setq aaa (list "1" "2"))=====>'("1" "2")
(setq bbb (cons "1" "2"))==>'("1" . "2")
这样不相等可以理解


(setq aaa (list "1" "2"))=====>'("1" "2")
(setq bbb (cons "1" '("2")))==>'("1" "2")
(eq aaa bbb)
这样居然不相等

哦,找到问题了  用equal就好   居然犯这种低级问题eq判断约束的条件
equal判断值

菜卷鱼

你就根本不懂 cons
cons 是 向表的头部添加一个元素，或构造一个点对 ,
点对
点对
点对

(cons 1 (cons 2 nil)) = (list 1 2)
(cons 1  2) /= (list 1 2)

baitang36

跟踪了一下list和cons，试验结果如下：
(cons 1 2)执行后内存中是：
D0 0C DB 12   00 00 00 00   03 00 00 00   05 00 00 00
数字1会变成3,数字2变成了5
D0 0C DB 12是个标记，表示是这数据结构是一个cons。它占用了16个字节（32位的acad2008）

(list 1 2)执行后内存中是：
D0 0C DB 12   00 00 00 00   03 00 00 00   28 6F 0C 13
D0 0C DB 12   00 00 00 00   05 00 00 00   00 00 00 00
它占用了32个字节，是两个cons组成的链表

(cons 2 nil)
D0 0C DB 12   00 00 00 00   05 00 00 00   00 00 00 00
(list 2)
D0 0C DB 12   00 00 00 00   05 00 00 00   00 00 00 00


(cons 2 nil)和(list 2)是完全等效的。

nzl1116

问题出在eq，eq用在判断表的时候，是不是同一个表，而不是表相等。

mokson

高手如云，膜拜。