Uso letterali definiti dall'utente nelle espressioni talvolta richiede spazi

Question

Il codice seguente compila sia GCC e Clang:

long double operator""_a(long double);  
auto x = 0e1_a+0; // OK 

Ma non questa (sostituendo _a con _e):

long double operator""_e(long double); 
auto y = 0e1_e+0; // Error: unable to find numeric literal operator 'operator""_e+0' 

OTOH, questo codice compila:

auto z = 0e1_e +0; // OK 

Cosa sta succedendo?

(Questa domanda si ispira this GCC bug report.)

Answer 1

Maximal Munch colpisce ancora.

[lex.pptoken]/P3:

Se il flusso di input è stato analizzato in pre-elaborazione gettoni fino ad un determinato carattere :

• [due eccezioni non rilevante qui]
• In caso contrario, il successivo token di preelaborazione è la sequenza di caratteri più lunga che potrebbe costituire un token di preelaborazione, anche se tale causerebbe il fallimento di un'ulteriore analisi lessicale, tranne che a nome-intestazione (2.8) è formato solo all'interno di una direttiva #include (16.2).

Il problema è che 0e1_e+0, a differenza 0e1_a+0, è un numero preelaborazione valido ([lex.ppnumber]):

pp-number: 
    digit 
    . digit 
    pp-number digit 
    pp-number identifier-nondigit 
    pp-number ’ digit 
    pp-number ’ nondigit 
    pp-number e sign 
    pp-number E sign 
    pp-number . 

Come risultato, 0e1_e+0 viene analizzato come singolo pp- numero token di preelaborazione, quindi esplode in seguito perché non può essere convertito in token valido (per ovvi motivi).

0e1_a+0, d'altra parte, viene analizzata come tre gettoni, 0e1_a, + e 0, e tutto va bene.