wolfram-mathematica - 对函数体评估感到困惑

Question

我对 Function 的以下行为感到困惑:

In[1]:= InlineCellInMessage=Function[expr,DisplayForm[Cell[BoxData[MakeBoxes[expr,StandardForm]],"Input"]],{HoldAllComplete}]
Out[1]= Function[expr,MakeBoxes[expr,StandardForm]]

我希望在输出中的 Function 中看到未计算的代码，如下例所示:

In[2]:= InlineCellInMessage=Function[x,x+1+1]
Out[2]= Function[x,x+1+1]

但是我在输出中得到了内联单元格。为什么会这样？

Answer 1

这是前端渲染的结果。考虑:

InlineCellInMessage = 
  Function[expr,DisplayForm[Cell[BoxData[MakeBoxes[expr,StandardForm]],"Input"]],{HoldAllComplete}]

InlineCellInMessage // InputForm

输出:

InputForm[Function[expr, DisplayForm[Cell[BoxData[MakeBoxes[expr, StandardForm]], "Input"]], {HoldAll.Complete}]]

此外，在此使用参数 HoldAllComplete 影响函数的 future 输入，而不是函数本身的创建。如果你想让 Function 本身有 HoldAllComplete 你需要:

SetAttributes[Function, HoldAllComplete]