wolfram-mathematica - 制作简化的MakeBox

模仿MakeBoxes仅在其行为方面进行重现的最简单方法是：将仅包含不带FormatValues的符号的正确表达式转换为BoxForms：

Trace[MakeBoxes[graphics[disk[]], StandardForm], TraceInternal -> True]

此函数应像MakeBoxes那样递归。真正令人困惑的是如何将disk[]转换为RowBox[{"disk", "[", "]"}]避免解析原始表达式的字符串表示形式。

附言这个问题来自previous question。

最佳答案

我认为您无法避免以一种或另一种方式进行解析或字符串转换-最后，您需要字符串，并且您从符号开始。您要么以某种方式reuse MakeBoxes，要么必须处理字符串。拖拉我的代码：以下简单的制箱功能基于发布在here上的Mathematica解析器（我在此处的第二篇文章，在页面底部）：

Clear[toBoxes];
toBoxes[expr_] :=
  First[parse[tokenize[ToString@FullForm[expr]]] //. {
    head_String[elem_] :>    RowBox[{head, "[", elem, "]"}],
    head_String[elems___] :>  RowBox[{head, "[", RowBox[Riffle[{elems}, ","]], "]"}]}]

如果您不想解析但不介意ToString，则可以对上述内容稍作改动：

toBoxesAlt[expr_] :=
  expr /. s_Symbol :> ToString[s] //. {
     head_String[elem_] :> RowBox[{head, "[", elem, "]"}],
     head_String[elems___] :>  RowBox[{head, "[", RowBox[Riffle[{elems}, ","]], "]"}]}

请注意，最后一个函数不涉及任何解析，然后，我们需要：

Clear[MakeBoxesStopAlt];
MakeBoxesStopAlt /: MakeBoxes[MakeBoxesStopAlt[expr_], form_] :=  toBoxes[expr]

例如：

In[327]:= MakeBoxesStopAlt[Graphics[Disk[]]]

Out[327]= Graphics[Disk[List[0, 0]]]

如果我的实现看起来太复杂，则可能要重新实现解析器，尽管我的效率很高。

编辑

这是一种非常简单且可能很慢的解析方法：函数tokenize与以前的相同，为方便起见，我将其重新发布在这里：

tokenize[code_String] :=
 Module[{n = 0, tokenrules},
   tokenrules = {"[" :> {"Open", ++n}, "]" :> {"Close", n--},
     Whitespace | "" ~~ "," ~~ Whitespace | ""};
   DeleteCases[StringSplit[code, tokenrules], "", Infinity]];

这是解析函数：

parseSimple[tokenized_] :=
  First[tokenized //. {left___,
     Shortest[
       PatternSequence[h_, {"Open", n_}, elems___, {"Close", n_}]], right___} :>
       {left, h[elems], right}];

您可以使用它代替parse，然后这两个函数构成了解析器的独立解决方案。

与我对上一个问题的回答相同的注释是按顺序排列的：如果要处理/不允许表达式求值，请在需要的地方添加适当的属性和Unevaluated包装器。

编辑2

这是makeBoxes的一个版本，该版本不涉及解析，不泄漏评估并且可以正确处理嵌套头（至少对于某些简单测试而言）：

Clear[handleElems];
handleElems[] := Sequence[];
handleElems[el_] := el;
handleElems[els__] := RowBox[Riffle[{els}, ","]];

ClearAll[makeBoxes];
SetAttributes[makeBoxes, HoldAllComplete];
makeBoxes[ex_] :=
 Block[{makeBoxes},
   SetAttributes[makeBoxes, HoldAllComplete];
   makeBoxes[expr_ /;!FreeQ[Unevaluated[expr],
        s_ /; AtomQ[Unevaluated[s]] && ! StringQ[Unevaluated[s]]]] :=
     makeBoxes[#] &@(Unevaluated[expr] /.
          s_ /; AtomQ[Unevaluated[s] && ! StringQ[Unevaluated[s]]] :>
                  ToString[Unevaluated[s]]);

   makeBoxes[a_ /; AtomQ[Unevaluated[a]]] := a;

   makeBoxes[expr_] /; MatchQ[expr, h_String[___]] :=
        expr //. {
           (h : ("Rule" | "RuleDelayed"))[l_, r_] :>
                 RowBox[{l, h /. {
                           "Rule" -> "\[Rule]",
                           "RuleDelayed" -> "\[RuleDelayed]"
                         }, r}],
           "List"[elems___] :> RowBox[{"{", handleElems[elems], "}"}],
           head_String[elems___] :> RowBox[{head, "[", handleElems[elems], "]"}]
        };

   makeBoxes[expr_] :=
       RowBox[{makeBoxes[#] &@Head[expr], "[",
           handleElems @@ (makeBoxes @@@ expr), "]"}];

   makeBoxes @@ (HoldComplete[ex] /. s_String :>
       With[{eval = StringJoin["\"", s, "\""]}, eval /; True])
];

使用示例：

In[228]:= a=1;b=2;c = 3;

In[229]:= makeBoxes[a:>b]
Out[229]= RowBox[{a,:>,b}]

In[230]:= makeBoxes[a->b]
Out[230]= RowBox[{a,->,b}]

In[231]:= makeBoxes[{a,{b,c}}]
Out[231]= RowBox[{{,RowBox[{a,,,RowBox[{{,RowBox[{b,,,c}],}}]}],}}]

In[232]:= makeBoxes[a[b][c]]
Out[232]= RowBox[{RowBox[{a,[,b,]}],[,c,]}]

In[233]:= makeBoxes[a[b[e[],f[]],c[g[],h[]]][x,y]]

Out[233]= RowBox[{RowBox[{a,[,RowBox[{RowBox[{b,[,RowBox[{RowBox[{e,
   [,]}],,,RowBox[{f,[,]}]}],]}],,,RowBox[{c,[,RowBox[{RowBox[{g,[,]}],,,
    RowBox[{h,[,]}]}],]}]}],]}],[,RowBox[{x,,,y}],]}]

在所有测试的情况下，输出均与MakeBoxes相同。

关于wolfram-mathematica - 制作简化的MakeBox，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/6536040/