elisp用作参数和返回值

Question

我有以下代码

(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中使其工作？

Answer 1

这种编程风格在普通的Emacs Lisp中不起作用.Emacs Lisp使用动态绑定,而Scheme和Common Lisp等语言正在使用词法绑定.您的代码暴露了差异.请参阅:Emacs Lisp中的范围

另请参阅此问题:如何在Emacs Lisp中执行闭包操作？和lexical-let的"解决方案".lexical-let是"cl"包中Emacs Lisp的扩展.

另请参见:因为Emacs 24.1有可选的词法绑定.学习如何使用它:使用词法绑定.

Answer 2

一个棘手的问题,但终于搞清楚了.问题在于#'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)

但我猜你有理由不这样做.