读取已定义函数的代码（尤其是从 System` 上下文）的最佳方法是什么？

Question

有时我们喜欢研究某些 System` 函数是如何定义的（当它们在 Mathematica 中编写时）。这个问题是关于做到这一点的最佳方法。

需要记住的要点：

• 当然，需要首先删除 ReadProtected。

• 内置文件在加载到内核之前通常需要至少使用一次。当它们具有扩展功能（例如通过选项）时，单个简单调用通常足以满足此目的吗？

• 信息 (??) 以难以阅读的格式给出定义（没有缩进，并且所有私有上下文名称都在前面）。摆脱上下文名称并获取格式化代码的最佳方法是什么？

  ^{摆脱某些上下文的一个想法是Block[{$ContextPath = Append[$ContextPath, "SomeContext`Private`"], Information[symbol]]。可以使用 Workbench 自动格式化代码。仍然存在一些问题，例如 Information 没有引用字符串，导致代码无法复制到 Workbench 中。}

一般来说，我感兴趣的是人们如何做到这一点，他们使用什么方法用于使内置代码尽可能易于阅读。

用例：例如，最近我深入研究了 RunThrough 的代码，发现它根本无法在 Windows XP 上工作（事实证明，当路径他们包含空格）。

---

更新： 看来曾经是一个用于打印没有上下文前缀的定义的函数，Developer`ContextFreeForm，但它在新版本中不再起作用。

Answer 1

关于漂亮的打印：以下是一个非常示意性的代码，它建立在@Mr.Wizard的答案之上，以表明一些简单的规则可以对提高代码的可读性大有帮助：

Internal`InheritedBlock[{RunThrough},
   Unprotect[RunThrough];
   ClearAttributes[RunThrough, ReadProtected];
   Block[{$ContextPath = Append[$ContextPath, "System`Dump`"]},
      With[{boxes = ToBoxes@ DownValues[RunThrough]},
         CellPrint[Cell[BoxData[#], "Input"]] &[
            boxes /. 
            f_[left___, "\[RuleDelayed]", right___] :> 
                 f[left, "\[RuleDelayed]", "\n", right] //.
           {
             RowBox[{left___, ";", next : Except["\n"], right___}] :> 
                 RowBox[{left, ";", "\n", "\t", next, right}],
             RowBox[{sc : ("Block" | "Module" | "With"), "[", 
               RowBox[{vars_, ",", body_}], "]"}] :>
                 RowBox[{sc, "[", RowBox[{vars, ",", "\n\t", body}], "]"}]
           }]]]]

这肯定不是一个通用的解决方案（特别是在没有许多单独语句的情况下，它不能在深度嵌套的函数代码上很好地工作），但我确信它可以得到改进和泛化，而不会遇到太多麻烦来覆盖许多感兴趣的情况。

Answer 2

好问题，因为我认为我还没有看到这个问题的讨论。

我基本上做了你概述的同样的事情。您可以使用 Definition 获得稍有不同的打印输出，并使用 FullDefinition 获得更多信息：

Unprotect[RunThrough];

ClearAttributes[RunThrough, ReadProtected]

Block[{$ContextPath = Append[$ContextPath, "System`Dump`"]}, 
  Print @ FullDefinition @ RunThrough
]