R语言函数参数赋值异常疑问：全局环境变量被意外赋值

其实这不是Bug，是R语言参数求值机制的预期特性，我当初第一次碰到的时候也和你一样困惑，咱们来拆解一下原因：

核心逻辑：参数表达式的求值环境是「调用者环境」，不是函数本地环境 #

当你调用print.func(a <- 1:10)时，R的执行顺序是这样的：

1. 先在你调用函数的环境（这里是全局环境）中完成参数表达式的求值：也就是先执行a <- 1:10，这一步直接在全局环境里创建了变量a，并赋值为1:10。
2. 把这个表达式的求值结果（也就是1:10这个向量）传递给print.func的参数n。
3. 函数内部执行print(n)，只是打印传递过来的向量，和a的赋值完全没关系。

和<<-的区别在哪里？ #

<<-是在函数内部主动向上寻找父环境并修改变量，而你遇到的情况根本没到函数内部的环境处理赋值——赋值操作在函数调用前就已经在全局环境完成了，和函数内部的环境完全不沾边。

怎么让赋值局限在函数本地？ #

如果想让a只存在于函数的本地环境，应该把赋值操作放在函数内部，而不是作为参数传入：

print.func <- function() {
  a <- 1:10  # 赋值在函数本地环境完成
  print(a)
}
print.func()

这时候执行完函数后，全局环境里不会有a这个变量。

再补个惰性求值的小验证 #

R是惰性求值语言（参数直到被用到时才会求值），但即使是惰性，求值的环境依然是调用者环境：

test_func <- function(x) {
  cat("函数开始执行\n")
  print(x)
}
# 参数里加个打印，看求值时机
test_func({cat("参数正在求值\n"); b <- 5; b})

执行结果会是：

函数开始执行
参数正在求值
[1] 5

你会发现b <-5依然是在全局环境中完成的，执行完函数后全局里能找到b。

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