Scheme语言中有一些以“!”结尾的过程名,这些过程会改变作为参数的对象。 例如set!,如果x的初始值是1,那么在经历了(set! x 3)后,x的值就变为3。
假如有一个函数my-set!是这样定义的:
(define (my-set! old new)
(set! old new))
这个my-set!的作用是否和set!的作用一样呢?实验证明,my-set!根本不起作用。尽管它使用的set!,但它并不能改变参数的值。这表明Scheme语言中参数采用“值传递”的方式,而不是“引用传递”。
对于复合数据类型(如list,序对),情况稍微复杂一些。假如有(define p (cons 'a 'b)),则名字p记录的是一个到序对(a . b)的引用。例如my-set-car!:
(define (my-set-car! old new)
(set-car! old new))
当执行完(my-set-car! p 'c)后,发现p变为了(c . b),和set-car!的作用一样。