r - Hadley 的高级 R 书中的非标准评估

Question

在哈德利的 Advanced R book ，有一段代码我无法理解输出。

f <- function(x) substitute(x)
g <- function(x) deparse(f(x))
g(1:10)
g(x)
g(x + y ^ 2 / z + exp(a * sin(b)))

为什么都返回 "x" ?尤其是当

g <- function(x) deparse(substitute(x))

返回 "1:10" , "x" , 和 "x + y ^ 2 / z + exp(a * sin(b))"正如预期的那样。

Answer 1

首先，一些背景信息:promise 是一个未评估的参数。一个promise由两部分组成:1)引起这种延迟计算的代码/表达式(可以通过substitute或pryr::promise_info查看此代码)，以及2)创建此代码/表达式的环境以及应该进行评估(可以通过 pryr::promise_info 查看此环境)。

如果您更改了 g()，问题也会更清楚。功能

g <- function(x) deparse(f(whatever))

你总是会得到“随便”。这是因为当 g()电话 f(whatever) ，它将一个 promise 对象传递给 f() --这个对象的代码是 whatever和 g()的环境的执行环境。然后， substitute内 f()查看这个promise对象并返回那个promise的代码/表达式，即 whatever在这种情况下。

可以通过运行以下代码来确认promise对象的代码和环境:

library(pryr) # need to install it
f <- function(x) {
  print(promise_info(x))
  substitute(x)
}

g <- function(x) {
  print(environment())
  f(whatever)
}
g(1:10)

最重要的是，您将获得传递给 f(whatever) 的任何内容。 .这就是为什么将这些功能分开并不是一个好主意。一种解决方法是使用

g <- function(...) deparse(f(...))

这样参数就被传递给 f()并且未在 g() 中重命名.

另一方面， g <- function(x) deparse(substitute(x)); g(1:10)生产 1:10因为，在这种情况下， substitute正在查看 promise 对象 x (与上述情况下的 promise 对象 whatever 形成对比)。 promise x这里有代码 1:10和环境 R_GlobalEnv . (同样，这可以使用 g <- function(x) { print(promise_info(x) ; deparse(substitute(x)) 来检查。所以 substitute(x) 按预期返回 1:10。