common-lisp - Lisp 中的词法绑定(bind)

Question

(let ((a 3))
  (let ((a 4)
        (b a))
    (+ a b))) 

以上代码的计算结果为 7，逻辑是 b 取外层 a 的值。根据我的理解，在词汇绑定(bind)中，每次使用“let”都会创建一个新位置。那么为什么语句(b a)中的变量b没有使用(a 4)中a的值>?

Answer 1

因为这就是 LET 指定要做的事情。绑定(bind)是并行的。

CL-USER 60 > (let ((a 3))
               (let ((a 4)
                     (b a))
                 (+ a b)))
7

以顺序方式完成绑定(bind)的版本称为LET*。

CL-USER 61 > (let ((a 3))
               (let* ((a 4)
                      (b a))
                 (+ a b)))
8

参见 Special Operator LET, LET* .