摘自 《Lisp语言- 陈光喜》

一、赋值

（1）let

Lisp中使用let来完成局部变量的定义。其形式为：(let  ((var1 exp1)(var2 exp2)…(varn expn))                                                                                                 exps) 

其中操作符 let 表明将定义局部变量。 (vari expi)对表示变量名 vari， 该变量的初始值为表达式 expi的值。Let 语句中的 exps 部分为表达式集合，完成所需要的处理。所定义的诸变量 var1，…，varn在这些表达式有效，即在 let 语句体内有效。整个 let 语句的返回值为语句体中最后一条语句的值。如：

>(let ((a 1) (b 2) (c (+ 5 3)))           (+ a (* b c))           (- (* a c) (* b c)))  >-8 

（2）defparameter

defparameter用来实现全局变量定义。一般约定全局变量的命名为左右各写一个*号，如：

> (defparameter *var* 123)  >*VAR* 

（3）defconstant

defconstant 用来定义全局常量，如：

>(defconstant c 12) >C

要判断某个符号是否被定义为全局变量或常量，可以使用 boundp 来检验。例如：

>(boundp 'c) >T

（4）setf

setf是常用赋值操作符。对某个符号（没有定义为局部变量）首次使用setf赋值，该符号将被系统作为全局变量。这是一种隐式定义全局变量的方法，但是不值得提倡。

>(setf  *var*  1234)

>1234

二、 输入输出

（1）Common Lisp 最常用输出命令是format。用法如下：

> (format   t   "~%The clever dog can do ~A + ~A =~A ." 2 35)  The clever dog can do 2 + 3 =5 .  NIL  Fortmat 的第一个参数是输出地，此例的参数 t 表示输出到 toplevel；第二个参数是输出格式串，~% 表示换行， ~A 表示该位置将用对应的参数进行替换。 Common Lisp 的打印格式串有多种控制符，如： ~A，~S，~P  是用于对象控制的。例如， >(format t "~%TildeS prints ~S~%TildeA prints ~A " 'ACL::asymbol 'ACL::asymbol )  TildeS prints ACL::ASYMBOL  TildeA prints ASYMBOL   NIL  此例应注意~A 与~S 差别。~S 可以打印出控制符，而~A 不能。~P 打印复数后缀”s”。 ~D ~B ~O ~X ~R 为整数控制符，它们分别打印十进制、二进制、八进制、十六进制、基数。 > (format nil " ~D ~B ~O ~X ~R" 12 12 12 12 12)  " 12 1100 14 C twelve"  ~E ~F ~G ~$为浮点数控制符，分别按照指数格式、定点式、浮点式、浮点定点结合方式。例， > (format nil " ~E ~F   ~G ~$" 123450 123450 123450 123450)  " 1.2345E5 123450.0   123450.      123450.00"  >    (format nil " ~E ~F   ~G ~$" 123.450 123.450 123.450 12.3450)  " 1.2345E2 123.45   123.45      12.35"  ~n%，~n&，~|  为空白控制符，分别表示 n 换行，n-1 行，新一页。 >   (format nil "begin ~2% and   ~2&end")  "begin  

 and   

end "  值得注意的是，在上述例子中，format 的第一个参数为 nil 时，打印执行后返回值不出现 nil；而参数 为 t 时，打印执行后返回值出现 nil> (SETF A (READ))  这就是所谓 Lisp 的副产品

（2）Common Lisp的标准输入运算符是read ,如：

> (SETF A (READ)) >12