正確には、二重文字列化のトリックはどのように機能しますか？

少なくとも一部の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はどのようにそれを保証しますか？
そうでない場合、動作はどの時点でC定義からGCC定義に移行しますか？

はい、保証されています。

これは、マクロへの引数自体がマクロ展開されているために機能します。ただし、マクロ引数名が文字列＃またはトークンパスター##とともにマクロ本体に表示される場合を除きます。

6.10.3.1 / 1：

...関数のようなマクロを呼び出すための引数が識別された後、引数の置換が行われます。置換リストのパラメーターは、前に＃または##前処理トークンが続くか、または##前処理トークンが後に続く場合を除き（以下を参照）、そこに含まれるすべてのマクロが展開された後、対応する引数に置き換えられます。

したがって、STR1(THE_ANSWER)そうすると、STR1の引数がマクロ展開されないため、「THE_ANSWER」が得られます。ただし、STR2の引数は、STR2の定義に代入されるとマクロ展開されるため、STR1に引数が与え42られ、結果は「42」になります。

スティーブが指摘するように、これは保証されており、C89標準（これはマクロの＃および##演算子をコード化した標準であり、マクロを引数で再帰的に展開してから、次の場合にのみ本体に代入することを義務付けています）から保証されています。本文は引数に＃または##を適用しません。この点で、C99はC89から変更されていません。