我一直试图理解浅绑定和深绑定，维基百科没有很好地解释它。假设我有以下代码，如果语言使用动态范围，输出会是什么
a) 深度绑定
b) 浅绑定？
x: integer := 1
y: integer := 2
procedure add
x := x + y
procedure second(P:procedure)
x:integer := 2
P()
procedure first
y:integer := 3
second(add)
----main starts here---
first()
write_integer(x)
【问题讨论】：
标签： language-agnostic binding scoping dynamic-scope
深度绑定在过程作为参数传递时绑定环境
浅绑定在实际调用过程时绑定环境
因此，当 add 被传递到第二个时，具有深度绑定的动态范围 环境是 x = 1, y = 3，x 是全局 x，所以它将 4 写入全局 x，这是由 write_integer 拾取的。
浅绑定只会向上遍历，直到找到与名称对应的最近变量，因此答案将为 1。
【讨论】：
x = 2，这与具有深度绑定的动态范围不同，后者将使用（如@jjia6395 所说）x = 1（从add 开始的绑定被传递到方法second作为参数）。
second 动态地为一个名为 x 的新变量引入了新绑定（通过使用 x:integer := 2 而不是 x := 2 很明显），所以add（从second 调用，而second 还活着）将动态创建的x 更改为5。但write_integer(x) 引用了全局x。因此，此伪代码具有误导性。它应该在定义中使用“=”，例如x:integer = 1，并在变异分配中使用“:=”，例如x := x + y。
second( closed(add,(x,y)) ) 来使其显式。在这两种情况下，它仍然是动态名称解析。你只想要2个freeze'em。所以冻结他们。明确！
a) 在深度绑定中，我们处理 add 的环境，其中 x 指的是全局 x，y 指的是局部于 first 的 y（最后执行的具有 y 声明的函数）
x（全局）= x（全局）+ y（局部）：x = 1 + 3 = 4
b) 在浅绑定中，我们处理的是 second 的环境，其中 x 指的是局部于 second 的 x，y 指的是局部于 first 的 y（最后执行的函数，其声明为 y）
x（本地）= x（本地）+ y（本地）：x = 2 + 3 = 5
但是：write_integer(x) 输出全局 x 等于 1
终于
a) 4
b) 1
【讨论】：
【讨论】：
1，正如 jjia6395 所说。这是因为对P() 的调用修改了second 的本地x，然后在second 返回时消失。对write_integer(x) 的调用会打印出未修改的全局x。