来自Google Common Lisp样式指南:"避免修改局部变量,尝试重新绑定"意思是什么？

Question

Google Common Lisp样式指南说避免修改局部变量,而是尝试重新绑定

这是什么意思？重新绑定在那句话中意味着什么？

Answer 1

这意味着您应该创建新变量而不是更改旧变量的值.例如,我们采用以下代码:

(defun foo (x)
  (when (minusp x)
    (setq x (- x)))
  do something with x)

相反,应该创建一个新绑定并使用该绑定:

(defun foo (x)
  (let ((xabs (if (minusp x)
                  (- x)
                  x)))
    do something with xabs)

这样做的原因是你总是知道变量包含什么,因为它永远不会改变.如果您想要新值,只需使用包含该新值的变量即可.

现在您可能会问为什么这么重要？嗯,有些人比其他人更喜欢这个.特别是那些喜欢强调Lisp功能方面的人会提倡这种风格.但是,无论偏好如何,始终能够依赖变量不会改变的事实是非常有用的.这是一个重要的例子:

(defun foo (x)
  (let ((function #'(lambda () (format t "the value of x is ~a~%" x))))
    (when (minusp x)
      (setq x (- x)))
    (other-function x)
    function))

然后,返回值FOO是一个函数,当使用print调用值时x.但是,该值将是x函数后期的值,即绝对值.如果功能大而复杂,这可能会非常令人惊讶.