R语言map2内嵌匿名函数无法识别传入参数的原因探究

报错根源是内嵌匿名函数的形参与外层管道上下文的列变量重名，触发了非标准求值的变量查找歧义，和purrr::map2本身的参数传递机制没有直接冲突。

具体运行机制差异 #

内嵌匿名函数触发报错的逻辑 #

当你把匿名函数直接写在mutate()的表达式里时，R的非标准求值流程会在map2开始真正遍历传参之前，先对整段map2(...)的表达式做语法解析和变量预查找：

1. 解析顺序从当前mutate的执行环境开始，优先识别上下文中的列变量——也就是expand_grid生成的i1、i2列向量
2. 你定义的匿名函数形参也恰好命名为i1、i2，和外层列名完全重名
3. 解析阶段会把匿名函数内部的i1优先识别为外层数据框的列，试图直接从列向量取值；但此时map2还没启动逐元素传参的流程，i1作为mutate上下文里的列变量还是未完成赋值的延迟计算对象，最终触发“对象不存在”的报错。

整个过程的问题不是map2拿不到参数，而是R的求值器在碰到非标准求值（比如你用的!!、!!sym()）时，会提前跳转到外层环境找变量，根本没走到map2逐次传参的那一步。

外部定义函数能正常运行的逻辑 #

把fun_group定义在map2外部时，函数的作用域会被绑定到定义它的全局环境，形成独立的私有命名空间：

• 函数内部的形参i1、i2和外层mutate上下文的列变量完全隔离，不会触发解析阶段的变量歧义
• 当purrr逐次把i1、i2列的元素值传入函数形参时，所有带非标准求值的逻辑都在函数内部的私有环境完成求值，不会反向向外层上下文查找变量
• 整个计算过程和你直接调用单个处理函数的流程完全一致，自然不会出现变量找不到的问题。

不挪动函数位置的修复方法 #

如果一定要把逻辑内嵌在map2的匿名函数里，只要把匿名函数的形参改成和外层列不重名的名称即可，比如将形参从i1、i2改为x、y：

1:2 %>% expand_grid(i1=., i2=.) %>% mutate(data=map2(i1, i2, function(x, y){
  df %>% transmute(
    !!str_c("Group", x, y) := if_else(!!sym(str_c("a", x, y)),
                                       if_else(!!sym(str_c("b", x, y)), "g1", "g2"),
                                       if_else(!!sym(str_c("b", x, y)), "g3", "g4")))
})) %>% .$data %>% reduce(bind_cols)

这段代码可以直接得到符合预期的输出，本质是通过重命名切断形参与外层列名的绑定，消除非标准求值的查找歧义。

日常使用中，map系列函数完全支持内嵌匿名函数，绝大多数同类报错都不是映射函数本身的问题，而是嵌套在mutate、管道这类同样使用非标准求值的逻辑里时，形参与外层变量重名引发的作用域混淆。

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