Lisp 通过宏传递引用

↘锁芯ラ 提交于 2019-12-23 07:03:28

【推荐】2019 Java 开发者跳槽指南.pdf(吐血整理) >>>

我一直遗憾 Lisp 没有指针,对于动态作用域的 newLISP 可以用传递符号来传递一个不求值的引用。 但对于 Scheme 这种静态函数作用域的语言,如何传递引用呢?

用宏!宏不对参数进行求值,只是传递符号,在宏内部再进行求值,这样就省却了传递值的开销。

> (define (pass-value x) x)
> (define-macro (pass-ref x) (eval x))
> (time (pass-value (sequence 1 1000)) 10000)
324.019
> (time (pass-ref (requence 1 1000)) 10000)
166.009

那么 Lisp 为什么会有 quote 呢?难道是为了:

(list 1 2 3) '(1 2 3)

quote list, 可以对其内的表达式暂缓求值,成为处理许多未知函数的一个避风港。这种语言特性是 Lisp 独有的。

易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!