lapply / R 中的承诺

我不确定 R 中的承诺在做什么

如果一个人跑

a = lapply(seq_len(2), function(n) { function() {n}})
b = lapply(seq_len(2), function(n)  {n})

我们可以看到

a[[1]]() # == 2
b[[1]]   # == 1

据我所知，R 使用承诺的对象并惰性地评估其环境中的表达式，但我不明白为什么不同环境为每个函数创建的值不会包含它们自己的 n 值。

[[1]]
function () 
{
    n
}
<environment: 0x7f9b2416ad18>

[[2]]
function () 
{
    n
}
<environment: 0x7f9b2416ab20>

as.list(environment(a[[1]])) 
$n
[1] 2

as.list(environment(a[[2]]))
$n
[1] 2

是否可以通过 lapply 函数以某种方式修复语义？

lapply
function (X, FUN, ...) 
{
    FUN <- match.fun(FUN)
    if (!is.vector(X) || is.object(X)) 
        X <- as.list(X)
    .Internal(lapply(X, FUN))
}
<bytecode: 0x7f9b25150f18>
<environment: namespace:base>

PS：重新聚焦问题

编辑：具体来说，是否可以写一个lapply2通常“强制”参数具有统一行为的函数，如下所示：

pl <- lapply (1:3, function(y) { force(y); function(x) pow(x,y) } )
pl <- lapply2(1:3, function(y) { function(x) pow(x,y) } )

我发现这种形式更容易理解：

f=function(n) {function() {n}}
x=1
a=f(x)
x=2
a()
[1] 2

文档的关键部分是

当调用函数时，参数会被匹配，然后每个 正式的论点必然伴随着承诺。当时的表情是 给出了该正式论证和指向环境的指针 调用函数的位置存储在 Promise 中。

通话结束后a=f(x)，函数参数n与名称绑定的承诺x以及指向全球环境的指针.GlobalEnv.

In your lapply示例，匿名函数function(n) { function() {n}}每次都是从全局环境中调用的。这就是为什么列表中的每个元素a得到相同的值n：它来自全球环境。我不明白如何通过重写 lapply 来改变这种行为。