如何在R7等面向对象系统中获取用户传入的参数名？

在普通函数里，enquo()能直接捕获参数的原始表达式，是因为函数参数未被提前求值。但S3/R7的方法调用机制不同：泛型函数会先对参数求值，再将值传递给对应方法，所以方法内部拿到的是参数的求值结果（比如示例中的"dog"），而非原始符号cat。要获取参数名，需要在泛型函数层面捕获参数引用，再传递给方法处理。

R7实现方式 #

修改泛型函数，在其中捕获参数的引用，同时将求值后的值和引用一起传递给方法：

library(R7)
library(rlang)

# 定义泛型方法，接受求值后的值和参数引用
my_generic <- new_generic("my_generic", c("x"))
method(my_generic, class_character) <- function(x, x_quo) {
  get_expr(x_quo)
}

# 重写泛型调用逻辑，捕获参数引用并传递
my_generic <- function(x) {
  x_quo <- enquo(x)
  callNextMethod(!!x, x_quo = x_quo)
}

cat <- "dog"
my_generic(cat)
#> cat

S3实现方式 #

逻辑和R7一致，在S3泛型中捕获参数引用，再传递给方法：

library(rlang)

# S3泛型中捕获参数引用
my_s3_generic <- function(x) {
  x_quo <- enquo(x)
  UseMethod("my_s3_generic")
}

# S3方法接收值和引用，提取参数名
my_s3_generic.character <- function(x, x_quo) {
  get_expr(x_quo)
}

cat <- "dog"
my_s3_generic(cat)
#> cat

核心原理 #

• 泛型作为调用入口，在参数求值前用enquo()捕获原始表达式；
• 将捕获的引用作为额外参数传递给方法，方法就能从中提取原始参数名；
• 方法内部无法直接用enquo()获取原始符号，因为此时参数已经被求值。

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