garbage-collection - 为什么 map-each 会保留引用要设置的单词的最后一个值？

Question

map-each 可用于为集合中的每个成员评估一些代码，并将评估结果聚合到一个 block 中:

>> values: map-each x [1 2] [
    print ["Doing mapping for" x]
    x * 10
   ]
Doing mapping for 1
Doing mapping for 2
== [10 20]

我正在用这种方式构建一个 block block 。但我忘记了，由于默认情况下不评估 block ，因此 x 将保持原样并且不会获得我想要的值:

>> blocks: map-each x [1 2] [
    print ["Doing mapping for" x]
    [x * 10]
   ]
Doing mapping for 1
Doing mapping for 2
== [[x * 10] [x * 10]]

这并不奇怪。评估后 x 没有任何值(value)——更不用说接受许多值的能力了:

>> probe x
** Script error: x has no value

所以为时已晚，必须在 map-each 主体内使用 REDUCE 或 COMPOSE 来完成评估。但是……

>> reduce first blocks
== [20]

>> reduce second blocks
== [20]

结果 block 中项目的评估不会抛出错误，但表现得好像 x 具有上一次迭代的值。

这是怎么做到的？它应该这样做吗？

Answer 1

就像 'FOREACH，'MAP-EACH 将您提供的 block 绑定(bind)到它创建的上下文中并在那里执行它。

X 永远不会全局创建。你给它一个词(而不是一个字词)作为参数的事实是由函数的接口(interface)管理的，它可能使用字词表示法，并使用给定的，原样，未评估的词，而不是它可能包含的值。

因此，您在调用 map-each 时使用的 X 不会触发

** Script error: x has no value

因为 map-each 在它被评估之前就捕获了它，并且只直接使用这个词作为标记。

为了更生动地说明绑定(bind)是如何工作的，并展示 'X 如何在其原始上下文之后继续存在，这里有一个示例说明了单词在 Rebol 中如何绑定(bind)的基础(以及这种绑定(bind)持续存在的事实)。

看这个例子:

a: context [x: "this"]  
b: context [x: "is"]  
c: context [x: "sensational!"]

>> blk: reduce [in a 'x   in b 'x   in c 'x]
== [x x x]

x: "doh!"
== "doh!"

>> probe reduce blk
["this" "is" "sensational!"]

我们创建了一个包含三个 'X 词的 block ，但它们都没有绑定(bind)到相同的上下文。

因为 Rebol 中的绑定(bind)是静态的，并且范围不存在，所以同一个词可以有不同的值，即使它们是在相同的上下文中操作的(在这种情况下，控制台是全局 | 用户上下文)。

这是为什么单词在 Rebol 中真的不是变量的倒数第二个例子。