Problema ao analisar o nome do arquivo em expl3

Problema ao analisar o nome do arquivo em expl3

Estou tentando analisar a extensão do arquivo de um caminho fornecido pelo usuário em expl3. Eu tenho a extensão do arquivo, mas não consigo compará-la com a extensão de arquivo esperada. Meu MWE é

\documentclass[]{article}
\usepackage{expl3}
\usepackage{xparse}

\ExplSyntaxOn
\ior_new:N \g_slo_input_stream_ior
\tl_new:N \l_slo_input_dir_tl
\tl_new:N \l_slo_input_base_tl
\tl_new:N \l_slo_input_ext_tl
\cs_generate_variant:Nn \tl_if_eq:nnTF { V }

\cs_new:Nn \slo_open_file:n {
    \file_parse_full_name:nNNN { #1 } \l_slo_input_dir_tl \l_slo_input_base_tl \l_slo_input_ext_tl

    \tl_if_eq:VnTF \l_slo_input_ext_tl { .abc } { 
        #1~is~.abc-file.
    } { 
        #1~is~\l_slo_input_ext_tl-file,~expected~.abc-file.
    }
}
\NewDocumentCommand { \abcfile } { m } { \slo_open_file:n { #1 } }
\ExplSyntaxOff

\begin{document}
    \abcfile{example.test} \par
    \abcfile{filename.abc}
\end{document}

que produz

example.test is .test-file, expected .abc-file.
filename.abc is .abc-file, expected .abc-file.

enquanto eu esperava

example.test is .test-file, expected .abc-file.
filename.abc is .abc-file

Pelo que entendi, a comparação \tl_if_eqfalha. Por que?

Responder1

Conforme documentado, \file_parse_full_name:nNNNfornece os valores 'retur' como strings, não como listas de tokens. Isso quer dizer que todos os caracteres possuem o código de categoria 12 ('outros'), barras de espaço que são o código de categoria 10 ('espaço'). A tlcomparação verifica os tokens, portanto aqui os códigos de categoria são importantes. Seu literal ' .abc' possui código de categoria 11 ('letter') abc, então o teste falha.

Na maioria das vezes, e certamente aqui, provavelmente é melhor usar os testes baseados em strings para verificar 'texto'. Isso analisa apenas os códigos de caracteres, então não precisamos nos preocupar com o negócio dos códigos de categoria.

\cs_new_protected:Npn \slo_open_file:n #1
  {
    \file_parse_full_name:nNNN {#1}
      \l__slo_input_dir_tl
      \l__slo_input_base_tl
      \l__slo_input_ext_tl
    \str_if_eq:VnTF \l__slo_input_ext_tl { .abc }
      { #1 ~is~.abc~file. }
      { #1~is~\l__slo_input_ext_tl-file,~expected~.abc-file. }
  }

informação relacionada