为什么这个宏定义宏后面的字符会被吞噬？

Question 1

我仍在思考为什么会这样，但这次修订（拥抱\xx）给了你想要的东西。

我认为答案是，在使用中\temp\xx a b c，后面的空格\xx从 TeX 解析器的角度来看根本不是空格，而只是表示宏名称的结尾\xx。例如，如果您只放\xx A一行，您将看到它打印出来没有ABCA空格。因此，解析器认为尾随的“A”与相连\xx。也可以使用\temp\xx{} a b c，作为一种方式来告诉解析器空格是分隔符，而不仅仅是后面的下一个字符\xx。

\documentclass{article}
\begin{document}
\def\xx{ABC}
\def\temp #1 {\def\tempii{#1}}
\temp{\xx} a b c
\tempii\tempii
\end{document}

Answer

我仍在思考为什么会这样，但这次修订（拥抱\xx）给了你想要的东西。

我认为答案是，在使用中\temp\xx a b c，后面的空格\xx从 TeX 解析器的角度来看根本不是空格，而只是表示宏名称的结尾\xx。例如，如果您只放\xx A一行，您将看到它打印出来没有ABCA空格。因此，解析器认为尾随的“A”与相连\xx。也可以使用\temp\xx{} a b c，作为一种方式来告诉解析器空格是分隔符，而不仅仅是后面的下一个字符\xx。

\documentclass{article}
\begin{document}
\def\xx{ABC}
\def\temp #1 {\def\tempii{#1}}
\temp{\xx} a b c
\tempii\tempii
\end{document}

Question 2

为了清楚起见，我将用来表示空格标记•，因为它们在讨论中非常重要；以下代码示例中的空格应该被忽略。

的参数文本\temp是

#1•

而替换文本是

\def\tempii{#1}

您的电话\temp是

\temp\xx a•b•c•\tempii\tempii

请注意，在\xx宏的分隔符后面有一个空格；它是不是空格标记：没什么用，因为 TeX 总是忽略控制符后面的空格字（不控制符号）。后面的空格c来自代码中的行尾。

扫描后面的标记\temp（不进行扩展）以找到与参数文本匹配的标记，其中参数由空格分隔，因此#1结束\xx a，输入流的下一个状态是

\def\tempii{\xx a}b•c•\tempii\tempii

现在 TeX 执行定义并将其从输入流中删除：

b•c•\tempii\tempii

并将该部分b•c•传递到排版阶段。在扩展了的两个副本之后\tempii，这相当于已经输入了

b•c•\xx a\xx a

或者

b•c•ABCaABCa

这正是你所得到的。

如果你使用\?而不是\xx最后两行将被转换成

\temp\?•a•b•c•\tempii\tempii

因为\?是控制符号，而 TeX 不会忽略其后的空格。在这种情况下，结果将是

a•b•c•ABCABC

注意

\expandafter\temp\xx a•b•c
\tempii\tempii

会产生相同的结果，因为 TeX 的操作之后\expandafter会呈现

\temp ABCa•b•c

\?（当然，空格的约定与前面相同）。使用而不是\xx使用，您将获得相同的结果

\expandafter\temp\expandafter\xx\space a•b•c

因为 TeX 将会呈现

\temp\xx•a•b•c

事实上，只有在标记化过程中，控制字后的空格才会被忽略。

Answer