了解跟踪*

再会，

当试图理解数学使用标准的评估顺序Trace and TraceScan最近开发的命令及其漂亮的视觉表示thread https://stackoverflow.com/questions/5459735/the-clearest-way-to-represent-mathematicas-evaluation-sequence，我在他们的行为中遇到了一些含糊之处。

首先，当我评估时

In[1]:= Trace[a+1,TraceOriginal->True]

I get

输出[1]= {a+1,{加},{a},{1},a+1,1+a,{加},{1},{a},1+a}

所有子列表都对应于子评估（如文档中所述）。最后一个表情1+a尽管文档中没有明确说明，但可能与评估结果相对应。但表达的具体含义是什么a+1 and 1+a在列表中间？到哪一个评估步骤标准评估顺序 http://reference.wolfram.com/mathematica/tutorial/Evaluation.html他们对应？

第二个奇怪的地方是TraceScan。考虑以下：

In[1]:= 列表={}; TraceScan[AppendTo[列表,StyleForm[#,"输入"]]&,(a+1),_,AppendTo[列表,#]&];列表

输出[1]= {a+1, Plus, Plus, a, a, 1, 1, 1+a, Plus, Plus, 1, 1, a, a, 1+a, a+1}

您可以看到列表中的最后两个表达式是1+a and a+1。两者都是（子）评估的结果。但实际输出是1+a所以我不明白为什么a+1位于评估链的末端？为什么没有a+1处于评估链的中间，就像在这种情况下一样Trace？这是一个错误吗？

附：这些结果重现于数学7.0.1 和 5.2。

The fp论证TraceScan用两个参数调用。第一个是原始的未计算表达式。二是评价结果。在你的例子中，第二个AppendTo正在使用第一个参数，因此您会看到未计算的表达式。改变# to #2然后你就会看到你期望的结果。

另请注意，第二个参数是not包装成HoldForm（尽管有文档），所以一般来说，必须小心使用一个保存其参数的函数fp论证以避免产生虚假的评估。

比较 Trace 和 TraceScan

的行为Trace在Mathematica 8 文档 http://reference.wolfram.com/mathematica/tutorial/TracingEvaluation.html。它指出，默认情况下，Trace只显示表情after头部和参数已被评估。因此，我们看到这样的序列：

In[28]:= SetAttributes[f, Orderless]
         Trace[f[a, 1]]
Out[29]= {f[a,1],f[1,a]}

仅显示输入表达式及其结果。这TraceOriginal选项控制（引用）“是否在计算头和参数之前查看表达式”。当该选项为True然后输出补充有头表达式和参数表达式：

In[30]:= Trace[f[a,1], TraceOriginal->True]
Out[30]= {f[a,1],{f},{a},{1},f[a,1],f[1,a]}

新列表的第一个元素是原始表达式before头部和参数被评估。然后我们看到头部和参数正在被评估。最后，我们看到顶级表达式again，在对 head 和参数进行求值之后。列表的最后两个元素与原始跟踪输出的两个元素匹配。

正如链接文档所述，Trace对于返回的表达式非常有选择性。例如，它完全省略了琐碎的评估链。TraceScan是全面的，并且为每个评估（无论是否琐碎）调用所提供的函数。您可以使用以下内容查看全面的评估集TraceScan表达：

TraceScan[Print, f[a,1], _, Print[{##}]&]

下表与生成的输出相匹配Trace有和没有TraceOriginal，以及输出TraceScan表达：

Trace   Trace    TraceScan
        Original

        f[a,1]   f[a,1]
                 f
        {f}      {f
                 ,f}
                 a
        {a}      {a
                 ,a}
                 1
        {1}      {1
                 ,1}
                 f[1,a]
                 {f[1,a]
                 ,f[1,a]}
f[a,1]  f[a,1]   {f[a,1]
f[1,a]  f[1,a]   ,f[1,a]}

鉴于该表的内部结构，对于哪个条目与哪个条目匹配存在一定程度的猜测Trace无法访问。进一步的实验可能会提供调整对齐的信息。然而，关键的一点是，所有由Trace可以使用TraceScan -- and TraceScan提供更多。