![如何检查完全扩展任意标记序列的标记的尝试是否会产生错误?](https://linux22.com/image/395847/%E5%A6%82%E4%BD%95%E6%A3%80%E6%9F%A5%E5%AE%8C%E5%85%A8%E6%89%A9%E5%B1%95%E4%BB%BB%E6%84%8F%E6%A0%87%E8%AE%B0%E5%BA%8F%E5%88%97%E7%9A%84%E6%A0%87%E8%AE%B0%E7%9A%84%E5%B0%9D%E8%AF%95%E6%98%AF%E5%90%A6%E4%BC%9A%E4%BA%A7%E7%94%9F%E9%94%99%E8%AF%AF%EF%BC%9F.png)
如何检查完全扩展任意标记序列的标记的尝试是否会产生错误?
如何检查尝试完全扩展任意标记序列的标记是否会导致 catcode-1/2-braces 不平衡?
(对我来说,这些问题是检查任意标记序列是否适合形成数字或形成长度的问题的一部分。
例如,到目前为止我发现的所有数字检查都会因扩展所讨论的标记序列而产生错误消息或带有不平衡括号的内容,并出现错误消息。
例如,棘手的事情
\documentclass{article}
\makeatletter
\newcommand\Switch[2]{#2#1}%
\newcommand\InsertBraceAndCheckForEmptiness{%
\romannumeral0%
\Switch{ }{\expandafter\expandafter\expandafter}%
\expandafter\expandafter\expandafter\CheckIfEmpty
\expandafter\expandafter\expandafter{%
\expandafter\@gobble\string}%
}%
\newcount\tempcount
\newcommand\CheckWhetherInteger[1]{%
\afterassignment\InsertBraceAndCheckForEmptiness
\expandafter\@gobble\string{%
\tempcount=0#1}%
}%
\newcommand\CheckIfEmpty[1]{%
\if\relax\detokenize{#1}\relax
\expandafter\@firstoftwo\else\expandafter\@secondoftwo\fi
}%
\makeatother
\begin{document}
\CheckWhetherInteger{4}{Integer}{No Integer}
\CheckWhetherInteger{Text}{Integer}{No Integer}
\end{document}
不适用于类似的东西
\CheckWhetherInteger{\csname}{Integer}{No Integer}
或者
\CheckWhetherInteger{\@gobble}{Integer}{No Integer}
或者
\CheckWhetherInteger{\iffalse{\fi}}{Integer}{No Integer}
或者
\def\gobbletoclosebrace{%
\expandafter\expandafter\expandafter\@gobble
\expandafter\expandafter\expandafter{\expandafter\@gobble\string}%
}%
\CheckWhetherInteger{\gobbletoclosebrace}{Integer}{No Integer}
)