Сохранить необработанный токен в переменную — expl3

Question

Я хочу использовать \token_if_eq_meaning:NNсравнение значений всего двух токенов.

У меня есть такой список токенов {\langle\rangle}, который сохранен через

\tl_set:Nn \my_tokens_list {\langle\rangle}

Как извлечь первый не зарезервированный токен из \my_tokens_listпеременной \my_first_tokenи выполнить сравнение?

\token_if_eq_meaning:NN \my_first_token \langle

Answer 1

Вы можете извлечь любой нужный вам элемент (при условии, что он находится в диапазоне) и выполнить сравнение.

\documentclass{article}

\ExplSyntaxOn

\NewExpandableDocumentCommand{\comparetokenTF}{sO{1}mmmm}
 {
  % #2 = position
  % #3 = token to compare with
  % #4 = token list
  % #5 = true text
  % #6 = false text
  \IfBooleanTF{#1}
   {
    \antshar_comparetoken:nnVnn { #2 } { #3 } #4 { #5 } { #6 }
   }
   {
    \antshar_comparetoken:nnnnn { #2 } { #3 } { #4 } { #5 } { #6 }
   }
 }

\cs_new:Nn \antshar_comparetoken:nnnnn
 {
  \int_compare:nTF { 1 <= #1 <= \tl_count:n { #3 } }
   {
    \__antshar_comparetoken:Nenn #2 { \tl_item:nn { #3 } { #1 } } { #4 } { #5 }
   }
   {
    Exceeded~range
   }
 }
\cs_generate_variant:Nn \antshar_comparetoken:nnnnn { nnV }

\cs_new:Nn \__antshar_comparetoken:Nnnn
 {
  \token_if_eq_meaning:NNTF #1 #2 { #3 } { #4 }
 }
\cs_generate_variant:Nn \__antshar_comparetoken:Nnnn { Ne }
\ExplSyntaxOff

\begin{document}

\comparetokenTF{\langle}{\langle\rangle}{T}{F} should give T

\comparetokenTF{\rangle}{\langle\rangle}{T}{F} should give F

\comparetokenTF[2]{\rangle}{\langle\rangle}{T}{F} should give T

\newcommand{\mytl}{\langle\rangle}

\comparetokenTF*{\langle}{\mytl}{T}{F} should give T

\comparetokenTF*{\rangle}{\mytl}{T}{F} should give F

\comparetokenTF*[2]{\rangle}{\mytl}{T}{F} should give T

\comparetokenTF*[3]{\rangle}{\mytl}{T}{F} (exceeded)

\end{document}

Единственная сложность заключается в том, что eрасширение дает результат в фигурных скобках, но мы можем удалить их с помощью вспомогательной функции.

Answer 2

По-видимому, вы не можете сохранить ни одного неиспользованного токена, но вы можете изменить его \token_if_eq_meaning:NNтак, чтобы он мог сам освобождать аргумент.

\tl_set:Nx \first_token { \tl_head:n {\langle\rangle} }
\exp_last_unbraced:NV \token_if_eq_meaning:NNTF \first_token \langle {Tr}{Fl}

Или даже в одну строку

\exp_last_unbraced:Nx \token_if_eq_meaning:NNTF { \tl_head:n {\langle\rangle} } \langle {Tr}{Fl}