☰

Как в expl3 проверить, содержит ли что-либо после полного раскрытия какой-либо символ, принадлежащий классам 11 или 12?

tag-icon • tag-icon expl3 expansion programming
Как в expl3 проверить, содержит ли что-либо после полного раскрытия какой-либо символ, принадлежащий классам 11 или 12?

Мне интересно, в expl3синтаксисе (не используя самые последние дополнения, скажем, дополнения, сделанные после 2018 года [ничего особенного в 2018 году, это просто произвольная дата, чтобы сказатьне слишком недавний]) как проверить, если что-топосле полного расширениясодержитлюбой персонаж, принадлежащий к классам 11 или 12?

\documentclass[preview = true, varwidth = true]{standalone}
\usepackage{xparse}

\NewExpandableDocumentCommand{\mytest}{m m m}{
    % CODE HERE
}

\newcommand{\myempty}{}
\newcommand{\mywhitespace}{ }
\newcommand{\myquad}{\qquad}
\newcommand{\myrelax}{\relax}
\newcommand{\mystring}{ x }

\begin{document}
\begin{tabular}{c}
\mytest{\myempty}{true}{false} \\        % false
\mytest{\mywhitespace}{true}{false} \\   % false
\mytest{\myquad}{true}{false} \\         % false
\mytest{\myrelax}{true}{false} \\        % false
\mytest{\mystring}{true}{false} \\       % true
\end{tabular}
\end{document}

Если я использую \tl_if_blank:nTF, это не работает:

\documentclass[preview = true, varwidth = true]{standalone}
\usepackage{xparse}

\ExplSyntaxOn
\cs_generate_variant:Nn \tl_if_blank:nTF{eTF}
\NewExpandableDocumentCommand{\mytest}{m m m}{\tl_if_blank:eTF{#1}{#3}{#2}}
\ExplSyntaxOff

\newcommand{\myempty}{}
\newcommand{\mywhitespace}{ }
\newcommand{\myquad}{\qquad}
\newcommand{\myrelax}{\relax}
\newcommand{\mystring}{ x }

\begin{document}
\begin{tabular}{c}
\mytest{\myempty}{true}{false} \\      % false: OK
\mytest{\mywhitespace}{true}{false} \\ % false: OK
\mytest{\myquad}{true}{false} \\       % true: PROBLEM
\mytest{\myrelax}{true}{false} \\      % true: PROBLEM
\mytest{\mystring}{true}{false} \\     % true: OK
\end{tabular}
\end{document}

решение1

Предполагая, что мы можем обрабатывать группы фигурных скобок только на верхнем уровне, и это {E}эквивалентно E, тогда мы можем сделать

\ExplSyntaxOn
\prg_new_conditional:Npnn \vincent_if_blank:n #1 { p , T , F , TF }
  { \exp_args:Ne \__vincent_if_blank:n {#1} }
\cs_new:Npn \__vincent_if_blank:n #1
  {
    \tl_if_blank:nTF {#1}
      { \prg_return_true: }
      {
        \tl_map_function:nN {#1} \__vincent_if_blank_aux:n
        \prg_return_true:    
      }
  }
\cs_new:Npn \__vincent_if_blank_aux:n #1
  {
    \tl_if_single_token:nTF {#1}
      {
        \bool_lazy_or:nnT
          { \token_if_letter_p:N #1 }
          { \token_if_other_p:N #1 }
          { \tl_map_break:n { \use_i:nn \prg_return_false: } }
      }
      { \tl_map_break:n { \use_i:nn \prg_return_false: } }
      
  }
\NewExpandableDocumentCommand{\mytest}{m m m}{\vincent_if_blank:nTF{#1}{#3}{#2}}
\ExplSyntaxOff

Усовершенствование управления скобами возможно, но вопрос не дает четкого определения ожиданий в этой области.

Проблема усложняется чем-то вроде \qquadexpands to \hskip 2em\relax, и тогда это действительно содержит токены catcode-11 и 12. Если предположить, что такие случаи могут быть охвачены

\usepackage{etoolbox}
\robustify\qquad

затем мы можем продолжить получать желаемые результаты с помощью предложенного кода.

Связанный контент