为何R中执行`f <- function(x){x} %>% f`不会抛出未找到f的报错？

直接等价写法的报错逻辑 #

执行f <- f(function(x){x})时，R的赋值流程是先完整计算右值的结果，再将结果绑定到左值的变量名上。
这个写法的右值是即时执行的函数调用，求值的第一步就需要在当前环境查找f的定义，此时全局环境中还没有绑定f，因此立刻抛出f not found的错误。

管道写法不报错的机制 #

magrittr的%>%和普通函数调用的求值逻辑存在本质差异，这也是不触发报错的核心原因：

• 管道会将右值的表达式作为语法结构捕获，而非立刻求值。本例中管道的右值是不带调用括号的裸符号f，此时管道不会立刻执行“把左侧的匿名函数传给f并调用”的逻辑，而是构造一个形式类似function(. ) { f(.) }的闭包对象返回。
• 闭包的构造过程完全不会查找f的对应值，只是把“接收输入值，将输入值传给f并执行调用”的逻辑打包到函数内部，全程没有实际执行这段调用代码。因此整个管道表达式的求值过程根本不需要定位到f对象，自然不会触发找不到对象的报错。
• 管道返回的这个闭包，会作为赋值的右值，直接绑定到全局环境的f名字上。

栈溢出的成因 #

当后续调用f(1)时，才会触发闭包内部的逻辑执行：在当前环境查找f对象。此时全局环境中的f已经就是这个闭包本身，因此实际执行的逻辑是f(1)——也就是把传入的1再次作为参数调用f，形成无限自我递归，最终撑爆C栈触发溢出错误。

常见直觉误区 #

大家通常认为a %>% b等价于即时执行的b(a)，这个结论只在两类场景下完全成立：

• 管道右值是带调用括号的函数（如mean()），此时magrittr会立刻将左值作为第一个参数传入函数并求值返回结果
• 管道右值的符号已经在当前环境存在，此时管道会直接调用对应函数返回结果
  当右值是环境中不存在的裸符号时，管道会隐式退回到返回闭包的模式，不会触发即时求值和对象查找，这也是和直接写函数调用表达式的核心差异。

内容的提问来源于stack exchange，提问作者Stéphane Laurent