Non funziona come pensi. Vediamo un esempio più semplice:
`\expandafter\a\expandafter\b\c`
Il primo token è espandibile, quindi TeX lo espande; questo causa l’espansione del secondo \expandafter, ma subito! TeX non esamina \a fino a che l’espansione del primo token sia terminata, ciò che avviene solo quando è espanso \c.
Vediamone uno più complicato:
`\expandafter\expandafter\expandafter\a\expandafter\b\c`
I token sono sette, li indico con numeri. L’espansione di 1 causa, nell’ordine, quella di 3, 5 e 7. Al termine di questo avremo
`\expandafter\a\b
Solo ora il token 2 della lista iniziale viene esaminato per dare dunque
`\a
Nel caso precedente il risultato sarebbe
`\a\b
e la differenza salta agli occhi, in particolare quando \b raccoglie argomenti.
Ciao
Enrico