对象的比较
eq?
这个函数用来比较2个对象的地址,如果相同的话就返回#t。在Scheme中真用#t表示,假则用#f。
例如,(eq? str str)返回#t,因为str本身的地址的是一样的,但是”scheme”和”scheme”则被存储在不同的地址中,因此函数返回#f。注意,不要用eq?来比较数字,因为在R5RS和MIT-Scheme中均没有被指定返回值,建议使用eqv?或者=代替。以下是一些示例:
(define str "scheme")
;Value: str
(eq? str str)
;Value: #t
(eq? "scheme" "scheme")
;Value:()
eqv?
该函数比较2个储存在内存中的对象的类型和值,如果类型和值都一致则返回#t。对于过程(lambda表达式)的比较依赖于具体的实现。这个函数不能用于类似于表和字符串一类的序列比较,因为尽管这些序列看起来是一致的,但它们存储在不同的地址中。以下同样是一些示例:
(eqv? 1.0 1.0)
;Value: #t
(eqv? 1 1.0)
;Value: ()
(eqv? (list 1 2 3) (list 1 23)) 不要去比较序列
;Value: ()
(eqv? "scheme" "scheme")
;Value: ()
equal?
比较序列就应该这个函数了。
(equal? (list 1 2 3) (list 1 2 3))
;Value: #t
(equal? "hello" "hello")
;Value #t
其它用于比较的函数
pair?如果对象为序对则返回#t;
list?如果对象是一个表则返回#t。要小心的是空表’()是一个表但是不是一个序对。
null?如果对象是空表’()的话就返回#t。
symbol?如果对象是一个符号则返回#t。
char?如果对象是一个字符则返回#t。
string?如果对象是一个字符串则返回#t。
number?如果对象是一个数字则返回#t。
complex?如果对象是一个复数则返回#t。
real?如果对象是一个实数则返回#t。
rational?如果对象是一个有理数则返回#t。
integer?如果对象是一个整数则返回#t。
exact?如果对象不是一个浮点数的话则返回#t。
inexact?如果对象是一个浮点数的话则返回#t。
odd?如果对象是一个奇数的话则返回#t。
even?如果对象是一个偶数的话则返回#t。
postitive?如果对象是一个正数的话则返回#t。
negative?如果对象是一个负数的话则返回#t。
zero?如果对象是零的话则返回#t。
类似于用<=等比较数字,在比较字符的时候可以使用char=?、char
递归与尾递归
在自己的定义中调用自己的函数叫做递归函数(Recursive Function)。想必大家都知道这些。
计算阶乘则是演示递归的典型示例。
(define (fact n)
(if (= n 1)
1
(* n(fact (- n 1)))))
因此(fact 5)的计算过程用以下方式可以说明得很明显。
(fact 5)
=> 5 * (fact 4)
=> 5 * 4 * (fact 3)
=> 5 * 4 * 3 * (fact 2)
=> 5 * 4 * 3 * 2 * (fact 1)
=> 5 * 4 * 3 * 2 * 1
=> 5 * 4 * 3 * 2
=> 5 * 4 * 6
=> 5 * 24
=> 120
但由于(fact 5),(fact 4)…(fact 1)都被分配了不同的存储空间,直到(fact(- i 1))返回一个值前,(fact i)都会被保存在内存中,由于存在函数调用的开销,这也就意味着会占用更多的内存空间和计算时间。
这种时候,使用尾递归则包含了计算结果,当计算结束时直接将其返回。尤其是Scheme规范要求尾递归调用转化为循环,因此尾递归调用就不存在函数调用开销。以下就是fact函数的尾递归版本。
(define (fact-tail n)
(fact-rec n n))
(define (fact-rec n p)
(if (= n 1)
p
(