do.call 的 envir 选项如何工作？

的文档do.call states:

If quote is FALSE，默认值，然后对参数进行求值（在调用环境中，而不是在envir).

这句话向我暗示，当quote = FALSE，指定envir没有什么区别。然而，事实并非如此，事实上我遇到过需要指定的情况envir使该功能正常工作。

最简单的可重现示例：

g1 <- function(x) {
  args <- as.list(match.call())
  args[[1]] <- NULL # remove the function call
  do.call(print, args, quote = FALSE) # call print()
}

g2 <- function(x) {
  args <- as.list(match.call())
  args[[1]] <- NULL # remove the function call
  do.call(print, args, quote = FALSE, envir = parent.frame()) # call print(), specifying envir
}

h1 <- function(x, y) {
  g1(x*y)
}

h2 <- function(x, y) {
  g2(x*y)
}

有了这些功能，h2()行为正如人们所想的那样，但是h1()才不是：

h1(2, 3)
#Error in print(x) : object 'y' not found

h2(2, 3)
#[1] 6

y <- 100
h1(2, 3)
#[1] 600 
## Looks like g1() took the value of y from the global environment

h2(2, 3)
#[1] 6

有人可以向我解释这是怎么回事吗？

注：有相关帖子here https://stackoverflow.com/questions/26028488/do-call-specify-environment-inside-function但通过我的阅读，答案并没有具体说明什么do.call()与envir多变的。

?do.call says:

envir
评估调用的环境。这会是 如果什么是字符串并且参数是最有用的 符号或引用的表达式。

我们可以很容易地说明这一点，如果what=的论证do.call是一个字符串。然后envir=确定在哪里查找它。

e <- new.env()
e$f <- function() 2
f <- function() 3
do.call("f", list())
## [1] 3
do.call("f", list(), envir = e)
## [1] 2

正如问题中的代码所示，参数也是如此。请注意，参数已被引用，因为match.call()正在使用中。

在这种情况下发生了什么h1 and g1这是有效运行的g1

do.call(print, list(call("*", quote(x), quote(y))), quote = FALSE)

现在发现x in g1 (since g1有一个论点x）但是没有y in g1所以它看起来的父环境g1这是它发现的全球环境y.

如果是h2 and g2它运行在g2:

do.call(print, list(call("*", quote(x), quote(y))), quote = FALSE, envir = parent.frame())

它发现x and y in h2这是的父框架g2.

请注意，父环境与父框架不同：

• 父环境由函数所在的位置决定defined因此，如果函数是在全局环境中定义的，那么它的父环境就是全局环境。
• 父框架是调用者的环境