Por que o personagem que segue essa macro de definição de macro é engolido?

Question 1

Ainda estou pensando por que isso acontece, mas esta revisão (abrangendo \xx) oferece o que você deseja.

Acho que a resposta é que, no uso \temp\xx a b c, o espaço depois \xxé, na visão do analisador TeX, não um espaço, mas apenas significa o fim do nome da macro \xx. Por exemplo, se você colocar \xx Auma linha sozinha, verá que ela será impressa sem ABCAespaço. Assim, o analisador suga o "A" final como conectado a \xx. Também se pode usar \temp\xx{} a b c, como forma de informar ao analisador que o espaço é um separador, e não apenas o próximo caractere seguinte \xx.

\documentclass{article}
\begin{document}
\def\xx{ABC}
\def\temp #1 {\def\tempii{#1}}
\temp{\xx} a b c
\tempii\tempii
\end{document}

Answer

Ainda estou pensando por que isso acontece, mas esta revisão (abrangendo \xx) oferece o que você deseja.

Acho que a resposta é que, no uso \temp\xx a b c, o espaço depois \xxé, na visão do analisador TeX, não um espaço, mas apenas significa o fim do nome da macro \xx. Por exemplo, se você colocar \xx Auma linha sozinha, verá que ela será impressa sem ABCAespaço. Assim, o analisador suga o "A" final como conectado a \xx. Também se pode usar \temp\xx{} a b c, como forma de informar ao analisador que o espaço é um separador, e não apenas o próximo caractere seguinte \xx.

\documentclass{article}
\begin{document}
\def\xx{ABC}
\def\temp #1 {\def\tempii{#1}}
\temp{\xx} a b c
\tempii\tempii
\end{document}

Question 2

Para maior clareza, denotarei os tokens de espaço por •, pois eles são muito importantes na discussão; espaços nos exemplos de código a seguir devem ser ignorados.

O texto do parâmetro \tempé

#1•

enquanto o texto de substituição é

\def\tempii{#1}

Sua chamada \tempé

\temp\xx a•b•c•\tempii\tempii

Observe que depois \xxexiste um espaço apenas para delimitar a macro; isso énãoum token de espaço: não é nada, porque o TeX sempre ignora espaços seguindo o controlepalavras(não controlesímbolos). O espaço depois cvem do final da linha do seu código.

Os tokens a seguir \tempsão varridos (sem expansão) para encontrar uma correspondência com o texto do parâmetro, onde o argumento é delimitado por um espaço, então #1termina sendo \xx ae o próximo estado do fluxo de entrada é

\def\tempii{\xx a}b•c•\tempii\tempii

Agora o TeX executa a definição e a remove do fluxo de entrada:

b•c•\tempii\tempii

e a peça b•c•passa para a fase de composição tipográfica. Após a expansão das duas cópias de \tempii, isso equivale a ter digitado

b•c•\xx a\xx a

ou

b•c•ABCaABCa

que é exatamente o que você conseguiu.

Se você tivesse usado \?em vez das \xxduas últimas linhas teria sido convertido em

\temp\?•a•b•c•\tempii\tempii

porque \?é um símbolo de controle e o TeX não ignora espaços depois deles. Neste caso o resultado seria

a•b•c•ABCABC

Observe que

\expandafter\temp\xx a•b•c
\tempii\tempii

produziria o mesmo resultado, pois após a ação do \expandafterTeX seria apresentado

\temp ABCa•b•c

(mesma convenção para espaços de antes, é claro). Você obteria o mesmo resultado que with \?em vez de \xxwith

\expandafter\temp\expandafter\xx\space a•b•c

porque então o TeX seria apresentado com

\temp\xx•a•b•c

Na verdade, os espaços são ignorados após as palavras de controle apenas durante o processo de tokenização.

Answer