存在没有默认值的参数时 do.call() 的行为

Question

这个问题是previous answer 的后续问题，它提出了一个难题。

上一个答案的可重现示例：

Models <- list( lm(runif(10)~rnorm(10)),lm(runif(10)~rnorm(10)),lm(runif(10)~rnorm(10)) )
lm1 <- lm(runif(10)~rnorm(10))
library(functional)
# This works
do.call( Curry(anova, object=lm1), Models )
# But so does this
do.call( anova, Models )

问题是为什么do.call(anova, Models) 工作正常，正如@Roland 指出的那样？

anova 的签名是anova(object, ...)

anova 调用UseMethod，它应该* 调用anova.lm，它应该调用anova.lmlist，其第一行是objects <- list(object, ...)，但object 在该公式中不存在。

我唯一可以推测的是do.call 可能不只是填写省略号，而是填写所有没有默认值的参数，并为省略号留下任何额外信息？如果是这样，那记录在哪里，因为它对我来说绝对是新的！

* 这本身就是一个线索——如果第一个参数未指定，UseMethod 如何知道调用anova.lm？没有anova.list 方法或anova.default 或类似方法...

Answer 1

在常规函数调用中，... 按位置、部分匹配和完全匹配捕获参数：

f <- function(...) g(...)
g <- function(x, y, zabc) c(x = x, y = y, zabc = zabc)

f(1, 2, 3)
# x    y zabc 
# 1    2    3     
f(z = 3, y = 2, 1)
# x    y zabc 
# 1    2    3     

do.call 的行为方式完全相同，只不过不是将参数直接提供给函数，而是将它们存储在一个列表中，do.call 负责将它们传递给函数：

do.call(f, list(1, 2, 3))
# x    y zabc 
# 1    2    3     
do.call(f, list(z = 3, y = 2, 1))
# x    y zabc 
# 1    2    3     

Answer 2

我认为值得强调的是列表元素的名称很重要。哈德利提到了它，但这可能是一个烦恼。考虑下一个例子：

x <- rnorm(1000)
y <- rnorm(1000)
z <- rnorm(1000) + 0.2

Models <- list()
Models$xy <- lm(z~x)
Models$yz <- lm(z~y)

# This will fail, because do.call will not assign anything to the argument "object" of anova
do.call(anova, Models)
# This won't
do.call(anova, unname(Models))

Answer 3

do.call 将列表的第一个元素传递给第一个参数：

fun <- function(x,...) {
  print(paste0("x=",x))

  list(x, ...)
}

do.call(fun, list(1,2))
# [1] "x=1"
# [[1]]
# [1] 1
# 
# [[2]]
# [1] 2