如何检索原始函数的形式？

Question

至少目前，这对我来说是一个学习练习，因此实际功能或其复杂性不是问题。假设我编写了一个函数，其参数列表包括一些输入变量和函数名，作为字符串传递。然后这个函数在内部计算一些变量并“决定”如何将它们提供给我传入的函数名。

对于非原始函数，我可以这样做（对于这个例子，假设我的 funcname 函数没有任何参数，最多 (x,y,z) 除外。如果他们这样做，我必须编写一些代码来搜索匹配names(formals(get(funcname)))以免删除其他参数）：

foo <- function (a,b,funcname) {
    x <- 2*a
    y <- a+3*b
     z <- -b
    formals(get(funcname)) <- list(x=x, y=y, z=z)
    bar <- get(funcname)()
return(bar)
}

而且好消息是，即使函数 funcname 不会使用 x、y 或 z，它也会毫无错误地执行（只要没有其他 args 不使用） t 有默认值）。
“原始”函数的问题是我不知道有什么方法可以找到或修改它们的形式。除了编写包装器之外，例如foosin <-function(x) sin(x)，有没有办法设置我的foo 函数以使用原始和非原始函数名称作为输入参数？

Answer 1

根据 Richard S 的回应，我最终做了以下事情。发布以防万一其他人尝试做和我一样奇怪的事情。

编辑：我认为需要进行更多类型检查。 coleqn 可能是 对象的名称，在这种情况下get(coleqn) 将返回一些数据。可能我需要 在if(!is.null(rab)) 之后添加if(is.function(rab))。 （当然，鉴于我是为自己的需要编写的函数，如果我愚蠢到传递一个对象，我应该得到我得到的 :-)）。

# "coleqn" is the input argument, which is a string that could be either a function
# name or an expression.

rab<-tryCatch(get(coleqn),error=function(x) {} )
#oops, rab can easily be neither NULL nor a closure. Damn.
if(!is.null(rab)) {
# I believe this means it must be a function
# thanks to Richard Scriven of SO for this fix to handle primitives
# we are not allowed to redefine primitive's formals.
    qq <- list(x=x,y=y,z=z) 
#  matchup the actual formals names
#  by building a list of valid arguments to pass to do.call 
    argk<-NULL
    argnames<-names(formals(args(coleqn)))
    for(j in 1:length(argnames) )
        argk[j]<-which(names(qq)==argnames[1] )
    arglist<-list()
    for(j in 1:length(qq) ) 
        if(!is.na(argk[j])) arglist[[names(qq)[j]]]<-qq[[j]]
    colvar<- do.call(coleqn,arglist) 
    } else {
# the input is just an expression (string), not a function
        colvar <- eval(parse(text=coleqn)) 
    } 

结果是由表达式或刚刚创建的函数生成的对象，使用主函数内部的变量（在此 sn-p 中未显示）

Answer 2

formals(args(FUN)) 可用于获取原始函数的形式。

您可以在现有函数中添加if 语句。

> formals(sum)
# NULL
> foo2 <- function(x) {
      if(is.primitive(x)) formals(args(x)) else formals(x)
      ## formals(if(is.primitive(x)) args(x) else x) is another option
  }
> foo2(sum)
# $...
#
#
# $na.rm
# [1] FALSE
#
> foo2(with)
# $data
# 
#
# $expr
#
#
# $...