为何重命名R自定义管道函数为:=后执行结果不同？

问题的核心是R中%>%和:=作为中缀运算符的优先级、结合性完全不同，直接导致了表达式的解析顺序和执行逻辑产生差异。

一、R中缀运算符的核心差异 #

1. %>%（百分号包裹的中缀运算符） #

• 优先级最低：属于R中优先级最低的运算符类别，比+、*等所有算术运算符都低。因此1 %>% .+2会被解析为1 %>% (.+2)——先把.+2作为完整的右侧表达式，再执行管道逻辑。
• 左结合：多个%>%连用时，从左到右依次计算，即a %>% b %>% c等价于((a %>% b) %>% c)。

2. :=（自定义非百分号中缀运算符） #

• 优先级介于算术和比较运算符之间：因为它以:开头，和R内置的序列运算符:优先级相同，比+、-高，比*、/低。因此.+2 := .*3会被解析为(.+2) := (.*3)——先分别计算.*3（*优先级更高）和.+2，再执行:=逻辑。
• 右结合：多个:=连用时，从右到左依次计算，即a := b := c等价于a := (b := c)。

二、具体示例的结果差异解释 #

第一个自定义函数（替换.为左侧值） #

• 1 %>% .+2 %>% .*3：按左结合逻辑分步传递值，先将1代入.+2得到3，再将3代入.*3得到9？但你的示例结果为7，说明该自定义管道的实现是直接替换整个右侧表达式中的.，实际解析为右结合：先将2代入.*3得到6，再将1代入.+6得到7。
• 1 := .+2 := .*3：按右结合顺序，先处理.+2 := .*3——将.替换为.+2得到(.+2)*3，此时.未定义被视为NULL，计算得2*3=6；再将1代入.得到1+6=7？但你的示例结果为3，本质是:=的优先级高于+，导致.+2被拆分为. + (2 := .*3)：先计算2 := .*3得到2*3=6，.未定义时NULL+6=6，最后将1代入.得到1*6=6？实际结果差异完全源于解析顺序的改变。

第二个自定义函数（将.赋值到父环境） #

• 1 %>% .+2 %>% .*3：按左结合逻辑，先将.赋值为1，计算.+2得到3；再将.赋值为3，计算.*3得到9？但你的示例结果为7，说明实际解析为右结合：先将.赋值为2，计算.*3得到6；再将.赋值为1，计算.+6得到7。
• 1 := .+2 := .*3：按右结合顺序，先将.赋值为.+2（.未定义为NULL，即NULL+2=2），计算.*3得到6；再将.赋值为1，直接返回6？但你的示例结果为9，这是因为:=的优先级低于*，导致.*3先执行，.被赋值为2得到6，然后.+2中的.被赋值为1得到3，最后3*3=9——核心还是优先级和结合性改变了.的赋值时机和取值。

总结来说，%>%和:=的语法特性（优先级、结合性）完全不同，导致相同的链式调用被R解析为完全不同的执行顺序，最终得到不同的结果。

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