R中envir=parent.env(environment())为何无法保护自定义函数不被修改？

你遇到的问题核心是对parent.env(environment())的指向以及R环境查找规则的理解存在偏差：

• 你在全局环境中执行deck <- function(){...}时，这个deck函数本身就存储在全局环境（.GlobalEnv）中。R中函数的执行环境的父环境，默认就是该函数被定义时所在的环境，也就是此处的全局环境。因此你代码里parent.env(environment())实际指向的就是全局环境，调用函数时执行的assign语句，相当于直接把全局环境中原本是函数的deck覆盖成了牌组数据框。
• 实际上你就算不手动在全局修改deck的值，第一次调用deck()之后，全局的deck就已经被覆盖为数据框，第二次调用deck()同样会报错，和你后续手动执行deck <- "Whatever"的效果完全一致。

闭包的核心逻辑是用外部函数构造一个独立的封闭执行环境，内部函数的父环境绑定到这个封闭环境，和全局环境隔离，不会受到全局变量赋值的影响，实现代码如下：

# 外部构造函数，仅需执行一次，用于生成独立封闭环境
create_deck_generator <- function() {
  # 牌组固定参数定义在封闭环境中，仅初始化一次，不需要每次调用重复生成
  face <- c("Ace","Two","Three", "Four",
            "Five", "Six", "Seven", "Eight",
            "Nine","Ten", "Jack", "Queen", "King")
  suit <- rep(c("Diamonds", "Spades", "Hearts", "Clubs"), each = 13)
  value <- 1:13
  
  # 返回实际生成牌组的内部函数，该函数的父环境为外部构造函数的执行环境，和全局隔离
  function() {
    data.frame(face, suit, value)
  }
}

调用逻辑如下：

# 执行一次构造函数，将返回的内部生成函数赋值给deck
deck <- create_deck_generator()

# 调用即可返回牌组
head(deck())

此时就算你在全局环境执行deck <- "Whatever"，也只是覆盖了全局环境下的deck变量，封闭环境里的函数定义不会受影响，只要你提前把构造函数返回的内部函数存储到其他变量或自定义环境中，就可以随时正常调用：

# 提前备份生成函数
get_deck <- create_deck_generator()

# 全局覆盖deck变量
deck <- "Whatever"

# 调用备份的get_deck()仍然可以正常生成牌组
head(get_deck())

如果要完全避免全局变量的干扰，可以直接将生成函数存储到自定义的独立环境中：

# 创建独立环境
my_tool_env <- new.env()
# 将生成函数存入独立环境
my_tool_env$get_deck <- create_deck_generator()

# 全局变量怎么修改都不影响独立环境的函数调用
deck <- "任意值"
head(my_tool_env$get_deck())

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