在 emacs lisp 中使用 let 和 flet

Question

我不知道您是否会称其为规范公式，但要绑定本地函数，GNU 手册建议我使用“flet”：

(defun adder-with-flet (x)
  (flet ( (f (x) (+ x 3)) )
    (f x))
)

但是，我偶然尝试了（在Scheme中玩了一会儿之后）以下表达式，其中我使用'let'将一个lambda表达式绑定到一个变量，如果我将函数传递给mapcar *，它也可以工作：

(defun adder-with-let (x)
  (let ( (f (lambda (x) (+ x 3))) )
    (car (mapcar* f (list x)) ))
)

这两个功能都有效：

(adder-with-flet 3)   ==> 6
(adder-with-let 3) ==> 6

为什么第二个有效？我找不到任何可以使用“let”将函数绑定到符号的文档。

Answer 1

与Scheme不同，Emacs Lisp是一个2-lisp，这意味着每个符号都有两个独立的绑定：值绑定和函数绑定。在函数调用 (a b c d) 中，第一个符号 (a) 使用函数绑定查找，其余的 (b c d) 使用值绑定查找。特殊形式 let 创建一个新的（本地）值绑定，flet 创建一个新的函数绑定。

请注意，是否使用值或函数绑定进行查找取决于(a b c d) 函数调用中的位置，而不是查找值的类型 .特别是，值绑定可以解析为函数。

在你的第一个例子中，你函数绑定f（通过flet），然后进行函数查找：

(f ...)

在第二个示例中，您将 f 值绑定到函数（通过 let），然后使用值查找：

(... f ...)

两者都有效，因为您在每种情况下都使用相同类型的绑定和查找。

http://en.wikipedia.org/wiki/Common_Lisp#Comparison_with_other_Lisps

Answer 2

我快速搜索了 Emacs lisp 手册，但找不到任何对 'flet 的引用，这并不奇怪，因为它是 cl 的一部分 - common-lisp package。

let 也会进行本地绑定，但不会绑定到该符号的 "function cell"。

即这有效：

(let ((myf (lambda (x) (list x x))))
  (eval (list myf 3)))

但是

(let ((myf (lambda (x) (list x x))))
  (myf 3))

失败并出现错误：“Lisp 错误：(void-function myf)”

另一方面，flet 确实绑定到了函数单元格，所以这是可行的：

(flet ((myf (x) (list x x)))
  (myf 3))

注意区别在于flet 允许您直接使用符号myf，而let 不允许 - 您必须使用一些间接来将函数从“值单元格”中取出并应用它适当的。

在您的示例中，“mapcar”与我使用 'eval 的效果相同。

Answer 3

@d11wq 有 `funcall' 用于此目的。以下作品：

(defun adder-with-let (x)
  (let ((f #'(lambda (x) (+ x 3))))
    (funcall f 3)))

(adder-with-let 3) ;=> 6

Answer 4

如果您不想使用，则不必使用flet。您将函数放置在使用 let 定义的局部符号的函数单元中，如下例所示：

(let ((ALocalSymbol))
  (fset 'ALocalSymbol (lambda (x) (* 2 x)))
  (ALocalSymbol 4)
  )

评估这将返回 8。请注意 (let ((ALocalSymbol))...) 中 ALocalSymbol 前面的引号。 setq 引用符号，fset 没有。

flet 是一种语法糖。使用普通的let 定义零值符号，允许您选择要设置的符号的哪个“单元格”。您可以使用setq 设置符号的值单元格或使用fset 设置函数单元格。

希望这会有所帮助，

巴勃罗