Red语言中repeat循环变量为何在部分场景下无法被函数访问？

• Red采用静态词法作用域规则：函数在定义时就固定了变量查找的路径链，和函数实际执行的位置无关。本次报错中传入map的匿名函数func [x y] [x + y - idx]是在全局上下文定义的，它的查找路径只会覆盖全局作用域，无法穿透map函数的内部作用边界。
• function关键字的隔离机制：Red中用function定义的函数，会自动扫描函数体内所有未显式声明为形参的标识符（包括循环变量idx），将其标记为函数自身的局部变量，进一步强化了作用域隔离，让外部传入的回调完全无法触及idx。
• 与第一个可运行示例的本质差异：第一个示例中的函数b和循环变量i都定义在全局上下文，属于同一作用域层级，b执行时可以顺着查找链找到全局的i，不存在跨域访问问题。
• 执行逻辑的错位：map内部的reduce操作是在循环到对应节点时才触发回调执行，但回调早已固化了自己的查找路径，即使idx在当前循环上下文存在，也不在回调的查找范围内，因此触发idx has no value的报错。

方案1（无副作用，推荐） #

将循环的索引值作为显式参数传入回调，不再依赖跨作用域查找变量，从根源上避免作用域边界问题：

1. 修改map的调用逻辑，将当前循环的idx追加到传给回调的参数列表中
2. 修改回调函数定义，将idx显式声明为形参，不再尝试查找外部作用域的同名变量

修改后代码示例：

Red []
map: function [a-func a-block][
  result: [] args: [] clear result
  either parse a-block [some block!][
    repeat idx length? a-block/1 [
      clear args
      foreach x a-block [append args to-block x/:idx]
      append args idx  ; 将当前循环索引追加为回调参数
      append result reduce append copy [a-func] args
    ]
    return result 
  ][
    repeat idx length? a-block [
      append result to-block a-func a-block/:idx idx ; 单块场景同步传入索引
    ]
  ]
]
; 回调显式接收idx作为第三个形参
map func [x y idx] [x + y - idx] [[1 2] [3 4]]

该方案运行后会依次计算两次迭代的结果：第一次迭代idx=1，传入参数为1、3、1，运算结果为1+3-1=3；第二次迭代idx=2，传入参数为2、4、2，运算结果为2+4-2=4，最终返回[3 4]，无额外作用域副作用。

方案2（兼容原有回调写法，有全局污染风险） #

如果必须保留回调中不声明idx形参、直接查找外部变量的写法，可以通过调整map的变量作用域，让idx被创建在回调可访问的全局上下文：
将map从function改为func定义，同时手动将result、args声明为map的局部变量，不对idx做局部声明，让循环变量idx自动落到全局上下文，让回调的查找路径可以命中。
修改后代码示例：

Red []
; 用func替代function，手动声明需要隔离的局部变量
map: func [a-func a-block /local result args][
  result: [] args: [] clear result
  either parse a-block [some block!][
    repeat idx length? a-block/1 [
      clear args
      foreach x a-block [append args to-block x/:idx]
      append result reduce append copy [a-func] args
    ]
    return result 
  ][
    repeat idx length? a-block [
      append result to-block a-func a-block/:idx
    ]
  ]
]
map func [x y] [x + y - idx] [[1 2] [3 4]]

注意该方案运行结束后，全局上下文会残留idx变量，容易和其他代码的同名变量产生冲突，仅适合快速验证场景使用，不推荐在生产代码中采用。

内容的提问来源于stack exchange，提问作者lyl