R元编程：逻辑表达式拼接函数优化及可控反引用实现问题

需求说明 #

需要实现的函数需要满足两个核心功能：

• 调用paste_logic(a == b, c > q, f < g, sep = and)时返回expr(a == b & c > q & f < g)
• 支持指定侧延迟反引用，例如调用paste_expr(a == b, c > q, f < g, sep = and, side = right)时返回expr(a == !!b & c > !!q & f < !!g)

现有实现问题解答 #

Q1：为什么函数内直接写!!(dispatch(sep))会报错，必须加反引号？ #

这是R运算符优先级导致的解析逻辑差异：
!!作为非标准求值运算符的优先级低于函数调用，你直接写!!(dispatch(sep))(!!(dots[[1]]), ...)时，R解析器会将其理解为!!( dispatch(sep)(!!(dots[[1]]), ...) )，也就是把后续的参数调用整体作为!!的输入，相当于你要对一个函数调用的结果解引用，而不是先解引用得到逻辑运算符再调用参数。
加反引号明确标注`!!`(dispatch(sep))是一个独立的求值单元后，解析顺序就变成先解引用得到运算符，再作为函数调用后续参数，所以不会报错。你在全局环境测试的代码实际也符合这个规则，只是当时的写法刚好避开了解析顺序的坑。 #

Q2：怎么得到中缀形式的逻辑表达式？ #

首先你直接写expr(&)报错是因为&是R的特殊中缀运算符，裸写不符合语法规则，必须用反引号包裹，写成expr(&)才是正确的符号生成方式。
要得到中缀拼接的表达式，可以用rlang::reduce替代递归前缀调用，示例逻辑如下：

library(rlang)
paste_logic <- function(sep, ...) {
  dots <- enquos(...)
  sep <- enexpr(sep)
  # 生成正确的中缀运算符符号
  op <- if (sep == expr(and)) expr(`&`) else expr(`|`)
  # 用reduce两两拼接成中缀形式
  reduce(dots, function(x, y) expr(!!x !!op !!y))
}

调用paste_logic(and, a > b, c == d, k == f)就会直接返回expr(a > b & c == d & k == f)的中缀形式。 #

Q3：怎么实现指定侧的延迟反引用？ #

每个传入的比较表达式是可以拆分操作的：R的调用对象结构为c(运算符, 左操作数, 右操作数)，你只需要写一个辅助函数拆分每个比较表达式，根据side参数给对应操作数外层加!!即可。
完整实现示例：

library(rlang)
library(purrr)
paste_logic <- function(sep, ..., side = c("none", "left", "right")) {
  side <- match.arg(side)
  dots <- enquos(...)
  sep <- enexpr(sep)
  op <- if (sep == expr(and)) expr(`&`) else expr(`|`)
  
  # 辅助函数：处理单个比较表达式的反引用
  process_expr <- function(e) {
    e <- get_expr(e)
    # 非二元比较表达式直接返回
    if (length(e) != 3) return(e)
    lhs <- e[[2]]
    cmp_op <- e[[1]]
    rhs <- e[[3]]
    if (side == "left") lhs <- expr(!!lhs)
    if (side == "right") rhs <- expr(!!rhs)
    expr(!!lhs !!cmp_op !!rhs)
  }
  # 处理所有输入表达式
  processed_dots <- map(dots, process_expr)
  # 拼接成最终表达式
  reduce(processed_dots, function(x, y) expr(!!x !!op !!y))
}

调用paste_logic(and, a == b, c > q, f < g, side = "right")就会返回expr(a == !!b & c > !!q & f < !!g)，延迟反引用的逻辑完全符合要求，eval_tidy执行时会正常解析!!标识的变量。 #

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