如何调用`function`函数？

Question

我正在尝试调用函数 `function` 在 R 代码中定义一个函数。

众所周知™️，`function`是一个.Primitive，当用户使用常规语法时，R 在内部使用它来定义函数，即

mean1 = function (x, ...) base::mean(x, ...)

但是没有什么能阻止我直接调用那个原语。 我是这么想的。我可以直接调用其他原语（甚至重新定义它们；例如，在疯狂的时刻I overrode R’s builtin `for`）。所以这是原则上是可能的。

但我无法让它为 `function` 工作。这是我尝试过的：

# Works
mean2 = as.function(c(formals(mean), quote(mean(x, ...))))

# Works
mean3 = eval(call('function', formals(mean), quote(mean(x, ...))))

# Error: invalid formal argument list for "function"
mean4 = `function`(formals(mean), quote(mean(x, ...)))

mean3 特别有效的事实向我表明mean4 应该有效。但事实并非如此。为什么？

我检查了 R 源代码中 `function` 原语的定义。 do_function is defined in eval.c。我看到它调用了CheckFormals，它确保每个参数都是一个符号，但它失败了。但它为什么要检查这个，这是什么意思？

最重要的是：有没有办法直接调用`function` 原语？

---

澄清一下：有一些简单的解决方法（这个问题列出了两个，至少还有第三个）。但我想了解这（不）是如何工作的。

Answer 1

这是因为function 是一个特殊的原语：

typeof(`function`)
#> [1] "special"

没有评估参数，因此您实际上传递了quote(formals(mean)) 而不是formals(mean) 的值。我认为没有评估技巧就可以直接调用function，除非有一个空的形式列表，它只是NULL。

Answer 2

为了完整起见，Lionel 的回答毕竟暗示了一种调用 `function` 的方式。不幸的是，它相当受限制，因为除了NULL，我们不能传递任何参数定义：

mean5 = `function`(NULL, mean(x, ...))
formals(mean5) = formals(mean)

（请注意正文周围没有引用！）

这当然是完全不切实际的（无论如何formals<- 内部调用as.function。）

Answer 3

在对源代码进行了一点挖掘之后，这里有一些观察：

1. 实际的函数创建由mkCLOSXP()完成。这就是 function() {}、as.function.default() 和 .Primitive("function")（又名`function`）所调用的内容

2. as.function.default() 被路由到do_asfunction()，即also calls CheckFormals()。但是，它直接在上面几行构造了这些形式。

3. 正如您所指出的，另一个调用 CheckFormals() 的地方是在 do_function() 内部。但是，我认为do_function() 不会被任何除 .Primitive("function") 调用，因此这是在用户输入时调用CheckFormals() 的唯一情况。

   李>

4. CheckFormals() 确实正确地验证了 pairlist 对象。

您可以通过使用inline::cfunction 运行CheckFormals() 函数的部分内容自己检查最后一点

inline::cfunction( c(x="ANY"),
  'Rprintf("is list?: %d\\nTag1 OK?: %d\\nTag2 OK?: %d\\nTag3 NULL?: %d\\n",
     isList(x), TYPEOF(TAG(x)) == SYMSXP, TYPEOF(TAG(CDR(x))) == SYMSXP,
     CDR(CDR(x)) == R_NilValue); return R_NilValue;' )( formals(mean) )

# is list?: 1
# Tag1 OK?: 1
# Tag2 OK?: 1
# Tag3 NULL?: 1

因此，在您将formals(means) 传递给.Primitive("function") 和它被do_function() 转发给CheckFormals() 之间的某个地方，该参数将失去其有效性。 （我不太了解 R 源代码，无法告诉您这是如何发生的。）但是，由于 do_function() 仅由 .Primitive("function") 调用，因此您不会在任何其他示例中遇到这种情况。