Rule与Pattern差异解析及表达式转换实现问询

一、->与:>的核心差异 #

• ->（Rule）：即时求值
  右侧替换表达式会在模式匹配前就完成计算。也就是说，当你写pattern -> replacement时，replacement部分会先被解析求值，再用于替换匹配到的内容。如果替换表达式里的变量还没绑定具体值，会保留表达式结构，但求值时机是在匹配前。
• :>（DelayedRule）：延迟求值
  右侧替换表达式要等模式匹配成功、变量绑定到具体值后，才会进行计算。replacement部分会原封不动保留，直到匹配完成后再代入变量求值。

两者结果不同的根源就是求值时机：->提前计算替换内容，:>则等匹配完成后再计算，这会导致变量未绑定前的表达式处理逻辑完全不同。

二、实现5+4到5^2+4^2的转换 #

你给出的两种写法都能完成需求，具体如下：

1. 使用->的写法：

   (5 + 4) /. (x_ + y_) -> (x^2 + y^2)
   

   这里右侧的x^2 + y^2会先尝试求值，但此时x和y未绑定具体值，所以保留表达式结构。匹配到5和4后，自动代入得到5^2 + 4^2，最终计算出结果41。
2. 使用:>的写法：

   (5 + 4) /. (x_ + y_) :> (x^2 + y^2)
   

   这种写法更严谨，替换表达式会延迟到匹配完成后再求值，代入x=5、y=4后计算出5^2 + 4^2，同样得到结果41。

Mathematica的加法是可交换的，x_ + y_能匹配任意两个数的加法（不管顺序），所以两种写法都能正确完成转换。

内容的提问来源于stack exchange，提问作者Sergey V.