Mathematica - 为什么 TreeForm[Unevaluated[4^5]] 评估 4^5？

Question

如果我向 Mathematica 提供输入，

TreeForm[Unevaluated[4^5]]

我希望看到三个方框——幂、4 和 5。

相反，我看到一个带有 1024 的方框。有人能解释一下吗？

Answer 1

每次评估都会取消 未评估 级别，因此您可以通过以下方式获得所需内容：

TreeForm[Unevaluated@Unevaluated[4^5]]

Answer 2

比较

TreeForm@Unevaluated[4^5]  

与

TreeForm@Hold[4^5]  

来自帮助：

未评估[expr]
表示 expr 作为函数参数出现时的未计算形式。

和

保持[expr]
以未计算的形式维护 expr。

因此，当 Unevaluated[4^5] 到达 TreeForm 时...它会被求值...

它的工作原理如下：

f[x_+y_]:=x^y;
f[3+4]
(*
-> f[7]
*)
f[Unevaluated[3+4]]
(*
->81
*)