如何在R中实现严格变量作用域，避免函数引用父环境变量？

要让函数f()执行时无法找到父环境中的a，核心是切断函数f对原有环境链的访问——因为函数在定义时会捕获当前环境作为自身的闭包环境，之后无论在哪执行，都会沿着这个环境链查找变量。以下是几种可行方案：

1. 修改函数的闭包环境为空环境 #

直接把f的环境设置为空环境（emptyenv()），这样它就无法向上查找任何变量：

a <- 1
f <- \( ) a

# 修改f的环境
environment(f) <- emptyenv()

f() 
# 执行报错：Error in f() : object 'a' not found

2. 在无继承的局部环境中重新定义函数 #

如果不想修改原有函数，可在一个不继承父环境的局部环境里重新定义f，这样它的闭包环境中不存在a：

a <- 1

local({
  f <- \( ) a
  f()
}, env = emptyenv()) 
# 执行报错：Error in f() : object 'a' not found

这里local()的env参数指定了局部环境的父环境为空，因此该环境中没有a的定义。

3. 临时替换函数的执行环境（用rlang包） #

借助rlang::with_environment临时将函数的执行环境替换为空环境，无需永久修改函数本身：

library(rlang)
a <- 1
f <- \( ) a

with_environment(f, emptyenv(), f())
# 执行报错：Error in f() : object 'a' not found

为什么local()和rlang::locally()没用？ #

你之前尝试的local()/locally()只是创建了局部执行环境，但函数f本身的闭包环境还是它定义时的原环境（包含a）。函数查找变量时优先用自身的闭包环境，所以依然能找到a，不会触发错误。

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