理解 \newif 定义时遇到问题

Question

让我们看看

\expandafter\expandafter\expandafter
\def\@if\iffoo{true}{\let\iffoo=\iftrue}%

回顾定义\@if：

\def\@if#1#2{\csname\expandafter\if@\string#1#2\endcsname}

第一个\expandafter展开第三个，这又导致的展开\@if，它有两个参数；在本例中，它们是

#1<-\iffoo
#2<-true

我使用 TeX 常用的方法来显示分配了哪些参数。所以我们剩下

\expandafter\def\csname\expandafter\if@\string\iffoo true\endcsname

现在，余下的\expandafter将触发的扩展\csname，我记得，它会进行详尽的扩展，直到找到匹配的\endcsname。因此，为了知道将生成什么控制序列名称，我们必须跟踪之后所有标记的扩展\csname。

第一个标记是\expandafter，这导致的扩展\string；由于\escapechar是 -1，所以我们剩下

\if@ iffootrue\endcsname

由于其定义，\if@删除i和f并留下footrue；所以我们有

\def\footrue{\let\iffoo=\iftrue}

现在定义的程序是相同的\foofalse。

的定义\if@是间接的，因为它后面必须跟着类别代码为 12 的i和，因为由产生的所有字符标记都有类别代码 12（空格除外）。f\string

您认为 TeX 会记住已扩展的想法是错误的\expandafter：此标记在触发其后的第二个标记的扩展后就消失了。另外，说它们两个互相省略也是不正确的。

注 1：在几个地方有一个明显的空格，但实际上没有；它只是为了区分一个标记与另一个标记。值得注意的是，在中有一个，\string\iffoo true在中有一个\if@ iffootrue。

注 2：这是不是LaTeX 内核中的定义\newif，其中使用了简化版本，它不检查之后的控制序列是否\newif具有以开头的名称if（如书中所述\newif）。

\newif只是为了好玩，下面是如何在中实现的expl3。当然，这只是一个练习，用来表明人们可以获得“更清晰”的编程。

\documentclass{article}
\usepackage{xparse,l3regex}

\ExplSyntaxOn
\NewDocumentCommand{\xnewif}{ m }
 {
  \xnewif_newif:N #1
 }

\tl_new:N \l__xnewif_name_tl

\msg_new:nnnn { xnewif } { bad~input }
 { #2 }
 { The~argument~\token_to_str:N #1 is~#2;~fix~it }

\cs_new_protected:Npn \xnewif_newif:N #1
 {
  \cs_if_exist:NTF #1
   {% the control sequence is already defined, stop
    \msg_error:nnnn { xnewif } { bad~input } { #1 } { already~defined }
   }
   {% the control sequence is undefined, go on
    \__xnewif_newif_do:N #1
   }
 }

\cs_new_protected:Npn \__xnewif_newif_do:N #1
 {
  \tl_set:Nx \l__xnewif_name_tl { \cs_to_str:N #1 }
  \regex_replace_once:nnNTF { \A if } { } \l__xnewif_name_tl
   {% the name of the control sequence starts with `if', go on
    \cs_gset_eq:NN #1 \if_false: % start globally false
    \cs_new:cpn { \l__xnewif_name_tl true } % define \if...true
     {
      \cs_set_eq:NN #1 \if_true:
     }
    \cs_new:cpn { \l__xnewif_name_tl false } % define \if...false
     {
      \cs_set_eq:NN #1 \if_false:
     }
   }
   {% the name of the control sequence doesn't start with `if', stop
    \msg_error:nnnn { xnewif } { bad~input } { #1 } { not~starting~with~`if' }
   }
 }

\ExplSyntaxOff

% Test
\xnewif\iffoo
\show\iffoo
\footrue
\show\iffoo
\foofalse
\show\iffoo

\xnewif\isss
\xnewif\iffoo

这是终端上的输出

> \iffoo=\iffalse.
l.50 \show\iffoo

? 
> \iffoo=\iftrue.
l.52 \show\iffoo

? 
> \iffoo=\iffalse.
l.54 \show\iffoo

? 

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!
! xnewif error: "bad input"
! 
! not starting with `if'
! 
! See the xnewif documentation for further information.
! 
! For immediate help type H <return>.
!...............................................  

l.56 \xnewif\isss

? 

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!
! xnewif error: "bad input"
! 
! already defined
! 
! See the xnewif documentation for further information.
! 
! For immediate help type H <return>.
!...............................................  

l.57 \xnewif\iffoo

Answer 1