Як, власне, працює подвійний струнний трюк?

Принаймні деякі препроцесори C дозволяють вам обробляти значення макросу, а не його ім'я, передаючи його через один функціональний макрос іншому, який його обробляє:

#define STR1(x) #x
#define STR2(x) STR1(x)
#define THE_ANSWER 42
#define THE_ANSWER_STR STR2(THE_ANSWER) /* "42" */

Приклади випадків використання тут .

Це справді працює, принаймні в GCC та Clang (обидва з -std=c99), але я не впевнений, як це працює в умовах C-стандарту.

Чи така поведінка гарантована C99?
Якщо так, то як це гарантує C99?
Якщо ні, то в який момент поведінка переходить від визначеного С до визначеного GCC?

Так, це гарантовано.

Це працює, оскільки самі аргументи для макросів розширюються за допомогою макросів , за винятком випадків, коли ім'я аргументу макроса відображається в тілі макроса зі значенням stringifier # або token-paster ##.

6.10.3.1/1:

... Після того, як були визначені аргументи для виклику функціонального макросу, відбувається заміна аргументів. Параметр у списку заміни, якщо йому не передує маркер попередньої обробки # або ## або не слідує маркер попередньої обробки ## (див. Нижче), замінюється відповідним аргументом після розширення всіх макросів, що містяться в ньому ...

Отже, якщо ви це зробите, STR1(THE_ANSWER)ви отримаєте "THE_ANSWER", оскільки аргумент STR1 не розширений за допомогою макросу. Тим НЕ менше, аргумент Str2 є макро-розширена , коли вона заміщена в визначення Str2, який , отже , дає Str1 аргумент 42, з результатом «42».

Як зазначає Стів, це гарантовано, і воно гарантується ще зі стандарту C89 - це був стандарт, кодифікований операторами # і ## в макросах і мандатами рекурсивного розширення макросів у аргументах перед заміною їх у тілі тоді і тільки тоді, коли тіло не застосовує # або ## до аргументу. C99 в цьому відношенні не змінився з C89.