3

map-each可用于评估集合中每个成员的一些代码,并将评估结果聚合在一个块中:

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

我以这种方式构建了一块块。但是我忘记了,由于默认情况下不对块进行评估,因此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没有价值——更不用说承担许多价值的能力了:

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

所以为时已晚,必须在 map-each 的主体内使用 REDUCE 或 COMPOSE 进行评估。但...

>> reduce first blocks
== [20]

>> reduce second blocks
== [20]

结果块中项目的评估不会引发错误,但表现得好像x具有最后一次迭代的值。

它是如何做到的?它应该这样做吗?

4

2 回答 2

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

probe bound? first blocks/1

给了这个

Doing mapping for 1
Doing mapping for 2
make object! [
    x: 2
]
于 2014-05-15T02:01:09.107 回答
3

就像'FOREACH,'MAP-EACH 将你给它的块绑定在它创建的上下文中并在那里执行它。

X 永远不会在全局范围内创建。您给它一个单词(而不是 lit-word)作为参数的事实是由函数的接口管理的,该接口可能使用 lit-word 表示法,并使用给定的单词,原样,未评估,而不是它可能包含的值。

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

** Script error: x has no value

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

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

看这个例子:

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 单词的块,但它们都没有绑定到相同的上下文。

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

这是为什么一个词在 Rebol 中实际上不是变量的倒数第二个例子。

于 2014-05-22T14:11:53.390 回答