r 用列表和评估代替

Question

如果我做这个例子

match_caller <- function(x) 1L
crazy_function <- function(x) substitute(match_caller(x),list(x=x))
crazy_function2 <- function(x) substitute(match_caller(x))

a <- 10L
crazy_function(a^2)
#> match_caller(100)
crazy_function2(a^2)
#> match_caller(a^2)

这似乎表明，通过使用带有列表而不是 env 的替换，其优点是它在替换之前评估变量。总是这样吗？ 现在，如果我想在替换之前进行评估，出于安全原因，我使用force，但这没用吗？

谢谢

Answer 1

我认为关于substitute function/lazy 评估和how to use substitute 已经有了一些很好的答案。我只想引用substitute function reference（追溯到S语言时代）：

参数

expr：任何语法上有效的 R 表达式
env：环境或列表对象。默认为当前评估环境。

所以，是的，您可以使用列表，但这不是强制的。

这是您调用它的方式，如 this answer 中所示，它再次显示了如何在值 [1] 中替换表达式：

substituteExpr <- function(expr, env) {
  do.call(substitute, list(expr=expr[[1]], env=env))
}
substituteExpr(a^2, list(x=2)) # 100

如果 expr 的值是表达式，则替换 env 中绑定的任何变量（它的值，而不是表达式）。

参考详情：

通过检查解析树的每个组件来进行替换 如下：如果不是env中的绑定符号，则不变。如果它 是一个承诺对象，即，一个函数的正式参数或 使用delayAssign() 显式创建的表达式槽 承诺替换符号。如果是普通变量，它的值 被替换，除非 env 是 .GlobalEnv 在这种情况下符号是 保持不变。

quote 和substitute 都是“特殊”的原始函数 不评估他们的论点。

Value 结果的模式一般是“调用”但原则上可以 是任何类型。特别是，单变量表达式具有众数 “名称”和常量具有相应的基本模式。

注意替代品在纯粹的词汇基础上工作。没有保证 结果表达式有意义。

当论点是 表达（...）。结果是对表达式构造函数的调用 功能，需要用 eval 进行评估以给出实际的 表达式对象。