添加

Question 1

第四种情况实际上是 0110，1110 来自代码中的拼写错误：你的测试

E&=mc^2
+ {\ifnum0=`}\fi\blech{A&OK}\ifnum0=`{\fi}

是第六种情况的测试，应该是

E&=mc^2
+ \ifnum0=`{\fi\blech{A&OK}\ifnum0=`}\fi

反而。

这样就剩下{\iffalse}\fi...\iffalse{\fi}和了\bgroup...\egroup。根据 TeXbook，区别在于余额计数器的扩展版本。余额计数器用于宏定义，我们需要扩展，因此我们可以构建一个额外的测试：

可用于界定的定义\edef。

这将失败\bgroup...\egroup，因为

\edef\something\bgroup ABC\egroup

\bgroup ABC\egroup被解释为参数文本，而

\edef\something{\iffalse}\fi ABC\iffalse{\fi}

实际上，将其与环境相结合可以实现一个非常有趣的黑客攻击：您可以在宏中捕获环境的完全扩展内容：

\newenvironment{EDEF}[1]{\xdef#1{\iffalse}\fi}{\iffalse{\fi}}
\begin{EDEF}\ABCD
  Something interesting
\end{EDEF}

这将宏定义\ABCD为的完整展开Something interesting。

Answer

第四种情况实际上是 0110，1110 来自代码中的拼写错误：你的测试

E&=mc^2
+ {\ifnum0=`}\fi\blech{A&OK}\ifnum0=`{\fi}

是第六种情况的测试，应该是

E&=mc^2
+ \ifnum0=`{\fi\blech{A&OK}\ifnum0=`}\fi

反而。

这样就剩下{\iffalse}\fi...\iffalse{\fi}和了\bgroup...\egroup。根据 TeXbook，区别在于余额计数器的扩展版本。余额计数器用于宏定义，我们需要扩展，因此我们可以构建一个额外的测试：

可用于界定的定义\edef。

这将失败\bgroup...\egroup，因为

\edef\something\bgroup ABC\egroup

\bgroup ABC\egroup被解释为参数文本，而

\edef\something{\iffalse}\fi ABC\iffalse{\fi}

实际上，将其与环境相结合可以实现一个非常有趣的黑客攻击：您可以在宏中捕获环境的完全扩展内容：

\newenvironment{EDEF}[1]{\xdef#1{\iffalse}\fi}{\iffalse{\fi}}
\begin{EDEF}\ABCD
  Something interesting
\end{EDEF}

这将宏定义\ABCD为的完整展开Something interesting。

Question 2

也许我应该添加一些关于\iffalse{\fi\ifnum`}=\z@\fi ... ifnum`{=\z@\fi\iffalse}\fi黑客的解释（请注意，预期用法是按此顺序使用“分隔符”：我从来没有打算建议以翻转的顺序使用它们，即ifnum`{=\z@\fi\iffalse}\fi ... \iffalse{\fi\ifnum`}=\z@\fi）。

在发表评论之前，我一直在想，原帖作者想要通过@egreg 的回答。我懒得去看tabstackengine包的代码，尽管如此，我还是隐约感觉到他在寻找一个括号 hack，用来“包装”命令或环境的定义，这样：

&如果命令或环境恰好在外部对齐的上下文中使用，则命令参数或环境内容中的(或) 标记的出现\cr将被“屏蔽”，而不会被解释为属于外部对齐；
另一方面，括号不应该在胃中“执行”，这意味着不会创建任何子组或子公式，从而允许正确解释数学原子并防止在命令或环境内部发出的定义被视为本地的。

鉴于这些要求，黑客几乎不费吹灰之力。事实上，例如，请考虑以下 @egreg 建议的代码补丁的替代方案tabstackengine：

\makeatletter
\renewcommand\ensureTABstackMath[1]{%
  \iffalse{\fi\ifnum`}=\z@\fi
  \let\sv@TABmode\TAB@delim\TABstackMath#1\let\TAB@delim\sv@TABmode
  \ifnum`{=\z@\fi\iffalse}\fi
}
\makeatother

回想一下，TeX 在读取对齐条目时会扩展标记（与对齐前言的情况形成对比）。现在，\iffalse{\fi即使括号本身被丢弃并且没有添加到当前标记列表中，也会增加主计数器，如第 385 页所述TeXbook；另一方面，以下\ifnum`}=\z@\fi（其中，一般来说，我们需要建立一个具有正确平衡括号的定义——注意它是不是在这个特殊情况下，我们可以简单地说

\makeatletter
\renewcommand\ensureTABstackMath[1]{%
  \iffalse{\fi
  \let\sv@TABmode\TAB@delim\TABstackMath#1\let\TAB@delim\sv@TABmode
  \iffalse}\fi
}
\makeatother

并且它会正常工作；还请注意，由于 TeX 不会扩展替换文本中的标记，因此它甚至没有意识到 in}是\ifnum`}=\z@\fi数字常数的一部分），\ifnum`}=\z@\fi我们说，以下不会改变主计数器；因此，净变化为 +1。对于ifnum`{=\z@\fi\iffalse}\fi主计数器的净变化为 -1 的情况，情况也类似，但实际上没有括号被贡献到当前标记列表中。

由于它对主计数器具有预期的效果，因此该构造可有效地将内部& 标记与外部对齐“屏蔽”在一起；由于没有大括号实际上到达 TeX 的胃部，因此该构造不会产生会干扰当前数学列表中原子连接的子公式，也不会产生会保持定义局部的子组。

最后，很明显这个习语不能用来界定扩展定义（\edef/ \xdef），因为它的行为恰恰相当于“一对括号，其存在的目的仅仅是为了嵌套对齐，而不用于其他目的”。

添加

需要注意的\iffalse{\fi\ifnum`}=\z@\fi ... \ifnum`{=\z@\fi\iffalse}\fi是，在本质上mhsetup，正是包（由调用mathtools）定义为\MH_group_align_safe_begin:/对的“括号式”习语对\MH_group_align_safe_end:。事实上，我们在中找到的定义mhsetup.sty是

\def \MH_group_align_safe_begin: {\iffalse{\fi\ifnum0=`}\fi}
\def \MH_group_align_safe_end:   {\ifnum0=`{}\fi}

其结果相同，但在结束“括号”的定义中使用更少的标记。让我们简单讨论一下它的工作原理。

当定义宏时，替换文本中的标记不会被“执行”，它们只是被存储起来以保持{/} 嵌套对的数量；由于两个宏的替换文本都包含平衡的 {/} 对，因此两个定义都得到正确执行。
另一方面，当 TeX 扫描对齐条目时，标记是扩展，这特别意味着条件被评估。现在：

a) 为了决定条目何时终止，只有主计数器才重要，条件语句中的数字常量 \ifnum0=`}\fi和\ifnum0=`{}\fi（正是因为条件语句而被评估的常量）的评估具有第 385 页中记录的效果TeXbook；从而根据需要\MH_group_align_safe_begin:增加主计数器，同时减少主计数器；\MH_group_align_safe_end:

b) 为了决定将哪些 token 转发到 TeX 的胃中，请注意，在上述定义中，全部括号被丢弃，因为它们出现在条件的错误分支中：这对于测试}内部的也是如此\ifnum0=`{}\fi，因为的 ASCII 码{不是零！

具体来说，b) 表明没有必要在的定义中在标记 \iffalse ... \fi周围添加第二个条件（即）。不幸的是，类似的技巧对不起作用（想想看）。}\MH_group_align_safe_end:\MH_group_align_safe_begin:

我希望能够在复活节假期期间进一步完善这个答案（如果到那时还没有其他人这样做的话！）。

Answer