如何在C语言中获取R函数参数对应的对象名称？

你遇到的问题其实是因为原有代码只读取了参数的标签（TAG），而未命名参数的TAG本身就是NULL，没法拿到原始的对象名称。R的substitute()之所以能做到，是因为它会去读取调用栈里的表达式，而不是直接看参数本身。下面我来一步步解决这个问题：

为什么原有代码无法获取未命名参数的对象名 #

你的代码里TAG(x)对应的是参数的命名标签（比如xname(arg = x1)里的arg），但当你传入未命名参数时，TAG(x)返回R_NilValue，自然拿不到x1这个名称。要拿到原始对象名，我们需要访问调用该函数时的表达式，也就是substitute()背后的逻辑。

C语言中实现substitute()的等效逻辑 #

在C层面，我们可以通过以下步骤实现类似substitute()的功能：

• 获取当前函数的调用帧（call frame），也就是调用xname()时的上下文；
• 从调用帧中提取完整的调用表达式（比如xname(x1)）；
• 提取调用表达式中的第N个参数对应的表达式（这里是x1）；
• 将该表达式转换为字符串形式。

核心用到的R内部函数包括：

• sys.call()：获取当前的调用表达式；
• PRINTNAME() / CHAR()：将符号（symbol）转换为字符串；
• isSymbol()：判断表达式是否为符号类型（也就是对象名）。

完整的C代码示例 #

#include <Rinternals.h>
#include <R_ext/Parse.h>

SEXP xname(SEXP x) {
    // 获取当前的调用表达式（比如xname(x1)）
    SEXP call = sys.call();
    // 调用表达式的第一个元素是函数名，第二个元素是第一个参数
    SEXP arg_expr = CADR(call);
    
    const char* fun_name = CHAR(PRINTNAME(CAR(call)));
    const char* arg_name = "";
    
    // 如果参数表达式是一个符号（也就是对象名）
    if (isSymbol(arg_expr)) {
        arg_name = CHAR(PRINTNAME(arg_expr));
    } 
    // 可选：处理复杂表达式（比如xname(x1 + x2)）
    else {
        SEXP str_expr = Rf_deparse(arg_expr, 1);
        arg_name = CHAR(STRING_ELT(str_expr, 0));
    }
    
    Rprintf("fn_name: %s, arg_name: %s\n", fun_name, arg_name);
    return R_NilValue;
}

关于findVarInFrame()的说明 #

findVarInFrame()的作用是在指定的调用帧中查找变量的值，而不是变量的名称。它没法直接帮你获取传入参数的原始对象名，但可以结合调用表达式来验证变量的值是否匹配；不过对于当前需求来说，我们更需要的是调用时的表达式本身，而不是变量的值，所以sys.call()才是核心工具。

R端测试 #

编译完C代码后，在R中调用：

xname <- function(...) invisible(.External("xname", ...))
x1 = 123
xname(x1)
# 输出：fn_name: xname, arg_name: x1

xname(arg = x1)
# 输出：fn_name: xname, arg_name: arg

# 处理复杂表达式
xname(x1 + x2)
# 输出：fn_name: xname, arg_name: x1 + x2

这样就完美实现了类似substitute()的功能，既能处理未命名参数的原始对象名，也能兼容命名参数和复杂表达式。

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