lapply / R中的承诺

Question

我不确定承诺在 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 使用 promise's object 并在其环境中懒惰地评估表达式，但我不明白为什么为每个函数创建的不同 环境 不包含它们自己的 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) } )

Answer 1

我觉得这种形式更容易理解：

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

文档的关键部分是

当一个函数被调用时，参数被匹配，然后每个 正式的论点绑定到一个承诺。当时的表情 为该形式参数和指向环境的指针给出 调用的函数存储在 Promise 中。

在调用a=f(x) 之后，函数参数n 绑定到一个名为x 的promise 和一个指向全局环境.GlobalEnv 的指针。

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

Answer 2

我不久前发表了一条评论，这可能是R 的最新版本的情况，但这里也有一个官方证明，lapply 现在的行为与您的lapply2 版本完全一样，取自@ 987654321@。

• 高阶函数（例如 apply 函数和 Reduce()）现在强制将参数传递给它们应用的函数，以消除闭包中惰性求值和变量捕获之间的不良交互。这解决了 PR#16093。