如何测试R包是否修改.GlobalEnv并定位违规代码？

1. 快照对比法 #

直接对比运行包代码前后全局环境的对象列表，覆盖所有可能的代码路径（示例、测试、vignette）：

# 记录初始全局环境的所有对象
initial_objs <- ls(envir = .GlobalEnv)

# 执行包内所有核心操作
library(yourpkg)
# 运行所有函数示例
lapply(ls("package:yourpkg"), function(f) {
  if (is.function(get(f))) example(f)
})
# 运行所有测试用例
devtools::test()
# 运行vignette（若存在）
devtools::build_vignettes()
vignette("your_vignette_name", package = "yourpkg")

# 记录运行后的全局环境对象
final_objs <- ls(envir = .GlobalEnv)

# 找出新增对象
diff_objs <- setdiff(final_objs, initial_objs)
if (length(diff_objs) > 0) {
  cat("检测到.GlobalEnv新增对象：", paste(diff_objs, collapse = ", "), "\n")
} else {
  cat("未发现.GlobalEnv被修改\n")
}

2. 实时监控赋值操作 #

通过追踪函数或设置回调，实时捕捉向.GlobalEnv的赋值行为，同时获取调用栈定位代码：

监控assign函数 #

# 给assign函数加追踪，检测是否向.GlobalEnv赋值
trace(assign, exit = function() {
  if (identical(environment(), .GlobalEnv)) {
    cat("发现向.GlobalEnv赋值：", deparse(substitute(x)), "\n")
    cat("调用栈：\n")
    print(sys.calls()) # 打印完整调用栈，直接定位问题代码
  }
}, print = FALSE)

# 运行包内操作
# ...（执行你的包功能代码）

# 关闭追踪
untrace(assign)

用任务回调监控环境变化 #

# 创建回调函数，实时对比全局环境对象变化
env_monitor <- function(expr, value, ok, visible) {
  current_objs <- ls(.GlobalEnv)
  # 初始化记录
  if (!exists(".prev_global_objs", envir = .GlobalEnv)) {
    assign(".prev_global_objs", current_objs, envir = .GlobalEnv)
    return(TRUE)
  }
  # 识别新增对象
  new_objs <- setdiff(current_objs, get(".prev_global_objs", envir = .GlobalEnv))
  if (length(new_objs) > 0) {
    cat("GlobalEnv新增对象：", paste(new_objs, collapse = ", "), "\n")
    cat("触发变化的代码：", deparse(expr), "\n")
    # 更新记录
    assign(".prev_global_objs", current_objs, envir = .GlobalEnv)
  }
  return(TRUE)
}

# 注册回调
callback_id <- addTaskCallback(env_monitor)

# 运行包内操作
# ...（执行你的包功能代码）

# 移除回调并清理临时对象
removeTaskCallback(callback_id)
rm(.prev_global_objs, envir = .GlobalEnv)

• 排查隐式全局赋值的函数：data()默认把数据集加载到全局环境（需指定envir = local_env）、load()默认读取到全局环境（要手动指定envir参数）、attach()会把对象绑定到全局搜索路径，这些是常见的遗漏点。
• 检查<<-赋值符：函数内使用x <<- value时，若上层环境找不到x，会直接赋值到.GlobalEnv，务必排查所有<<-的使用。
• 确认eval()的环境参数：确保eval(expr, envir = your_local_env)正确设置了环境参数，避免因遗漏参数导致默认继承全局调用环境。
• 模拟CRAN完整检查：用devtools::check(cran = TRUE)运行严格的CRAN标准检查，GitHub Actions的检查可能未覆盖CRAN审核的全部细节。
• 逐步调试定位：在可疑代码块中插入browser()，逐步执行并查看.GlobalEnv的变化，精准定位问题代码行。

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