[求助]：关于set、setq、quote、eval的疑问

gsy98106

大家好，我是LISP的初学者，今日在看书时发现如下问题，书上写quote返回没有计算的〈表达式〉，我不太理解这句话的意思， 何为“没有计算的表达式”，而eval返回〈表达式〉的结果，能否请大侠们以通俗的语言告之。
再一个下列4式是怎么来的：
（setq  a  'b）   返回 b。。。。。。这步不明白什么意思。
（setq  a  2.0）  返回 2.0
command：！a    返回2.0
command：！b   返回2.0
再有对于以下赋值：
（setq  a  123  b  'a）  则有
（eval  4.0）             返回 4.0
（eval  （abs  -10））     返回 10
（eval  a）              返回 123
（eval  b）              返回 123
能否把上述CAD的计算过程详细说明一下。
还有（set  'a  5.0）和（setq  a  5.0）到底有什么计算区别，a和'a到底有什么区别。

aidraft

Quote , 简写为 ' , 意为引用，不计算后面的表达式
(quote a) 与 'a 是一样的， 都返回a
(setq a 'b)是把变量b（只是变量本身）赋予变量a，注意你上面的代码有问题，应该先
(setq  a 'b),然后(setq b 2.0) - 其实也可以倒过来，先给b赋值, 这时!b返回2.0, 但!a却返回b
要知道变量a的值,便要用eval, (eval a)返回2.0
（setq a 123 b 'a）是把(setq a 123)和(setq b 'a)合起来写。
eval是计算 ，abs为绝对值
（eval （abs -10））与(abs -10)均返回10，前者有点多此一举， 但eval在一些特殊情况下很有用，灵活运用可以精简代码。
其实，setq 就是set + quote, 所以(set 'a 5.0)与(setq a 5.0)是完全一样的。

gsy98106

太感谢了，我终于明白了。我还想多问一句，为什么不取消set，它还有什么特殊的用途吗。

陌生人

The set function is similar to setq except that set evaluates both of its arguments whereas setq only evaluates its second argument.

aidraft

set与setq很相像，但set计算两个参量，而setq只计算后面的那个，所以
你可以(set (read "a") 5.0),但(setq (read "a") 5.0)却是语法错误，因为set把(read "a")运算了，得到符号（变量）a, 才可以赋值。set有时也挺有用，下面一句便把变量a, b, c 和d都赋了值
(mapcar 'set (mapcar 'read '("a" "b" "c" "d")) '(1.2 34 45.3 1.0))

gsy98106

那请问set计算的两个参量是什么，我书上没有，能否举例说明。

aidraft

任何函数名后面跟着的都是参量，也许叫参数，比如(set (read "a") 5.0)中set为函数名，(read "a")就是第一个参数，5.0是第二个。set与setq不同的是set接受第一个参数可以为表达式的形式，如(read "a"),但setq不能。

ll_j

Lisp的初学者往往会不理解关于“数组”的问题，希望将一些相关的值赋予相关的变量，如当x以一个量递增时以的值分别被赋予y0、y1、y2.... 当然正解是放置在一个表中，至于问题的直接解...
下面举一个类似的例子，将相关的问题及函数的用法简单剖析一下：

2. ;;;当x以1.2递增时（10次，x0=0），求y的对应值。
   
3. ;;;正解
   
4. (setq i -1)
   
5. (setq xylist nil)
   
6. (repeat        10
   
7.   (setq        i (1+ i)
   
8.         x (* i 1.2)
   
9.         y (+ (* x x 2) 3)
   
10.   )
    
11.   (setq xylist (cons (list x y) xylist))
    
12. )
    
13. (setq xylist (reverse xylist))    ;构成((x0 y0) (x1 y1)....)点表
    
14. 
    
15. ;;;直接解一
    
16. (setq i -1)
    
17. (repeat        10
    
18.   (setq i (1+ i))
    
19.   (set [B](read (strcat "x" (itoa i)))[/B] (* i 1.2))         ;求出xi符号，同时对xi赋值
    
20.   (set (read (strcat "y" (itoa i)))                        ;求出yi符号
    
21.        (+ (* [B](eval (read (strcat "x" (itoa i))))[/B]     ;求出xi符号，并返回xi的值
    
22.              (eval (read (strcat "x" (itoa i))))
    
23.              2
    
24.           )
    
25.           3
    
26.        )
    
27.   )
    
28. )       ;最终对xi、yi（i=0~9）分别赋值
    
29. 
    
30. ;;;直接解二（直接解一简化）
    
31. (setq i -1)
    
32. (repeat        10
    
33.   (setq i (1+ i))
    
34.   (setq xx (read (strcat "x" (itoa i))))     ;提出重复部分，将xi符号赋予变量xx
    
35.   (set xx (* i 1.2))      ;对变量xx的值（xi）赋值
    
36.   (set (read (strcat "y" (itoa i)))
    
37.        (+ (* (eval xx)        ;变量xx的值（xi）经过计算后传递到yi
    
38.              (eval xx)
    
39.              2
    
40.           )
    
41.           3
    
42.        )
    
43.   )
    
44. )
    
45. 
    
46. ;;;直接解三（直接解二变形）
    
47. (setq i -1)
    
48. (repeat        10
    
49.   (setq i (1+ i))
    
50.   (setq xx '(read (strcat "x" (itoa i))))     ;提出重复部分，将xi符号计算过程赋予变量xx
    
51.   (set (eval xx) (* i 1.2))      ;对变量xx求值（xi）并赋值
    
52.   (set (read (strcat "y" (itoa i)))
    
53.        (+ (* (eval (eval xx))        ;变量xx的值（xi）经过计算后传递到yi
    
54.              (eval (eval xx))
    
55.              2
    
56.           )
    
57.           3
    
58.        )
    
59.   )
    
60. )
    
61. 
    

;;;当x以1.2递增时（10次，x0=0），求y的对应值。<br /> ;;;正解<br /> (setq i -1)<br /> (setq xylist nil)<br /> (repeat        10<br />   (setq        i (1+ i)<br />         x (* i 1.2)<br />         y (+ (* x x 2) 3)<br />   )<br />   (setq xylist (cons (list x y) xylist))<br /> )<br /> (setq xylist (reverse xylist))    ;构成((x0 y0) (x1 y1)....)点表<br /> <br /> ;;;直接解一<br /> (setq i -1)<br /> (repeat        10<br />   (setq i (1+ i))<br />   (set [B](read (strcat "x" (itoa i)))[/B] (* i 1.2))         ;求出xi符号，同时对xi赋值<br />   (set (read (strcat "y" (itoa i)))                        ;求出yi符号<br />        (+ (* [B](eval (read (strcat "x" (itoa i))))[/B]     ;求出xi符号，并返回xi的值<br />              (eval (read (strcat "x" (itoa i))))<br />              2<br />           )<br />           3<br />        )<br />   )<br /> )       ;最终对xi、yi（i=0~9）分别赋值<br /> <br /> ;;;直接解二（直接解一简化）<br /> (setq i -1)<br /> (repeat        10<br />   (setq i (1+ i))<br />   (setq xx (read (strcat "x" (itoa i))))     ;提出重复部分，将xi符号赋予变量xx<br />   (set xx (* i 1.2))      ;对变量xx的值（xi）赋值<br />   (set (read (strcat "y" (itoa i)))<br />        (+ (* (eval xx)        ;变量xx的值（xi）经过计算后传递到yi<br />              (eval xx)<br />              2<br />           )<br />           3<br />        )<br />   )<br /> )<br /> <br /> ;;;直接解三（直接解二变形）<br /> (setq i -1)<br /> (repeat        10<br />   (setq i (1+ i))<br />   (setq xx '(read (strcat "x" (itoa i))))     ;提出重复部分，将xi符号计算过程赋予变量xx<br />   (set (eval xx) (* i 1.2))      ;对变量xx求值（xi）并赋值<br />   (set (read (strcat "y" (itoa i)))<br />        (+ (* (eval (eval xx))        ;变量xx的值（xi）经过计算后传递到yi<br />              (eval (eval xx))<br />              2<br />           )<br />           3<br />        )<br />   )<br /> )<br /> <br />

Free-Lancer

好帖，建议加分
我的理解， set 完成的是求值（对两个参数）并赋值（第二个的结果赋给第一个参数的结果），求值相当于 eval 赋值则是 setq，多看看 天正、理正的Lisp会有好处，用了很多 set 和 eval

陌生人

我也来玩玩：）
不知道算偏方还是正解之一. ：P ，会不会更好理解呢？
[php]
(defun xset (str i do)
  (set (read(strcat str (itoa i))) do)
)
(setq i -1)
(while (< (setq i (1+ i)) 10)
  (setq x (xset "x" i (* i 1.2)))
  (xset "y" i (+ (* x x 2) 3))
)
[/php]

gsy98106

太高深了，大家能否详细解释一下，我消化不了。