lisp - let、eval 和 quote 的行为

Question

我试图理解 let 的行为。为什么 case2 会抛出错误？

;; case1: worked fine.
(let ((NF 5)) NF)
5

;; case2: got an error
(let ((NF 5)) (eval 'NF))
error: The variable NF is unbound

Answer 1

EVAL 无法访问词法变量。 CLHS说:

Evaluates form in the current dynamic environment and the null lexical environment.

如果您声明变量 special 它将起作用，因为这执行动态绑定(bind)而不是词法绑定(bind)。

(let ((NF 5))
  (declare (special NF))
  (eval 'NF))
5