let、eval 和 quote 的行为

【问题标题】：Behavior of let, eval, and quotelet、eval 和 quote 的行为
【发布时间】：2015-01-12 17:40:59
【问题描述】：

我试图了解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

【问题讨论】：

【解决方案1】：

EVAL 无权访问词法变量。 CLHS 说：

在当前动态环境和空词法环境中评估表单。

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

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

【讨论】：