Question

我定义了一个函数：

.get <- function( o, ...) {
    p <- match.call( expand.dots = 0)$...
    cat( sprintf( 'In .get, it is %s.\n', eval( tail( p, 1)[[ 1]])))
    fn <- switch( typeof( o), list =, environment = `[[`, 'S4' = '@', `[`)
    if( length( p)) eval( as.call( c( fn, quote( o), p))) else o # Here when true, I compose a call based on p.
}

然后我尝试了如下：

it <- 1
m <- matrix( seq( 9), 3)
sapply( seq( 3), function( it) {
    cat( sprintf( 'In sapply, it is: %s.\n', it))
    .get( m, , it)
})
sapply( seq( 3), function( it) .get( m, , it))

输出：

In sapply, it is: 1.
In .get, it is 1.
In sapply, it is: 2.
In .get, it is 1.
In sapply, it is: 3.
In .get, it is 1.
     [,1] [,2] [,3]
[1,]    1    1    1
[2,]    2    2    2
[3,]    3    3    3

但预期的输出是：

In sapply, it is: 1.
In .get, it is 1.
In sapply, it is: 2.
In .get, it is 2.
In sapply, it is: 3.
In .get, it is 3.
     [,1] [,2] [,3]
[1,]    1    4    7
[2,]    2    5    8
[3,]    3    6    9

那么为什么it不是1到3（调用函数的值），但总是在全局环境中分配的值（即1）？

Answer 1

您是否与get一起在全球环境中定义了it？如果是这样，那么这可能是一个范围问题。有关精彩的讨论，请参阅here和here。

从第一个链接看这个例子：

 a = 1
 b = 2

 fun <- function(x){ a + b*x }

 new.fun <- function(x){
 a = 2
 b = 1
 fun(x)
 }

 new.fun(2)

如果在fun内调用new.fun使用全球环境中的a和b，我们预计new.fun(2)的结果为1+2*2=5而如果它使用函数new.fun中定义的参数，那么它应该是2+1*2=4。现在，大多数人都期望结果是4，但它会是5.为什么？因为fun是在全局环境中定义的，因此全局变量a和b对fun很重要。要看到这一点，您可以使用str(fun)查看函数的结构，这将揭示环境附加到函数。使用list(environment(fun))查看该环境，您将看到该函数“记住”它是在全局环境中定义的。因此，函数fun将首先查找参数a和b。

为了解决这个问题，已经提出了许多解决方法，如果你使用谷歌词法范围，可以找到其中的几个。有关背景信息，Hadley Wickam即将出版的书中有关于环境的优秀部分，请参阅here。有关可能的解决方案，请参阅here。解决问题的一种方法是覆盖环境。例如，

 new.fun2 <- function(x){
 a = 2
 b = 1
 environment(fun) = environment()
 fun(x)
 }

 new.fun2(2)

现在使用父环境中定义的a=2, b=1作为答案，而不是全局环境。我相信有更优雅的解决方案。

也就是说，在你的情况下，使用

 sapply( seq( 3), function(it) {
   cat( sprintf( 'In sapply, it is: %s.\n', it))
   environment(.get) <- environment()
   .get( m, , it)
 })

作品。

Answer 2

另一个解决方案是使用构造函数：

make.get <- function(it){
it <- it
.get <- function( o, ...) {
    p <- match.call( expand.dots = 0)$...
    cat( sprintf( 'In .get, it is %s.\n', eval( tail( p, 1)[[ 1]])))
    fn <- switch( typeof( o), list =, environment = `[[`, 'S4' = '@', `[`)
    if( length( p)) eval( as.call( c( fn, quote( o), p))) else o # Here when true, I compose a call based on p.
}
}

it <- 1
m <- matrix( seq( 9), 3)
sapply( seq( 3), function(it) {
cat( sprintf( 'In sapply, it is: %s.\n', it))
.get <- make.get(it)
.get( m, , it)
})

Answer 3

具有词法范围的语言具有仅传递参数和全局变量的函数。具有动态范围的语言具有使用调用者环境的功能。词汇范围已经赢了，因为它更容易推理（和Haskell这样的无状态语言，它甚至提供参考透明度）。仍然有一些动态范围的语言，如bash和（可选）常见的lisp。有趣的是，您希望动态范围是默认值;在某些时候，我有同样的期望。

为什么函数A体中的变量查找从全局环境中获取值，而不是从调用A的函数B中获取值？

3 个答案: