如何在R语言嵌套函数中使用substitute与quote

问题描述 #

我已经了解substitute、quote和eval的基本区别，但在以下场景中仍有困惑：

现有四个逐层传递表达式的函数，仅最底层的f1会对表达式求值：

f1 <- function(expr) {
    x <- "Hello!"
    do.call(eval, list(expr = expr))
}

f2 <- function(expr) {
    f1(expr)
}

f3 <- function(expr) {
    f2(expr)
}

f4 <- function(expr) {
    f3(expr)
}

我希望直接向f2、f3或f4传递未引用的表达式，且表达式不会在传递过程中提前求值，最终在f1的环境中执行。具体来说，我期望调用：

f4(print(paste0("f4: ", x)))
f3(print(paste0("f3: ", x)))
f2(print(paste0("f2: ", x)))

得到输出：

[1] "f4: Hello!"
[1] "f3: Hello!"
[1] "f2: Hello!"

当前遇到的问题 #

直接调用f4(print(paste0("f4: ", x)))会报错：

Error in paste0("x: ", x) : object 'x' not found

原因是x仅在f1的环境中定义，而表达式在调用f4时就被尝试求值了。

尝试过的方法 #

1. 在f4中使用substitute捕获表达式：

f4 <- function(expr) {
    f3(substitute(expr))
}

调用后出现重复输出：

[1] "f4: Hello!"
[1] "f4: Hello!"

2. 修改f1用quote(expr)避免提前求值：

f1 <- function(expr) {
    x <- "Hello!"
    do.call(eval, list(expr = quote(expr)))
}

此时f4(print(paste0("f4: ", x)))能得到正确输出，但将同样的substitute逻辑应用到f3后：

f3 <- function(expr) {
    f2(substitute(expr))
}

调用f4会失败，输出结果为expr。

我想知道如何实现目标，且不需要在调用时用quote包裹表达式。

解决方案 #

核心是让每一层中间函数（f2、f3、f4）都通过substitute捕获传入的未引用表达式，再传递给下一层；同时f1中直接在自身环境里求值传入的表达式：

f1 <- function(expr) {
    x <- "Hello!"
    eval(expr, envir = environment())
}

f2 <- function(expr) {
    f1(substitute(expr))
}

f3 <- function(expr) {
    f2(substitute(expr))
}

f4 <- function(expr) {
    f3(substitute(expr))
}

此时测试调用：

f4(print(paste0("f4: ", x)))
# [1] "f4: Hello!"

f3(print(paste0("f3: ", x)))
# [1] "f3: Hello!"

f2(print(paste0("f2: ", x)))
# [1] "f2: Hello!"

完全符合预期。

原理说明 #

• substitute(expr)会捕获函数调用时传入的未求值表达式，将其转换为表达式对象传递给下一层，避免了在当前环境中提前求值。
• f1中使用eval(expr, envir = environment())明确指定在自身环境中求值，此时x已经定义，表达式能正确执行。

内容的提问来源于stack exchange，提问作者Mihai Constantin