wolfram-mathematica - 仅评估表达式中的特定 Head 类型？

Question

我记得看到一个配方，它采用表达式并评估每个与模式 x 匹配的 Head，同时不评估具有不匹配 Head 的子表达式。我再也找不到这个食谱了，有人知道正确的做法吗？

Answer 1

这是来自 Ted Ersek's Mathematica Tricks under "Clever Little Programs" .
感谢@TomD 提供指针。

EvaluatePattern[expr_,pattn_]:=expr/.Pattern[p, pattn]:>With[{eval=p},eval/;True]

In[368]:= test = HoldForm[7 (1 + 2 - 2^2) (8 + 8)];
          EvaluatePattern[test, _Plus] //InputForm

Out[369]= HoldForm[7*-1*16]  

编辑

它似乎也适用于 Hold[]，但我从未进行过深入测试。