解释懒惰的评估怪癖

Question

我正在阅读HadleyWickhams关于Github的书，特别是关于懒惰评估的这一部分。在那里，他给出了一个懒惰求值结果的例子，在函数的添加部分。让我引用这一点：

这个[惰性评估]在使用lApplication或循环创建闭包时很重要：

add <- function(x) {
  function(y) x + y
}
adders <- lapply(1:10, add)
adders[[1]](10)
adders[[10]](10)

x在您第一次调用其中一个加法器函数时被延迟计算。此时，循环完成，x的最终值为10。因此，所有加法器函数都会在其输入中添加10，可能不是您想要的！手动强制评估解决了问题：

add <- function(x) {
  force(x)
  function(y) x + y
}
adders2 <- lapply(1:10, add)
adders2[[1]](10)
adders2[[10]](10)

我似乎不理解这一点，而且解释也很少。请有人详细说明一下这个例子，并解释一下那里发生了什么？我对这句话感到特别困惑：“在这一点上，循环是完整的，x的最终值是10”。什么循环？最终值是多少，在哪里？一定是我错过了一些简单的东西，但我就是看不到。提前非常感谢。

Answer 1

目标是：

adders <- lapply(1:10, function(x)  add(x) )

是创建一个添加函数的列表，第一个向其输入中添加1，第二个添加2，等等。延迟求值会导致R等待真正创建加法器函数，直到您真正开始调用函数。问题是，在创建第一个加法器函数后，x会增加lappy循环，最终值为10。当您调用第一个加法器函数时，惰性求值现在构建该函数，得到x的值。问题是原来的x不再等于1，而是等于lappy循环末尾的值，即10。

因此，延迟求值会导致所有加法器函数等到lappy循环真正构建函数完成后再执行。然后，它们用相同的值构建函数，即10。哈德利建议的解决方案是强制直接计算x，避免懒惰的计算，并使用正确的x值获得正确的函数。

Answer 2

从R 3.2.0开始，这不再是事实！

更改日志中的相应行显示：

应用函数和Reduce（）等高阶函数现在强制参数到它们应用的函数，以消除闭包中延迟计算和变量捕获之间的不良交互。

事实上：

add <- function(x) {
  function(y) x + y
}
adders <- lapply(1:10, add)
adders[[1]](10)
# [1] 11
adders[[10]](10)
# [1] 20