r - 如何在计算表达式时自定义符号的搜索路径？

Question

在某些情况下我需要自定义一些符号的搜索路径。例如，当我计算表达式 f(x,y,z) 时，我需要在以下环境链中对其进行评估:

首先，在env1中找到符号其中 x和 y已定义，但 f和 z不是。

然后，找到f和 z在env2两者均已定义。

问题是 env1和 env2不是我自己定义的，也就是说，当我可以使用它们时，它们的父环境是确定的。

对于这种特定情况，我可以手动调用 exists和 get找到那些符号。但这似乎不适用于用户输入的表达式且事先未知的一般情况。

是否有一种适用于任何用户输入表达式的通用且快速的方法，以便在一系列给定环境中使用 inherits = FALSE 对该表达式进行求值？除了最后一个。假设函数名为 evalc那么用法可能是:

evalc(quote(f(x,y,z)), env1, env2, env3)

其中给出了一系列环境。对于 env1和 env2 , 使用 inherits = FALSE 查找符号;但对于 env3使用 inherits = TRUE 查找符号.

Answer 1

1) 你真的需要inherits = FALSE吗？否则这有效:

esub <- function(...) do.call(substitute, list(...))
evalc <- function(expr, env1, env2, env3 = parent.frame()) {
   eval(esub(esub(expr, env1), env2), env3)
}

 # test
 env1 <- list2env(list(x = 1, y = 2))
 env2 <- list2env(list(f = function(...) list(...), z = 3))
 evalc(quote(f(x, y, z)), env1, env2)

2) 如果您确实需要 inherits = FALSE，那么我们将每个环境复制到一个新环境中，该新环境以任何空环境作为父环境:

evalc <- function(expr, env1, env2, env3 = parent.frame()) {
   e1 <- list2env(as.list(env1))
   e2 <- list2env(as.list(env2))
   parent.env(e1) <- parent.env(e2) <- emptyenv()
   eval(esub(esub(expr, e1), e2), env3)
}

3) 如果我们有未知数量的环境:

evalc <- function(expr, ..., env = parent.frame()) {
   for(e in list(...)) {
      ee <- list2env(as.list(e))
      parent.env(ee) <- emptyenv()
      expr <- esub(expr, ee)
   }
   eval(expr, env)
}

4) 这是避免复制的另一种解决方案。它确实要求您能够修改 env1、env2、...

的父级

evalc <- function(expr, ..., env = parent.frame()) {
   for(e in list(...)) {
      p <- parent.env(e)    
      parent.env(e) <- emptyenv()
      expr <- esub(expr, e)
      parent.env(e) <- p
   }
   eval(expr, env)
}

更新 添加了 2、3 和 4。