Operatör hatası dizisi

Question

C ve C++ standartlarının tümü, bir dize işlemi geçerli bir dize değişmez jetonu üretemediğinde, davranışın tanımsız olduğu etkisine metin içerir. C++ 11'de, bu, bir ham dizgi değişmezinde bir satırsonu karakteri ekleyerek mümkündür. Ama yakalananlar her zaman standartlarda olmuştur. UB veya kötü oluşturulmuş program zaten olmadı

stringize UB üretebilir başka bir yolu var mı

?

C veya C++ herhangi bir lehçesi hakkında duymak isterim. Ben bir ön işlemci olan writing.

Answer 1

Stringify (#) operatörü, dize sabitlerinde yalnızca \'dan kaçar. Gerçekten de, bir satırın sonu hariç, \ dizgisi sabiti dışında özel bir önemi yoktur. Bu nedenle, bir ön işlem jetonudur (C bölüm 6.4, C++ bölüm 2.5).

Sonuç olarak, varsa

#define Q(X) #X 

sonra

Q(\) 

meşru çağrısıdır: \ bir göstergesi dönüştürülür asla bir ön işleme belirteci, bu nedenle geçerli bu. Ancak \ dizgesini oluşturamazsınız; Bu, geçerli bir dizgi değişmezi olmayan "\" değerini verir. Bu nedenle, yukarıdakilerin davranışı tanımlanmamıştır.

Burada daha eğlenceli test durumu var:

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

dizgelenmiş parametre değişmez bir dize olamayacak kadar uzun nerede olacağını tanımlanmamış bir stringify bir az ilginç bir durumdur. (Standartlar, bir dizgi maksimum boyutu en az 65536 karakter ama muhtemelen daha büyük olabilecek bir makro argüman, maksimum boyutu hakkında hiçbir şey söylemek öneririz.)