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

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？如果是这样,那么这可能是一个范围问题.见这里和这里的一个很好的讨论.

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

 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即将出版的书籍有很多关于环境的内容,请参阅此处.有关可能的解决方案,请参阅此处.解决问题的一种方法是覆盖环境.例如,

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

 new.fun2(2)

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

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

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

作品.