为什么花括号会破坏这个循环？

Question 1

{...} 形成一个组，并且\advance\ii by 1是一个本地分配，因此在组结束时恢复。

所以\ii始终为 0\ifnum\ii<#2并且永远循环。

你的定义可能根本不适合用纯文本，如果你使用纯文本，你会得到错误

Runaway definition?
#1#2-> 
! Forbidden control sequence found while scanning definition of \punishment.
<inserted text> 
                }
<to be read again> 
                   \newcount 
l.2     \newcount
                 \ii\ii=0
?

\newcount因为\outer定义中不允许这样。

在乳胶中这不是一个错误，但你仍然应该移出\newcount定义，这样每次使用宏时你只分配一个计数器而不是一个新的计数器。

Answer

{...} 形成一个组，并且\advance\ii by 1是一个本地分配，因此在组结束时恢复。

所以\ii始终为 0\ifnum\ii<#2并且永远循环。

你的定义可能根本不适合用纯文本，如果你使用纯文本，你会得到错误

Runaway definition?
#1#2-> 
! Forbidden control sequence found while scanning definition of \punishment.
<inserted text> 
                }
<to be read again> 
                   \newcount 
l.2     \newcount
                 \ii\ii=0
?

\newcount因为\outer定义中不允许这样。

在乳胶中这不是一个错误，但你仍然应该移出\newcount定义，这样每次使用宏时你只分配一个计数器而不是一个新的计数器。

Question 2

括号在 TeX 中有双重作用：

它们可以用来组成一个组，或者
它们可以包含一个未限定宏的参数。

在后一种情况下，没有团体参与：如果你这样做

\def\foo#1{(#1)}
\foo{\it italics} and still italics

您将看到\it没有作用域，但继续。实际上，传递给的参数\mytext只是italics宏替换产生

(\it italics) and still italics

相反，如果你这样做

\def\foo{(}
\foo{\it italics} and upright text

你会得到

({\it italics} and upright text

因为没有参数抓取，所以孤立的左括号打开了一个组。

现在我们可以看看的定义\loop：

527 \def\loop#1\repeat{\def\body{#1}\iterate}
528 \def\iterate{\body \let\next\iterate \else\let\next\relax\fi \next}
529 \let\repeat=\fi % this makes \loop...\if...\repeat skippable

（行号参见plain.tex）。嗯，\loop好像需要争论，不是吗？

是的，但论点是分隔并由直到第一次出现\repeat在同一括号级别的所有内容组成。在这种情况下，只有当参数的形式为

{<tokens>}

并且剥去外面的牙套不会导致牙套不平衡。

就你的情况而言

{•\advance\ii by•1•\message{\the\ii}•{#1}•}•\ifnum\ii<#2•

其中•表示空格标记，因此不会剥离括号，而独立的左括号会打开一个组。在组的末尾，的值\ii会恢复到以前的值，这解释了为什么您总是得到1，因为在组\ii返回后会返回的值0。

如果你这样做

\newcount\ii\ii=0
\def\punishment#1#2{
    \loop {
        \advance\ii by 1 
        \message{\the\ii}
        {#1}
    \ifnum\ii<#2 }\repeat
}

你会发现它起作用了，因为外面的支架被剥掉了，没有留下不平衡的支架。

当然，这不是编写循环的最佳方法，原因如下：

那些外括号毫无用处，并且影响了代码的可读性；
存在大量虚假空间；
没有换行。

请注意，\newcount在纯 TeX 中是外部的（您不应该使用 LaTeX 测试纯 TeX 代码），所以它不能出现在宏的替换文本中，所以我将它移到外面。

初始化\ii=0应该放在宏内部。

\newcount\ii
\def\punishment#1#2{%
  \ii=0
  \loop
    \advance\ii by 1 
    \message{\the\ii}%
    #1\endgraf % \par wouldn't work in plain
  \ifnum\ii<#2\repeat
}

我不会在周围使用括号#1。为什么\repeat就在之后#2？

好的，我们来做个测试。

\newcount\ii
\def\punishment#1#2{%
  \ii=0
  \loop
    \advance\ii by 1 
    \message{\the\ii}%
    #1
  \ifnum\ii<#2
\repeat
}

\newcount\test
\test=4

\punishment{Test}{4}

\punishment{Test}{\test}

\bye

输出应该是一样的，不是吗？

移动\repeat或添加\relax紧接着#2获得

练习：找出原因。

Answer