包/命名空间环境中相同命名函数的值/引用相等？

Question

让我们抓取环境“namespace:stats”和“package:stats”

ns = getNamespace( "stats" )
pkg = as.environment( "package:stats" )

现在让我们在两者中获取函数“sd”：

nsSd = get( "sd" , envir = ns , inherits = FALSE )
pkgSd = get( "sd" , envir = pkg , inherits = FALSE )

它们是一样的吗？他们是！但“相同”是什么意思？引用或值相等？

identical( nsSd , pkgSd )

这意味着引用相等，因为以下返回 FALSE：

test1 = function() {}
test2 = function() {}
identical( test1 , test2 )

但如果这是真的，这意味着环境的框架可以在函数对象旁边包含函数指针。使问题进一步复杂化的事实是，一个函数可以“存在”在一个环境中，但可以告诉该函数它的执行环境是另一个环境。钱伯斯苏打水似乎没有答案（这是一本厚厚的书，也许我错过了！）

所以，我想要一个明确的答案。以下哪项是正确的？还是这里有假三分法？

1. nsSd 和 pkgSd 是两个不同的对象（尽管每个对象的副本 其他），其中pkgSd 中的对象具有ns 作为其执行 环境
2. nsSd 和 pkgSd 是指向同一个对象的指针。
3. nsSd 是指向 pkgSd 的指针，因此它们被视为相同

Answer 1

它们是指向同一个对象的指针。使用这个answer to another question，我们可以检查两个对象是否指向内存中的同一个地方。

are_same <- function(x, y)
{
  f <- function(x) capture.output(.Internal(inspect(x)))
  all(f(x) == f(y))
}

are_same(nsSd, pkgSd) #TRUE
are_same(1:5, 1:5)    #FALSE

Answer 2

这不是主要问题的答案。不过，在这个问题上，我同意 Dirk：只有一个 sd() 函数，并且可以根据情况通过不同的作用域路径访问它。例如，当您在命令行键入sd(x) 时，将通过其在package:stats 环境框架中的条目找到与名称sd 对应的函数。当您输入stats:::sd(x)，或stats 包中的另一个函数调用sd(x) 时，将通过在namespace:stats 环境中的搜索找到它。

---

相反，我只是想说明您使用test1() 和test2() 的示例并没有真正暗示评估为identical 的对象的“引用相等”。要了解这两个不是identical 的真正原因，请查看str() 揭示的它们的结构：

test1 <- function() {}
test2 <- function() {}
identical( test1 , test2 )
# [1] FALSE

str(test1)
# function ()  
#  - attr(*, "srcref")=Class 'srcref'  atomic [1:8] 1 13 1 25 13 25 1 1
#   .. ..- attr(*, "srcfile")=Classes 'srcfilecopy', 'srcfile' <environment: 0x01613f54> 

str(test2)
# function ()  
#  - attr(*, "srcref")=Class 'srcref'  atomic [1:8] 1 13 1 25 13 25 1 1
#   .. ..- attr(*, "srcfile")=Classes 'srcfilecopy', 'srcfile' <environment: 0x01615730> 

如果您滚动到上面代码框的右侧，您会看到这两个函数的属性之一不同，即与它们的源文件关联的环境。 （我不太了解该属性，但这在这里并不真正相关。关键是它们不是identical！）

如果您告诉 R，您不想在创建的每个函数中保留 sourcefile 属性数据，identical(test1, test2) 的“意外”行为就会消失：

options(keep.source=FALSE)
test1 <- function() {}
test2 <- function() {}
identical( test1 , test2 )
# [1] TRUE