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

Question

据我所知，这两种方法都用于临时更改函数的值。除了cl-flet是一个函数和cl-letf是一个宏这一事实之外，您什么时候使用它们？

Answer 1

绑定可以是递归的。

如果函数定义按名称调用自己，那么将调用哪个函数？(比较cl-flet与cl-labels的行为)。

范围界定是词汇..。在封锁中捕获他们..。

阅读关于词法绑定/作用域和动态绑定/范围的文章。

cl-letf可以用于设置动态绑定的函数值，方法是为某些FUNC使用(symbol-function 'FUNC)的位置。这类似于不推荐的flet。

但是，可以指定任何受支持的位置- cl-letf不仅适用于函数绑定。

你什么时候用它们？

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

• (cl-flet ((FUNC ARGLIST BODY...) ...) FORM...) FUNC只对形式中的代码可见。
• (cl-labels ((FUNC ARGLIST BODY...) ...) FORM...) FUNC对表单中的代码和FUNC自己体内的代码都是可见的。
• (cl-letf (((symbol-function 'FUNC) VALUE) ...) BODY...) 功能对所有事物都是可见的，直到身体完成评估。

一些(相当人为的)例子..。

在第一个例子中，我们定义的临时函数是递归的--它调用自己--因此我们使用cl-labels。

(n.b.这不是一个健壮的阶乘实现；它只是为了演示目的。)

(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)

然后，由factorial定义的cl-flet函数将看到，当它调用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被反对使用带有(symbol-function 'FUNC) 'place‘的cl-letf

在下面的示例中，乘法函数被重写，动态范围意味着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)))