任意 expression 作为函数输入时的执行上下文问题

nan.xiao

最近在看 adv-r 第一版和第二版关于 NSE 的部分，但是并没有很好的思路，在此请教各位。

假设要给 foreach::foreach 写一个 wrapper function，接受用户输入的任意 expression 作为输入。问题在于，用户提供的 expression 似乎并不能直接得到 i 的值，reprex 如下。

`%do%` <- foreach::`%do%`

f <- function(expr, n, seed) {
  foreach::foreach(i = seq_len(n)) %do% {
    # set.seed(seed + i - 1)
    print(i)
    expr
  }
}

f(
  {
    sqrt(i) + rnorm(1)
  },
  n = 5,
  seed = 42
)

#> Error in { : task 1 failed - "object 'i' not found"

meeeeeeeeo

nan.xiao
这种情况好像是需要使用substitute()+eval()

`%do%` <- foreach::`%do%`

f <- function(expr, n, seed) {
  expr <- substitute(expr)
  foreach::foreach(i = seq_len(n)) %do% {
    # set.seed(seed + i - 1)
    print(i)
    eval(expr)
  }
}

f(
  {
    sqrt(i) + rnorm(i)
  },
  n = 5,
  seed = 42
)

原理我也搞不太懂，只知道这样能用。。。

fenguoerbian

每次看到non standard evaluation或者lazy evaluation的内容脑海里就会冒出“dark magic”这个词……
substitute和eval我总是搞不清楚……

nan.xiao

每次鼓起勇气复习一下这些 NSE 的理论就会发现很多时候是为了实现对语言的计算而创造了一些概念，而这些概念通常和现实并没有很好的对应，于是看完反而更糊涂了…… 所以我可能更需要的是一本 cookbook 😂

qiushi

如果是 tidy 写法应该是 enexpr(expr) + eval_tidy()
这个讲座里列了一些 NSE 的解决方案，主要是针对给 tidyverse 的函数写 wrapper 的。

0521

`%do%` <- foreach::`%do%`

f <- function(expr, n, seed) {
  foreach::foreach(i = seq_len(n)) %do% {
    # set.seed(seed + i - 1)
    print(i)
    ee<-substitute(expr)##捕获输入的表达式，作为引用
    eval(bquote(.(ee)))##取消引用的表达式的引用，然后eval计算
  }
}

f({sqrt(i)+rnorm(1) },n = 5,seed = 42)

zakarum

NSE 的目的是实现 metaprograming, 有一本 Thomas Mailund 写的《Metaprogramming in R》在这方面的讨论更加深入，可以一读。不分语言的系统性综述还有一本《A Survey of Metaprogramming Languages》，反正我每次碰到这些东西都是晕头转向。

yihui

我没有细究这个问题，但据我的经验，这里面的关键问题是 eval() 的 envir 参数（默认是 parent.frame()），选对了执行表达式的环境，问题就解决了。如果不确定哪个（上层）环境是对的，可以用 ls.str(parent.frame(n = ?))（n 取值从 1 开始）检查看往上走几层能到那个包含你所需要对象的环境（比如楼主的 i）。