替换时的一个错误，原因？

Question

2 Subscript[a, 2] + 3 Subscript[a, 1] + 4 Subscript[a, 3] -
  1 /. {Subscript[a, i_] ->
   Subscript[y,
    i] - {Subscript[s, 1], Subscript[s, 2], Subscript[s, 3]}[[i]]}

运行后为什么出现错误：Part::pkspec1: 表达式 i 不能作为部分指定使用.

Answer 1

在替换 expr /. a -> b 中，如果 b 中使用了 a 中的变量，那么应该用 :> 而不是 -> 

• 符号 :> 是延时规则，可理解为，在使用规则时再计算b
• 而符号->，是先计算b，然后在使用规则时直接调用已经计算好的结果

对于你的这个例子来说，使用->，会先计算规则后面的表达式，但此时的i还没有被赋值

而改用:>，则会在使用规则时再计算规则后面的表达式，由于匹配到模式，所以i才有了值，此时再计算后面的表达式就没有问题了。

Comments

很完美的回答！谢谢！试过，正确！没有系统地学习过MMA， :> 这个符号没有用过。