Stringize operator failure

Question

Gli standard C e C++ includono tutti il ​​testo per l'effetto che se un'operazione di stringa non riesce a produrre un token letterale stringa valido, il comportamento non è definito. In C++ 11 questo è effettivamente possibile, includendo un carattere di nuova riga in una stringa raw letterale. Ma il catch-all è sempre stato presente negli standard.

C'è qualche altro modo in cui la stringa può produrre UB, dove UB o un programma mal formato non è ancora successo?

Sarei interessato a conoscere qualsiasi dialetto di C o C++ qualunque. Sono writing un preprocessore.

Answer 1

L'operatore stringify (#) scappa solo \ in costanti stringa. Infatti, \ non ha alcun significato particolare al di fuori di una costante di stringa, tranne alla fine di una riga. È, quindi, un token di preelaborazione (sezione C 6.4, sezione C++ 2.5).

Di conseguenza, se abbiamo

#define Q(X) #X 

poi

Q(\) 

è una chiamata legittima: il \ è un token pre-elaborazione che non è mai convertito in un gettone, quindi è valido. Ma non puoi stringificare \; questo ti darebbe "\" che non è una stringa letterale valida. Quindi, il comportamento di cui sopra non è definito.

Ecco un banco di prova più divertente:

#define Q(A) #A 
#define ESCAPE(c) Q(\c) 
const char* new_line=ESCAPE(n); 
const char* undefined_behaviour=ESCAPE(x); 

Un caso meno interessante di una stringa i indefinita è dove il parametro in stringa sarebbe troppo lungo per essere una stringa letterale. (Gli standard raccomandano che la dimensione massima di una stringa sia almeno 65536 caratteri, ma non dice nulla sulla dimensione massima di un argomento macro, che potrebbe presumibilmente essere più grande.)