Lisp基础
Lisp是仅次于Fortran的第二古老的著名计算机语言。
Lisp从一开始就与众不同的一点在于,它是基于S-表达式的语言。也就是说,代码和数据是用同一种方式表达出来的。
S-表达式,我们直观上理解,就是用括号括起来的一串列表。
比如:
(+ 1 1)
Lisp会对这个S-表达式进行求值。
S-表达式可以嵌套,比如可以这样写
(+ 1 (* 2 3))
在lisp中,默认的操作是对S-表达式求值。如果是个数字,就对数字直接求值。如果是字符串也是如此。如果是个表,则将第一个原子当成函数名,对其进行求值。
那么,如果我们只想将一个S-表达式当成数据,不要计算怎么办?我们可以使用quote符号来进行指定,比如:
(quote (+ 1 2))
结果就返回(+ 1 2)这个列表。
quote在lisp中实在是太常用了,所以我们可以用符号“’”来作为它的简称。
定义变量
大家都是写代码的老司机啦,我们就直接从定义变量开始说起。
定义变量可以使用set函数。
(set 'three (+ 1 2))
要注意,因为变量名是不求值的,所以要用quote或者'来阻止求值。将来用变量的值的时候就不用quote了。
定义变量的时候,符号是基本上不可能用求值的,所以'是基本上必须的。每次写太麻烦,于是专门有个setq特殊表,直接包含了对于第一个参数的不求值的quote行为。
定义带文档的变量:defvar特殊表
setq特殊表几乎是lisp语言中最常用的特殊表,但是它有一个问题,变量没有文档。而在emacs中,函数和变量的文档是非常受到重视的。
对于代码中有重要作用的变量,在定义的时候,我们可以通过defvar特殊表来实现。
defvar特殊表不同于setq的是,它只针对未赋过初值的新变量有效,如果已经有值了,它就不起任何作用。所以我们在第一次定义变量的时候使用defvar特殊表吧,文档还是很重要的。
定义局部变量:let特殊表
let可以定义局部变量。let定义的绑定只在函数内部起作用。
格式:
(let ((变量名 绑定值)(变量名 绑定值)) 语句)
例:
(let ((a 1)(b 2)) (+ a b))
a被赋值1,b被赋值2.最终表达式结果是3.
在let中,如果未指明绑定值,则自动绑定到nil上。
注释
emacs的注释以分号开头,分号之后全是注释。
表处理
car和cdr:取表头和其余部分
下面我们开始进入lisp不同于命令式语言的一个特色功能,表处理。
- car函数:取一个表的第一个元素
- cdr函数:取一个表的除了car取到部分的其它部分
例:
(car '(1 2 3))
将返回1.
(cdr '(1 2 3 4 5))
取得的结果是(2 3 4 5)
nthcdr函数:多次cdr
如果我们要从(1 2 3 4 5)这个表中取(3 4 5)这样的子表,一次cdr不够,需要做两次,像这样:
(cdr (cdr '(1 2 3 4 5)))
有个更简单的写法是使用nthcdr函数:
(nthcdr 2 '(1 2 3 4 5))
nthcdr的第一个参数,如果是0,则直接返回原表。如果是1,则退化成cdr。
cons函数:将car和cdr拼接起来
cons是car和cdr的逆运算。将两个表拼接成一个新表。
例:
(cons '1 '(2 3 4))
将得到(1 2 3 4).
请注意,cons会将第一个参数当成一个元素处理。
比如:
(cons '(1 2 3) '(4 5 6))
得到的结果不是(1 2 3 4 5 6)而是((1 2 3) 4 5 6)
append函数:将两个表合成一个表
cons是将car和cdr合在一起,如果是想将(1 2 3)和(4 5 6)连接成(1 2 3 4 5 6),此时应该使用append函数:
(append '(1 2 3) '(4 5 6))
获取表中最后一个元素:last函数
car可以获取第一个元素,获取最后一个元素的话可以使用last函数。
构造一个新表: list函数
(list 1 2 3 4)
将构造出(1 2 3 4)表。
求表长度:length函数
例:
(length '(1 2 4 5))
结果为4.
给表换car和cdr:setcar和setcdr函数
例:
(setq list1 '(1 2 3 4))
(setcar list1 5)
此时再通过C-h v去查list1的值,已经变为(5 2 3 4).
我们再将其后部也换掉:
(setcdr list1 '(6))
list1此时的值已经变成(5 6)
将表逆序排列:reverse函数
例:
(reverse '(1 2 3 4))
结果为:(4 3 2 1)
像命令语言一样顺序编程
Lisp基本上是一种函数式的语言。也就是说,如果在C语言中这样写的语句:
int a=func1(0);
int b=func2(a);
int c=func3(b);
换成lisp的写法是这样的:
(func3 (func2 (func1 0)));
我们来个小例子看看:
(defun func1 (x)
(+ x 1))
(defun func2 (x)
(* x 2))
(defun func3(x)
(* x x))
(func3 (func2 (func1 0)))
先执行的,要写在最里面。但是,学习命令式编程的同学们,习惯于先写最先执行的func1,倒过来写觉得思路转不过来。
Lisp善解人意地提供了progn特殊表,可以像C一样顺序执行。
我们可以这么写:
(progn
(setq a (func1 0))
(setq b (func2 a))
(setq c (func3 b)))
针对整个表的进行操作 - mapcar函数
Lisp毕竟是针对表进行处理的语言,如果像命令式的方式处理一个表未免有点low了。
假如我们想将一个表中的每个数字都求平方,我们先定义一个平方函数:
(defun sqr2 (x)
(* x x))
然后,我们就可以调用mapcar函数,对整个表都应用sqr2函数:
(mapcar 'sqr2 '(1 2 3 4))
针对这样只用一次的函数,我们可以使用lambda表达式来实现:
(mapcar (lambda (x) (* x x)) '(5 6 7 8))
lambda很有趣,既不是函数,也不是特殊表,而是一个宏。关于宏,我们后面再讲。
apply函数
最后介绍一下apply函数,它是可以将函数对表执行操作的函数。
我们看个例子:
(apply '+ '(5 6 7 8))
就相当于:
(+ 5 6 7 8)
小结
- setq特殊表:定义变量
- defvar特殊表:定义带有文档的变量,只能做第一次的初始化,有值就不能用了
- let特殊表:定义函数内部的局部变量
- car和cdr,nthcdr:取表头和其余部分
- last函数:取表尾
- cons: 构造新表
- length函数:求表长度
- append函数:将几个表合并为一个
- reverse函数:将表反序重排
- setcar, setcdr: 给表换头或换其余部分
- mapcar函数:针对每个元素分别进行操作
- apply函数:针对表执行操作
- lambda宏:定义匿名函数
- progn特殊表:顺序编程