为什么我要评估两次？

Question

我不明白为什么我必须评估两次（在 Mathematica 7 中）才能完成作业。

第一次评估：

Unprotect[Rule];
Attributes[Rule]
pp = Plot | LogLinearPlot | ListPlot | ParametricPlot3D;
(h : pp)[True -> False] ^:= Print["Irrelevant data"]

(*

Out[2]= {SequenceHold}

During evaluation of In[1]:= UpSetDelayed::write: Tag Rule in (h:Plot|LogLinearPlot|ListPlot|ParametricPlot3D)[True->False] is Protected. >>

Out[4]= $Failed

*)

从Out[2]= {SequenceHold} 可以看出，Unprotect[Rule] 有效，但错误消息表明并非如此。如果我第二次评估该单元格，则赋值不会产生错误。

为什么会这样？

Answer 1

您可能很清楚，Mathematica 加载二进制 MX 文件以实现其某些功能。这些 MX 文件存储实现以及定义和属性。

这是阴险的，但是您的 Unprotect[Rule] 已被 Mathematica 新加载的 MX 文件撤消，这就解释了为什么它第二次起作用了。因为 Mathematica 已经加载了它需要的所有 MX 文件。

如果您首先评估表达式中的所有符号，那么它就会停止抱怨：

{Unprotect, Rule, Attributes, Plot, LogLinearPlot, ListPlot, 
  ParametricPlot3D, True, False, Print};
Unprotect[Rule];
Attributes[Rule];
pp = Plot | LogLinearPlot | ListPlot | ParametricPlot3D;
(h : pp)[True -> False] ^:= Print["Irrelevant data"]

EDIT在取消保护Rule之前，需要进行第一次评估以触发所有自动加载。