我有以下代码
(defun avg-damp(f) #'(lambda(x) (/ (+ (funcall f x) x) 2.0)))
一个电话
(funcall (avg-damp #'(lambda(v) (* v v))) 10)
在SBCL中返回55.0(正确的值)但在emacs lisp中与以下堆栈崩溃
Debugger entered--Lisp error: (void-variable f) (funcall f x) (+ (funcall f x) x) (/ (+ (funcall f x) x) 2.0) (lambda (x) (/ (+ ... x) 2.0))(10) funcall((lambda (x) (/ (+ ... x) 2.0)) 10) eval((funcall (avg-damp (function ...)) 10)) eval-last-sexp-1(nil) eval-last-sexp(nil) call-interactively(eval-last-sexp)
如何在Emacs lisp中使其工作?
这种编程风格在普通的Emacs Lisp中不起作用.Emacs Lisp使用动态绑定,而Scheme和Common Lisp等语言正在使用词法绑定.您的代码暴露了差异.请参阅:Emacs Lisp中的范围
另请参阅此问题:如何在Emacs Lisp中执行闭包操作?和lexical-let的"解决方案".lexical-let是"cl"包中Emacs Lisp的扩展.
另请参见:因为Emacs 24.1有可选的词法绑定.学习如何使用它:使用词法绑定.
一个棘手的问题,但终于搞清楚了.问题在于#'
avg-damp的定义使编译器在编译avg-damp本身时编译lambda函数,然后才知道f的实际值.当调用avg-damp时,您需要将此函数的编译延迟到稍后的时间点,如下所示:
(defun avg-damp (f) `(lambda(x) (/ (+ (funcall ,f x) x) 2.0))) (funcall (avg-damp #'(lambda(v) (* v v))) 10)
反引用可以解决问题.
编辑:当然,如果你以一种未经处理的形式定义avg-damp,整个问题就会消失,例如:
(defun avg-damp (f x) (/ (+ (funcall f x) x) 2.0)) (funcall 'avg-damp #'(lambda(v) (* v v)) 10)
但我猜你有理由不这样做.