函数不能“看到”全局环境中定义的其他函数

Question

fa <- function(x){x+1}
fb <- function(x){x-1}

f1 <- function(x, y){f(x)^y}

f2 <- function(x, ab, y){
   if(ab == 'a'){
     f <- fa
   } else {
     f <- fb
   }
   f1(x, y)
}

f2(0, 'a', .5)
Error in f1(x, y) : could not find function "f"

上述方法不起作用，因为f 未在f1 的环境中定义。

什么是使这项工作的好方法？那个

• 避免将全局环境中的所有内容传递给f2 的环境
• 避免必须重新定义 f2 内的函数（这会很麻烦，并会造成复制/粘贴错误的机会）

定义某种“子全局”环境，并将我希望每个人都使用的东西放在这个环境中，然后让每个函数都能够从“子全局”访问东西是否有意义？然后以某种方式确保子全局始终是全局的严格子集？如果明智的话，我该怎么做？

Answer 1

上述方法不起作用，因为fa 和fb 未在f2 的环境中定义。

不——他们是。错误完全不同：

f1 <- function(x, y){f(x)^y}

这里你使用了一个未定义的变量f，这是一个错误。

您在f2 中有一个不同的变量（令人困惑地也称为f）。然而，这与f1 无关，因为f1 和f2 不共享它们的局部变量。如果您想将f2 的f 传递给f1，则需要将其作为参数传递。

顺便说一句，您的变量名称非常相似这一事实使这变得比必要的复杂。如果您将代码更改为以下等效代码，问题就会变得更加清晰：

plus1 = function (x) x + 1
minus1 = function (x) x - 1

f_exp = function (x, y) g(x) ^ y

plusminus_exp = function (x, ab, y) {
    if (ab == 'a')
        f = plus1
    else
        f = minus1
    f_exp(x, y)
}

plusminus_exp(0, 'a', .5)
# Error in f_exp(x, y) : could not find function "g"

这是解决方法：

f_exp = function (x, y, g) g(x) ^ y

f_exp(x, y, f)

或者，如果您在plusminus_exp 中多次调用f_exp，您可以使用一些更高级的抽象来创建一个函数构建器：一个返回另一个函数的函数：

make_f_exp = function (f) {
    force(f)
    function (x, y)
        f(x) ^ y
}

plusminus_exp = function (x, ab, y) {
    f = if (ab == 'a') plus1 else minus1
    f_exp = make_f_exp(f)
    f_exp(x, y)
}

这使得f_exp 可插入，但隔离效果以避免引入全局可修改状态。这是函数式编程语言的标准代码，但在函数式语言之外不太常见，因此对某些人来说有点令人惊讶。