惰性求值和promise数据结构

Question

自从我第一次在 Advanced R 上阅读 Promise 以来，我一直在努力解决它的应用问题。有人提到，Promise 是一种支持惰性求值的数据结构。惰性求值的概念非常清楚，因为函数参数仅在被访问时才被求值。但是，在某些示例中，我只是无法发现 Promise 的存在以及如何/在何处评估它。考虑一下 Advanced R 中的以下示例：

y <- 10
h02 <- function(x) {
  y <- 100
  x + 1
}

h02(y)
[1] 11

它返回 11 而不是 101，显然，当我们将全局环境中已经存在的 y 之类的变量分配给 x 时，它会在函数外部绑定和评估。 所以我想知道一个承诺总是涉及某种赋值，或者每个表达式都可能是一个承诺，以及我们如何检测它们的存在。 提到它们是在函数的调用环境中评估的。所以第二个问题是他们的评估环境与普通参数不同，因为用户定义的参数是在函数之外评估的。

还有一个例子我不明白为什么它涉及惰性评估，我们只看到一次Calculating...。

double <- function(x) {
message("Calculating...")
x * 2
}
h03 <- function(x) {
c(x, x)
}
h03(double(20))
Calculating...
[1] 40 40

如果我在这里听起来有点困惑，我很抱歉，我明白了这一点，但它从来没有完全深入，我想寻求一点解释，对此我非常感激。

非常感谢您

Answer 1

当在函数中创建 h02 中的 y 等对象时，它会在该函数的本地执行框架/环境中创建（每次运行函数时都会创建一个新框架）。创建的对象不同于任何其他环境中的同名对象。

关于h03，一旦一个promise被强制执行，即被评估，它的值被存储在promise的value组件中并且它的evaled组件被设置为TRUE，这样在进一步访问时它就不必再次被评估。

函数的参数是承诺，但通常不是其他对象。使用 pryr 检查对象。

library(pryr)

f <- function(x) { 
  z <- 1

  cat("is_promise(z):", is_promise(z), "\n")

  cat("is_promise(x):", is_promise(x), "\n")
  cat("before forcing - promise_info(x):\n")
  print(promise_info(x))

  force(x)
  cat("after forcing - promise_info(x):\n")
  print(promise_info(x))

  delayedAssign("w", 3)
  cat("is_promise(w):", is_promise(w), "\n")

  invisible()
}
a <- 3
f(a)

给予：

is_promise(z): FALSE 
is_promise(x): TRUE 
before forcing - promise_info(x):
$code
a

$env
<environment: R_GlobalEnv>

$evaled
[1] FALSE

$value
NULL

after forcing - promise_info(x):
$code
a

$env
NULL

$evaled
[1] TRUE

$value
[1] 3

is_promise(w): TRUE