如何解开 edef 语句中的明显递归？

Question 1

首先对您的代码进行一些一般性评论：

在 LaTeX 中，使用\bfseries代替\bf和\ttfamily代替\tt。自 20 多年前 LaTeX2ε 发布以来，2 个字母的字体更改命令已经过时。

\global\edef可以缩写为\xdef。但是，宏不会创建组级别，因此由于您在没有任何分组层的情况下使用了这一切，因此\global这里的分配是不必要的（当然，除非您在实际代码中需要它，那么请忽略这一点）。

打印命令名称的一个技巧是，您\ttt command可以使用来实现\ttfamily\string\command，或者，如果您定义了\def\ttt{\ttfamily\string}，那么\ttt\command。

有一点非常重要：不要多次分配寄存器。这样只会耗尽可用寄存器的数量。分配一次寄存器，然后根据需要多次使用它们。我移出了\newcount\chNum宏定义。

在数字赋值中，TeX 已经理解了\chNum=`#1如何获取字母常量的数值；在这里你不需要（但也不会有什么坏处）。此外，这里也不需要周围\numexpr的额外一对括号。`#1\numexpr

现在开始\testAppendOne。代码

\chNum=\numexpr(`#1)%
\chardef\myCh=\chNum%
\appendChar{\char\myCh}%

将两个标记附加\char\myCh到\resultStr。但是，由于\char基元不可扩展，的内容\resultStr在\char\myCh第一次迭代之后、\char\myCh\char\myCh第二次迭代之后，依此类推。当您要求 TeX 写入的内容时，它将\resultStr使用\char\myCh\char\myCh...并将\myCh最后一个值分配给它，这将是您处理的最后一个字母，因此您会看到这样的行为。

当你处理时a \myCh，\char"61也会\char\char"61是a。很明显。当你处理b \myCh时\char"62，\char\char"62\char\char"62也会是，bb依此类推。要解决这个问题，你必须给出\appendChar一些即使改变也不会改变的东西\myCh。代码

\chNum=\numexpr(`#1)%
\chardef\myCh=\chNum%
\appendChar{\char\myCh}%

是多余的。在将其传递给之前，您不需要使用\chardef字符\char。正如您自己使用完成反斜杠一样\char92，您可以在此处使用数字：

\chNum=`#1
\appendChar{\char\chNum}%

甚至：

\appendChar{\char`#1}%

这将会传递\char`<some number which will not change>下去\appendChar，你就会得到你想要的。

但为什么\char\the\myCh中的\testAppendTwo有效？因为原语\the将访问中的值\myCh。假设\myCh是\char"61( a)，那么\the\myCh将是"61(十六进制) 或97。因此代码

\chNum=\numexpr(`#1)%
\chardef\myCh=\chNum
\showthe\myCh
\appendChar{\char\the\myCh}%

也是多余的，因为\the\myCH将访问中的数字\myCh，即\chNum，因此可以简化为：

\chNum=\numexpr(`#1)%
\appendChar{\char\chNum}%

\testAppendThree是一样的，只不过\the\chNum会获取寄存器中的值\count而不是\char。但它们是相同的，因此结果是相同的（并且与 : 的修改版本相同\testAppendTwo）。

现在进入第二部分，如何调试 TeX 代码... 好吧... 你其实并不想进入这里。如果你不进入这里，你会更开心（只是开玩笑... 还是我开玩笑？）。

您的代码相当简单，因此我设法仅使用\show和来调试它\showthe。它们都用作\show<macro>和\showthe<register>。

\show将宏的内容打印到控制台。例如，如果我将你的\appendChar宏更改为：

\def\appendChar#1{% Append argument character to string
  \xdef\resultStr{\resultStr#1}%
  \show\resultStr
  \par{\ttfamily~\RLp#1\RRp~~~\RLb\resultStr\RRb}\par%
}

运行\testAppendOneTeX 将在终端中显示以下内容：

> \resultStr=macro:
->\char \myCh .
\appendChar #1->\xdef \resultStr {\resultStr #1}\show \resultStr 
                                                                 \par {\ttfamily ~\RLp #1\RRp ~~~\RLb \resultStr \RRb }\par 
l.63 \useMacro{\testAppendOne}

?

然后，如果我按<return>，它会显示：

> \resultStr=macro:
->\char \myCh \char \myCh .
\appendChar #1->\xdef \resultStr {\resultStr #1}\show \resultStr 
                                                                 \par {\ttfamily ~\RLp #1\RRp ~~~\RLb \resultStr \RRb }\par 
l.63 \useMacro{\testAppendOne}

?

（注意第二行）。这向我展示了为什么你\testAppendOne像我之前描述的那样多次打印同一封信。

\showthe类似，但它显示的是寄存器的值。例如，如果你想查看寄存器的值，\chNum可以使用\showthe\chNum。

这两个宏具有等效项，它们不是打印到控制台（和日志），而是打印到 PDF。\meaning<macro>将打印的定义<macro>并\the<register>打印其值。

调试不够？

你可以使用\tracingall宏，它告诉 TeX“给我你要展示的所有内容”（然后\tracingnone告诉它何时停止），然后你的控制台将充满文本。通过一些练习，你将学会如何阅读它。

您还可以加载trace包并使用\traceon/ \traceoff，这将隐藏一些打印相当长的跟踪文本的代码步骤，例如 LaTeX 的字体选择系统。

还不够吗？

加载\usepackage{unravel}（毕竟你要求解开 :) 并使用\unravel{<code which is keeping you awake at night>}，包将逐步向您展示 TeX 正在做什么。当你被一些令人讨厌的代码卡住时，它非常有用。请注意，这个分步说明是真的彻底，所以可能需要几个步骤\unravel{\useMacro{\appendChar}}：）

Answer