在emacs中，cl-flet和cl-letf有什么区别？

Question

我明白，两者都用于临时更改函数的值。除了cl-flet是一个函数，cl-letf是一个宏，你什么时候使用它们呢？

Answer 1

的绑定可以递归

如果函数定义调用本身的名字，该函数将被调用？ （比较cl-flet与cl-labels行为）。

作用域是词法...捕捉它们倒闭......

阅读有关词法绑定/范围VS动态绑定/范围。

cl-letf可以用于设置动态绑定函数值，通过使用(symbol-function 'FUNC) PLACE的某些FUNC。这与已弃用的flet类似。

可以指定任何支持的PLACE，但对于函数绑定，cl-letf不是只有。

你什么时候使用它们？

当您想临时定义（或覆盖）一个函数。您对任何给定用例所需的范围规则将决定您将使用哪个选项。

---

• (cl-flet ((FUNC ARGLIST BODY...) ...) FORM...)

  FUNC是可见的只是形式上的代码。

• (cl-labels ((FUNC ARGLIST BODY...) ...) FORM...)

  FUNC可见既在形式代码，并在FUNC自己的身体的代码。直到身体已经完成正在评估

• (cl-letf (((symbol-function 'FUNC) VALUE) ...) BODY...)

  FUNC是可见的绝对一切。

---

一些（相当做作）的例子......

在第一个例子中，我们定义的临时功能递归 - 它自称 - 因此我们使用cl-labels：

（nb这不是一个强大的析因实现;它仅用于演示目的。）

(defun my-factorial (number) 
    "Show the factorial of the argument." 
    (interactive "nFactorial of: ") 
    (cl-labels ((factorial (n) (if (eq n 1) 
           1 
           (* n (factorial (1- n)))))) 
    (message "Factorial of %d is %d" number (factorial number)))) 

如果更改cl-labels到cl-flet你只要内(factorial (1- n))评估得到一个错误，因为内我们暂时的功能，无功能factorial是已知的。

如果你是再定义一个全局factorial功能无条件地返回值1：

(defun factorial (n) 1) 

然后通过cl-flet定义的factorial功能会看到是当它调用factorial，并my-factorial会计算(* n 1)作为任何参数的值n。

当不需要递归，cl-flet是蛮好用的：

(defun my-square (number) 
    "Show the square of the argument." 
    (interactive "nSquare of: ") 
    (cl-flet ((square (n) (* n n))) 
    (message "Square of %d is %d" number (square number)))) 

两个cl-labels和cl-flet提供词法范围的功能，唯一可见这些宏调用的机构内编写的代码;并且特别是而不是的任何其他功能的代码，我们可能是，调用。

如果你正在定义一个辅助函数，比如上面的例子，词法作用域可能就是你想要的，因为你有一个合理的机会只能在宏体内调用你的帮助器。

但是，如果您正试图暂时将覆盖这个现有的函数，那么您将需要调用的函数来查看覆盖。在这种情况下，您需要重写动态范围。

在过去flet是提供临时功能动态范围的方式，但flet现在已不倾向于使用cl-letf用的(symbol-function 'FUNC)

在下面的例子“地方”的，则乘法函数被重写，动态范围意味着my-square和my-factorial将会看到并使用我们对乘法的临时定义。

(defun my-bad-square() 
    "Maths gone wrong." 
    (interactive) 
    (cl-letf (((symbol-function '*) '+)) 
    (call-interactively 'my-square))) 

(defun my-bad-factorial() 
    "More maths gone wrong." 
    (interactive) 
    (cl-letf (((symbol-function '*) 
      (lambda (x y) (- x y)))) 
    (call-interactively 'my-factorial)))