为什么这个mathematica模式变量没有被评估？

Question

显然这些模式变量不像我所预期的那样工作。这里有一个简单的例子：

In[264] := 1 /. x_ -> {x, f[x], ToString[x]} 
Out[264] := {1, f[1], "x"} 

为什么最后一个元素“x”而不是“1”。以下按预期工作。

In[267]:= y = 2; 
    ToString[y] 
Out[268]= "2" 

感谢，
罗布

Answer 1

发生替换前规则的右手边正在接受评估，所以你需要使用RuleDelayed（:>），而不是Rule（->）：

In[1]:= 1 /. x_ :> {x, f[x], ToString[x]} 

Out[1]= {1, f[1], "1"} 

Rule和RuleDelayed类似于Set （=）和SetDelayed（:=）。

HTH！

Answer 2

尝试Trace[1 /. x_ -> {x, f[x], ToString[x]}]。我目前无法访问mathematica，但我相信您会看到替换项（特别是ToString[x]）在应用之前评估为，因此您正在执行1 /. x_ -> {x, f[x], "x"}。