检查参数是否为浮点数，且不中断参数中的控制序列

Question 1

与更简单的整数情况相比，代码需要更多标记处理。我让函数可扩展，因此这也增加了一些代码，但事实并非如此那很多。

首先，该函数使用\detokenize来确保 TeX 以后不会尝试扩展任何奇怪的东西。之后，代码继续使用删除可能的整数部分和可能的符号\romannumeral-0#1（以及一些其他东西），然后代码删除可能的小数分隔符，并删除尾随的小数部分。之后，代码检查剩余的标记列表是否为空。如果是，则参数是有效数字，否则不是。

测试一些可能性，返回所需的输出：

代码可扩展意味着您可以执行以下操作：

\def\TestIfIsAPositiveNumber#1{%
  \ifdim
    \TestNumber{#1}{#1}{-1}pt
      > 0pt
    Positive :)
  \else
    Negative or weird :(
  \fi
}

并获得预期的输出。

代码如下：

\documentclass{article}
\makeatletter
\def\TestNumber#1{%
  \Test@ifempty{#1}%
    {\@secondoftwo}%
    {\expandafter\Test@integer\expandafter{\detokenize{#1}}}}%
\def\Test@integer#1{%
  \expandafter\Test@after@integer\expandafter{%
    \romannumeral-0\expandafter\Test@remove@leading@minus\expandafter{%
      \romannumeral-0\number0#1}}}
\def\Test@after@integer#1{%
  \expandafter\Test@ifempty\expandafter{%
    \romannumeral-0\Test@remove@leading@dot{#1}}}
\def\Test@remove@leading@minus#1{%
  \Test@remove@leading-{#1}}
\def\Test@remove@leading@dot#1{%
  \Test@remove@leading.{#1}}
\def\Test@remove@leading#1#2{%
  \Test@ifempty{#2}{}%
    {\Test@@remove@leading#1#2\qstop}}
\def\Test@@remove@leading#1#2#3\qstop{%
  \if\noexpand#1\noexpand#2%
    \expandafter\@firstoftwo
  \else
    \expandafter\@secondoftwo
  \fi{#3}{#2#3}}
\def\Test@ifempty#1{%
  \if\relax\detokenize{#1}\relax
    \expandafter\@firstoftwo
  \else
   \expandafter\@secondoftwo
  \fi}
\makeatother
\begin{document}
\def\test#1{\texttt{\detokenize{#1} = }\TestNumber{#1}{Number}{Not a number}\par}
\test{0}
\test{1}
\test{-1}
\test{.23}
\test{-.23}
\test{1.23}
\test{-1.23}
\test{\textbf{1.23}}
\end{document}

或者，使用更简单（但不可扩展）的版本l3regex（表达式是从复制而来，并根据interface3更改了控制空间，与匹配）：\␣\s[\ \^^I\^^J\^^L\^^M]

\documentclass{article}
\usepackage{xparse}
\ExplSyntaxOn
\regex_const:Nn \c_jessepeng_float_regex { ^[\+\-\s]*(\d+|\d*\.\d+)\s*$ }
\NewDocumentCommand \TestNumber { m m m }
  { \jessepeng_if_float:nTF {#1} {#2} {#3} }
\prg_new_protected_conditional:Npnn \jessepeng_if_float:n #1 { T, F, TF }
 {
   \regex_match:NnTF \c_jessepeng_float_regex {#1}
     { \prg_return_true: }
     { \prg_return_false: }
 }
\ExplSyntaxOff
\begin{document}
\def\test#1{\texttt{\detokenize{#1} = }\TestNumber{#1}{Number}{Not a number}\par}
\test{0}
\test{1}
\test{-1}
\test{.23}
\test{-.23}
\test{1.23}
\test{-1.23}
\test{\textbf{1.23}}
\end{document}

它产生相同的结果，但速度慢得多并且不可扩展。

Answer

与更简单的整数情况相比，代码需要更多标记处理。我让函数可扩展，因此这也增加了一些代码，但事实并非如此那很多。